|
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
A quaternion algebra A over a number field F with
[F:Q]=h is definite (or totally definite)
if F is totally real and A tensor Q R isomorphic to Hh where
H is the division ring of real Hamiltonians, and otherwise
A is indefinite.
IsDefinite(A) : AlgQuat[FldRat] -> BoolElt
IsIndefinite(A) : AlgQuat[FldAlg] -> BoolElt
IsIndefinite(A) : AlgQuat[FldRat] -> BoolElt
Given a quaternion algebra A over a number field or Q,
returns true if and only if A is a totally definite or
indefinite quaternion algebra, respectively.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|
