D.15.17 puiseuxexpansions_lib

Library:

puiseuxexpansion.lib

Purpose:

Puiseux expansions over algebraic extensions

Authors:

J. Boehm, j.boehm at mx.uni-saarland.de
W. Decker, decker at mathematik.uni-kl.de
S. Laplagne, slaplagn at dm.uba.ar
G. Pfister, seelisch at mathematik.uni-kl.de

Overview:

This library implements the Newton-Puiseux algorithm to compute Puiseux expansions and provides a class and procedures to work with Puiseux expansions in K[X][Y], where K is the field Q of rational numbers or an algebraic extension of Q.

Procedures:

D.15.17.1 puiseuxList		Computes the Puiseux expansion of PP at X = 0
D.15.17.2 makePuiseux		Creates a Puiseux element
D.15.17.3 makePuiseuxFromPoly		Converts a polynomail to Puiseux data type
D.15.17.4 printPuiseux		Prints information for Puiseux elements
D.15.17.5 puiseux		Computes the Puiseux expansions of f