Algebra¶
Basic functionality for ‘additively free ZZ-algebras’, i.e. non-associative ring structures on ZZ^n.
-
class
zetalib.algebra.
Algebra
(table=None, rank=None, blocks=None, operators=None, matrix=None, bilinear=False, simple_basis=False, descr=None, matrix_basis=None, product=None)[source]¶ Bases:
object
Additively free non-associative ZZ-algebras with optional operators.
-
derived_length
()¶
-
derived_series
()¶
-
find_good_basis
(objects='subalgebras', name='x')[source]¶ Find a basis yielding a ‘good’ toric datum.
Presently we only look at permutations of the given basis (preserving the block structure, if any).
-
is_Lie
()¶
-
is_anticommutative
()¶
-
is_associative
()¶
-
is_commutative
()¶
-
is_nilpotent
()¶
-
is_soluble
()¶
-
lower_central_series
()¶
-
nilpotency_class
()¶
-