This domain supports modular methods based on evaluation and rational reconstruction. Each evaluation is done modulo machine sized prime
p. Both Chinese remaindering and (linear) Hensel lift are supported. Once enough evaluations are known rational reconstruction produces vector of rational numbers or integers.
- chinese_update: (U32Vector, Integer, %) -> Void
chinese_update(v, p, r)informs
rabout evaluation at
- empty: Integer -> %
empty(n)produces reconstructor with
- reconstruct: (%, Vector Integer) -> Union(PrimitiveArray Integer, failed)
combines rational reconstruction with removal of common denominators in blocks.