# 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`