TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
 KASH3 Reference Manual
Documentation
IntroductionReference ManualIndex
search    

Function

ExpandToPrecision ( elt-alg^pol f, elt-rng^ser c, elt-ord^rat n ) -> elt-rng^ser

Optional Arguments

PreciseRootelt-alg^boo
TestSquarefreeelt-alg^boo

Description

Given the partial root c of a polynomial f expand the root to relative precision n/d where d is the exponent denominator of the result.

Examples

x_Rx:=PuiseuxSeriesRing(Q); x_Ry:=PolynomialAlgebra(x_Rx); x_f:=x_Ry.1^2 + x_Rx.1^3 + x_Rx.1; x_P:=PuiseuxExpansion(x_f,0); ExpandToPrecision(x_f, x_P[1], 5);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group