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]


Version: V2.29 of Fri Nov 28 15:14:01 AEDT 2025