Imports

types

Procs

func `/`[T](A: Set[T]; R: Relation[T]): Set[Set[T]]: quotient set
Example:

let A = toSet [1, 5] # {1, 5} let R: Relation[int] = toSet [ (1, 2), (3, 4), (5, 6), (1, 6) ] # {<1,2>, <3,4>, <5,6>, <1,6>} let res = A/R assert res == toSet [ toSet [2, 6], toSet [6] ] # A/R = {{6}, {2, 6}}
Source Edit
func `[]`[T](R: Relation[T]; S: Set[T]): Set[T]: image
Example:

let R: Relation[int] = toSet [ (1, 2), (3, 4), (5, 6) ] let S: Set[int] = toSet [3, 5] assert R[S] == toSet [4, 6]
Source Edit