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

Ring Predicates and Properties

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]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012