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

ALGEBRAIC POWER SERIES RINGS

 
Acknowledgements
 
Introduction
 
Basics
      Data Structures
      Verbose Output
 
Constructors
      Rational Puiseux Expansions
 
Accessors and Expansion
 
Arithmetic
 
Predicates
 
Modifiers
 
Bibliography







DETAILS

 
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 (H52E1)

 
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 (H52E2)

 
Arithmetic
      AlgComb(c,ss) : RngMPolElt, SeqEnum -> RngPowAlgElt
      s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
      Example RngPowAlg_arith (H52E3)

 
Predicates
      IsZero(s) : RngPowAlgElt -> BoolElt
      s eq t : RngPowAlgElt, RngPowAlgElt -> BoolElt
      IsPolynomial(s) : RngPowAlgElt -> BoolElt, RngMPolElt
      Example RngPowAlg_preds (H52E4)

 
Modifiers
      ScaleGenerators(s,ls) : RngPowAlgElt, SeqEnum -> RngPowAlgElt
      ChangeRing(s,R) : RngPowAlgElt, RngMPol -> RngPowAlgElt
      SimplifyRep(s) : RngPowAlgElt -> RngPowAlgElt
      Example RngPowAlg_scale (H52E5)

 
Bibliography

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Mon Dec 17 14:40:36 EST 2012