Details:
Title  Relaxed Hensel lifting of triangular sets  Author(s)  Romain Lebreton  Type  Article in Journal  Abstract  Abstract In this paper, we present a new lifting algorithm for triangular sets over general padic rings. Our contribution is to give, for any padic triangular set, a shifted algorithm of which the triangular set is a fixed point. Then we can apply the relaxed recursive padic framework and deduce a relaxed lifting algorithm for this triangular set. We compare our algorithm to the existing technique and report on implementations inside the C++ library Geomsolvex of Mathemagix (van der Hoeven et al., 2002). Our new relaxed algorithm is competitive and compare favorably on some examples.  Keywords  Polynomial system solving, Online algorithm, Relaxed algorithm, Triangular set, Univariate representation, pAdic integer, Power series  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717114000807 
Language  English  Journal  Journal of Symbolic Computation  Volume  68, Part 2  Number  0  Pages  230  258  Year  2015  Note  Effective Methods in Algebraic Geometry  Edition  0  Translation 
No  Refereed 
No 
