ALGEBRAIC POWER SERIES RINGS
Acknowledgements Introduction
Basics
Data Structures
Verbose Output
Constructors
Rational Puiseux Expansions
Accessors and Expansion
Arithmetic
Predicates
Modifiers
Bibliography
Introduction
Basics
Data Structures
Verbose Output
Constructors
PolyToSeries(s) : RngMPolElt -> RngPowAlgElt
AlgebraicPowerSeries(dp, ip, L, e) : RngUPolElt, RngMPolElt, Lat, RngIntElt -> RngPowAlgElt
EvaluationPowerSeries(s, nu, v) : Tup, SeqEnum, SeqEnum -> RngPowAlgElt
ImplicitFunction(dp) : RngUPolElt -> RngPowAlgElt
Rational Puiseux Expansions
RationalPuiseux(p) : RngUPolElt -> Tup, SeqEnum, RngIntElt
Example RngPowAlg_constructors (H53E1)
Accessors and Expansion
Domain(s) : RngPowAlgElt -> RngMPol
ExponentLattice(s) : RngPowAlgElt -> Tup
DefiningPolynomial(s) : RngPowAlgElt -> RngUPolElt
Order(s) : RngPowAlgElt -> RngIntElt
Expand(s,ord) : RngPowAlgElt, RngIntElt -> BoolElt, RngMPolElt
Example RngPowAlg_accessors (H53E2)
Arithmetic
AlgComb(c,ss) : RngMPolElt, SeqEnum -> RngPowAlgElt
s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
Example RngPowAlg_arith (H53E3)
Predicates
IsZero(s) : RngPowAlgElt -> BoolElt
s eq t : RngPowAlgElt, RngPowAlgElt -> BoolElt
IsPolynomial(s) : RngPowAlgElt -> BoolElt, RngMPolElt
Example RngPowAlg_preds (H53E4)
Modifiers
ScaleGenerators(s,ls) : RngPowAlgElt, SeqEnum -> RngPowAlgElt
ChangeRing(s,R) : RngPowAlgElt, RngMPol -> RngPowAlgElt
SimplifyRep(s) : RngPowAlgElt -> RngPowAlgElt
Example RngPowAlg_scale (H53E5)
Bibliography
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|