algebraixlib.extension module¶
Facilities for extending operations from one algebra to another.
-
algebraixlib.extension.binary_extend()[source]¶ Return the binary extension of
opfrom one algebra to another algebra.For this extension, the elements of the extended algebra must be sets of the elements of the original algebra.
Parameters: - set1 – A set with elements on which
opoperates. - set2 – A set with elements on which
opoperates. - op – A binary operation that operates on the elements of
set1andset2.
Returns: A set that consists of the defined results of
opwhen executed on all combinations of the elements ofset1andset2, orUndef()if either set is not aSet.- set1 – A set with elements on which
-
algebraixlib.extension.binary_multi_extend()[source]¶ Return the binary extension of
opfrom one algebra to another algebra.For this extension, the elements of the extended algebra must be multisets of the elements of the original algebra.
Parameters: - multiset1 – A multiset with elements on which
opoperates. - multiset2 – A multiset with elements on which
opoperates. - op – A binary operation that operates on the elements of
multiset1andmultiset2.
Returns: A multiset that consists of the defined results of
opwhen executed on all combinations of the elements ofmultiset1andmultiset2, orUndef()if either set is not aMultiset.- multiset1 – A multiset with elements on which
-
algebraixlib.extension.unary_extend()[source]¶ Return the unary extension of
opfrom one algebra to another algebra.For this extension, the elements of the extended algebra must be sets of the elements of the original algebra.
Parameters: - set – A set with elements on which
opoperates. - op – A unary operation that operates on the elements of
set_.
Returns: A set that consists of the defined results of
opwhen executed on the elements ofset_, orUndef()ifset_is not aSet.- set – A set with elements on which
-
algebraixlib.extension.unary_multi_extend()[source]¶ Return the unary extension of
opfrom one algebra to another algebra.For this extension, the elements of the extended algebra must be multisets of the elements of the original algebra.
Parameters: - set_or_mset – A set or a multiset with elements on which
opoperates. - op – A unary operation that operates on the elements of
set_or_mset.
Returns: A set that consists of the defined results of
opwhen executed on the elements ofset_or_mset, orUndef()ifset_or_msetis neither a set nor a multiset.- set_or_mset – A set or a multiset with elements on which