Subsections

• Related Structures
• Invariants
• Ring Predicates and Booleans

Parent(R) : RngSer -> Pow

Category(R) : RngSer -> Cat

CoefficientRing(R) : RngSer -> Rng

Return the coefficient ring of power series or Laurent series ring R.

Characteristic(R) : RngSer -> RngIntElt

Return the precision of the fixed precision series ring R. If R is a fixed precision power series ring, then this is the fixed absolute precision for all elements of the ring. If R is a fixed precision Laurent series ring, then this is the maximum relative precision for all elements of the ring.

IsCommutative(Q) : RngSer -> BoolElt

IsUnitary(Q) : RngSer -> BoolElt

IsFinite(Q) : RngSer -> BoolElt

IsOrdered(Q) : RngSer -> BoolElt

IsField(Q) : RngSer -> BoolElt

IsEuclideanDomain(Q) : RngSer -> BoolElt

IsPID(Q) : RngSer -> BoolElt

IsUFD(Q) : RngSer -> BoolElt

IsDivisionRing(Q) : RngSer -> BoolElt

IsEuclideanRing(Q) : RngSer -> BoolElt

IsPrincipalIdealRing(Q) : RngSer -> BoolElt

IsDomain(Q) : RngSer -> BoolElt

R eq S : RngSer, RngSer -> BoolElt

R ne S : RngSer, RngSer -> BoolElt