Relaxed p-adic Hensel lifting for algebraic systems
Relaxed p-adic Hensel lifting for algebraic systems
In a previous article [1], an implementation of lazy p-adic integers with a multiplication of quasi-linear complexity, the so-called relaxed product, was presented. Given a ring R and an element p in R, we design a relaxed Hensel lifting for algebraic systems from R/ (p) to the p-adic completion Rp …