IsCommutative(A) : FldAC -> BoolElt
IsUnitary(A) : FldAC -> BoolElt
IsFinite(A) : FldAC -> BoolElt
IsOrdered(A) : FldAC -> BoolElt
IsField(A) : FldAC -> BoolElt
IsEuclideanDomain(A) : FldAC -> BoolElt
IsPID(A) : FldAC -> BoolElt
IsUFD(A) : FldAC -> BoolElt
IsDivisionRing(A) : FldAC -> BoolElt
IsEuclideanRing(A) : FldAC -> BoolElt
IsPrincipalIdealRing(A) : FldAC -> BoolElt
IsDomain(A) : FldAC -> BoolElt
A eq B : FldAC, Rng -> BoolElt
A ne B : FldAC, Rng -> BoolElt
Characteristic(A) : FldAC -> FldACElt
V2.28, 13 July 2023