Attributes

DefiningPolynomial(A) : AlgEtQ -> RngUPolElt
Returns the defining polynomial of the algebra A, if the corresponding number fields are distinct.
Components(A) : AlgEtQ -> SeqEnum
Returns the number fields of which the algebra A is a product of, together with embeddings and projections.
Dimension(A) : AlgEtQ -> RngInt
Returns the dimension of the algebra A.
AbsoluteDimension(A) : AlgEtQ -> RngInt
Return the dimension of the algebra A over the prime field.
HasBaseField(A) : AlgEtQ -> BoolElt, FldNum
Returns whether the algebra A has common base field. If this is the case it returns it.
BaseField(A) : AlgEtQ -> FldNum
Returns the common base field of the algebra A, if it exists.
PrimeField(A) : AlgEtQ -> FldNum
Returns the prime field of the algebra A.
A1 eq A2 : AlgEtQ, AlgEtQ -> BoolElt
Returns whether the algebras A1 and A2 are equal.
V2.29, 21 October 2025