ProvablePrimeQ (Primality Proving Package Symbol)

ProvablePrimeQ[n] gives True if n is provably prime, and False otherwise.

Primality Proving Package (Primality Proving Package Tutorial)

This package implements primality proving. If ProvablePrimeQ[n] returns True, then the number n can be mathematically proven to be prime. In addition, PrimeQCertificate[n] ...

Quaternions Package (Quaternions Package Guide)

AbsIJK (Quaternions Package Symbol)

AbsIJK[q] gives the absolute value of the pure quaternion part of q.

AdjustedSignIJK (Quaternions Package Symbol)

AdjustedSignIJK[q] gives the sign of the pure quaternion part of q, adjusted so its first nonzero component is positive.

FromQuaternion (Quaternions Package Symbol)

FromQuaternion[q] transforms the Quaternion object q to the symbolic form a + I b + J c + K d.

IntegerQuaternionQ (Quaternions Package Symbol)

IntegerQuaternionQ[q] gives True if q is an integer quaternion and False otherwise.

J (Quaternions Package Symbol)

J represents a quaternion unit with J^2 == -1.

LeftAssociates (Quaternions Package Symbol)

LeftAssociates[q] gives a list of the 24 left associates of the quaternion q.

LeftGCD (Quaternions Package Symbol)

LeftGCD[a, b] gives the greatest common left divisor of the quaternions a and b.