paulie.classifier.classification.Classification#
- class paulie.classifier.classification.Classification#
Bases:
objectAlgebra classification class.
- add(morph)#
Add a canonical graph inside the full algebra.
- Parameters:
morph (Morph) – A canonical graph inside the full algebra.
- Returns:
None
- contains_algebra(algebra)#
Check if an algebra has a corresponding canonical subgraph within this algebra.
- gen_generators()#
Generate the generators of this algebra.
- Yields:
List of generators.
- get_algebra()#
Get the full algebra as a direct sum over the algebras of each canonical subgraph.
- Returns:
The full algebra.
- Return type:
- get_algebra_basis()#
Constructs and returns the basis matrices for the algebras present in the classification.
Aggregates algebra properties (type, size, and multiplicity) from the morphological classification and generates a combined basis representation.
- Returns:
A 3D array of shape (dim, n, n) containing the concatenated basis matrices for all identified subalgebras.
- Return type:
np.ndarray
- Raises:
ValueError – If the identified algebra size is invalid for basis generation.
TypeError – If the classification properties are not properly initialized.
- get_dependents()#
Get a list of dependent strings of Pauli algebra.
- Returns:
List of dependent strings of Pauli algebra.
- Return type:
- get_dla_dim()#
Get the dimension of the classified dynamical Lie algebra.
- Returns:
Dimension of the classified dynamical Lie algebra.
- Return type:
- get_independents()#
Get a list of independent strings of Pauli algebra.
- Returns:
List of dependent strings of Pauli algebra.
- Return type:
- get_isomorphism(algebra)#
Get an isomorphic algebra.
- get_isomorphisms()#
Get dictionary of special isomorphisms between Lie algebras.
- get_morphs()#
Get the canonical subgraphs of the full algebra.
- get_orthogonal_size()#
Get the \(m\) for which this algebra is (isomorphic to) \(so(m)\).
\(so(m)\) has dimension \(m(m-1)/2\), so \(m\) is fixed by the dimension; the verdict is then
is_algebra(), which canonicalises both sides through the low-rank isomorphisms. An algebra reported as2*so(3)is therefore recognised asso(4).- Returns:
The size \(m\), or None if the algebra has no \(so(m)\) presentation.
- Return type:
int | None
- get_simple_component()#
Get the unique simple summand of the algebra.
- Returns:
The summand, e.g.
"so(8)".- Return type:
- Raises:
ClassificationException – If the algebra is not simple.
- get_subalgebras(algebra=None)#
Get the subalgebras of an algebra.
- get_vertices()#
Get the list of Pauli strings in this algebra.
- Returns:
List of Pauli strings in this algebra.
- Return type:
- is_algebra(algebra)#
Check if an algebra is equal to this algebra.