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

Function

HenselLift ( elt-alg^pol F, elt-fld^pad x ) -> elt-fld^pad

Description

Hensel lift x, an approximate root of F which satisfies the Hensel condition, to a root of F known to the full precision of the parent of x..

Examples

x_F5 := pAdicField(5);; x_F5P:= PolynomialAlgebra(x_F5); x_f:= x_F5P.1^2+1;;x_x:= Element(x_F5,2);;HenselLift(x_f,x_x);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group