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
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|