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