[MONOiD]

2.20 EquivalenceClasses

EquivalenceClasses( rel )

returns the list of equivalence classes of the equivalence relation rel. It will signal an error if rel is not an equivalence relation (see IsEquivalence).

    gap> EquivalenceClasses( Relation( [ [ 1 ], [ 2, 3 ], [ 2, 3 ] ] ) );
    [ [ 1 ], [ 2, 3 ] ] 

[Previous] [Up] [Next] 
[Index]

Version 2.4 (May 1998)

[MONOiD]