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

Structure Operations

Subsections

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

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013