High-order lifting
Arne Storjohann · 2002
The well-known technique of adic-lifting for linear-system solution is studied. Some new methods are developed and applied to get algorithms for the following problems over the ring of univariate polynomials with coefficients from a field: rational system-solving, integrality certification and determinant/Smith-form computation. All algorithms are Las Vegas probabilistic.