HomeIsabelle/Phabricator

Implement fixed precision quot and rem and hence div and mod. Fix bug in range…

Description

Implement fixed precision quot and rem and hence div and mod. Fix bug in range check for indexed case.

Details

Provenance
dcjmAuthored on Feb 28 2021, 7:12 PM
Parents
rPOLYML84ff1f38216b: Implement the arbitrary precision operations just by calling the long-precision…
Branches
Unknown
Tags
Unknown