RatReconstructWithBounds -- deterministic rational reconstruction from modular image |
Syntax |
RatReconstructWithBounds(e: INT, P: INT, Q: INT, res: LIST of INT, mod: LIST of INT): RECORD |
Description |
Example |
/**/ moduli := [11,13,15,17,19]; /**/ residues := [-2, -5, 0, 7, 4]; /**/ RatReconstructWithBounds(1,10,10,residues,moduli); record[ReconstructedRat := 1/5, failed := false] /**/ RatReconstructWithBounds(0,10,10,residues,moduli); record[failed := true] |
See Also |