diff options
| author | Alasdair Armstrong | 2018-06-27 14:53:28 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-27 17:11:06 +0100 |
| commit | a7e350250069a46652d2f07351701d814024d882 (patch) | |
| tree | 94c306fcc6f97a31071f1fb814b9b6e7b887f038 /src/bytecode_util.ml | |
| parent | 0e593f438e79abc494633cb0dce0e6ab7252c82b (diff) | |
Fix real implementation in C to use GMP rationals
Implement square root function for rationals up to an arbitrary
precision, currently 30 decimal places. May need to increase this for
ARM tests.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions