[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Predicates on Algebras

IsDefinite(A) : AlgQuat -> BoolElt
Given a quaternion algebra over the rationals, returns true if and only if A is a definite quaternion algebra.
IsIndefinite(A) : AlgQuat -> BoolElt
Given a quaternion algebra over the rationals, returns true if and only if A is an indefinite quaternion algebra.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]