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 returns True 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:

The algebras based on multisets that are provided are: