algebraixlib.partition module

Definitions for partitioning and other set operations that P(M) is not closed under.

algebraixlib.partition.partition(set1, equivalence_relation)

Returns a set with structure P(set1.ground_set) that defines a partition on set1, imposed by the equivalence relation defined by the equivalence_relation function: a function from elements of set1 to MathObjects.

algebraixlib.partition.left_equiv_relation(set1, equivalence_relation)

Returns a set with structure P(set1.ground_set) that defines a partition on set1, imposed by the equivalence relation defined by the equivalence_relation function: a function from elements of set1 to a value that can be placed in a Atom.