Structure Operations# Related Structures# Category(R): FldRe -> Cat# Category(R): FldCom -> Cat# Parent(R): FldRe -> PowerStructure# Parent(R): FldCom -> PowerStructure# PrimeField(R): FldRe -> FldRat# PrimeField(R): FldCom -> FldRat# Numerical Invariants# Characteristic(R): FldRe -> RngIntElt# Characteristic(R): FldCom -> RngIntElt# Ring Predicates and Booleans# IsCommutative(R): FldRe -> BoolElt# IsCommutative(R): FldCom -> BoolElt# IsUnitary(R): FldRe -> BoolElt# IsUnitary(R): FldCom -> BoolElt# IsFinite(R): FldRe -> BoolElt# IsFinite(R): FldCom -> BoolElt# IsOrdered(R): FldRe -> BoolElt# IsOrdered(R): FldCom -> BoolElt# IsField(R): FldRe -> BoolElt# IsField(R): FldCom -> BoolElt# IsEuclideanDomain(R): FldRe -> BoolElt# IsEuclideanDomain(R): FldCom -> BoolElt# IsPID(R): FldRe -> BoolElt# IsPID(R): FldCom -> BoolElt# IsUFD(R): FldRe -> BoolElt# IsUFD(R): FldCom -> BoolElt# IsDivisionRing(R): FldRe -> BoolElt# IsDivisionRing(R): FldCom -> BoolElt# IsEuclideanRing(R): FldRe -> BoolElt# IsEuclideanRing(R): FldCom -> BoolElt# IsPrincipalIdealRing(R): FldRe -> BoolElt# IsPrincipalIdealRing(R): FldCom -> BoolElt# IsDomain(R): FldRe -> BoolElt# IsDomain(R): FldCom -> BoolElt# R eq S: FldRe, FldRe -> BoolElt# R ne S: FldRe, FldRe -> BoolElt# R eq S: FldCom, FldCom -> BoolElt# R ne S: FldCom, FldCom -> BoolElt# Other Structure Functions# Precision(R): FldCom -> RngIntElt# Precision(R): FldRe -> RngIntElt# Return the decimal precision \(p\) to which calculations are performed in the real or complex field \(R\). BitPrecision(R): FldCom -> RngIntElt# BitPrecision(R): FldRe -> RngIntElt# Return the (internally used) bit precision \(p\) to which calculations are performed in the real or complex field \(R\).