algebraixlib.algebras package¶
This package contains modules that represent algebras and their operations.
To the mathematical operations of a given algebra, we also add:
- Functions that return metadata. (For example, all our algebras contain an
is_member
function that returnsTrue
if the argument is a member of the given algebra’s ground set. This function is not mathematically an operation of the algebra.) - Other functions that are mathematically related, but have arguments or return results that are
not members of the ground set. (For example, the
get_lefts()
function of the algebra of relations returns a result that is not an element of the algebra’s ground set.)
The algebras based on sets that are provided are:
sets
: The algebra of sets.couplets
: The algebra of couplets.relations
: The algebra of relations.clans
: The algebra of clans.
The algebras based on multisets that are provided are:
multisets
: The algebra of multisets.multiclans
: The algebra of multiclans.