Returns the defining polynomial of the algebra A, if the corresponding number fields are distinct.
Returns the number fields of which the algebra A is a product of, together with embeddings and projections.
Returns the dimension of the algebra A.
Return the dimension of the algebra A over the prime field.
Returns whether the components of the algebra A have a common base field.
Returns the common base field of the algebra A, if it exists.
Returns the prime field of the algebra A.
Returns whether A has a single component (hence is a number field). If so, also returns the number field and an isomorphism from A to it.
Returns whether the algebras A1 and A2 are equal.
V2.29, 28 November 2025