Revision 8b87d0a5
Forcing mpfr status when -real mpfr asked. Default precision is 100 bits.
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 8b87d0a50b866e560c4da820620cf977008a91d6 |
| Parent | 0179e76f |
| Child | 333e3a25 |
Added by Pierre-Loïc Garoche about 2 years ago
Forcing mpfr status when -real mpfr asked. Default precision is 100 bits.