atscntrb-libgmp
v1.0.4
Published
This package is for directly calling in ATS various GMP-functions.
Downloads
23
Readme
Libgmp
A simple package for calling GMP-functions in ATS
Description
###CATS Files
- CATS/gmp.cats: This file contains various C-macros that are
needed for compiling the C code generated from ATS source. Note that
the include-path must be properly set for the C-compiler so as to
allow it to have access to
gmp.cats
.
###SATS Files
- SATS/gmp.sats: This file contains the interface (in ATS) for various GMP-functions.
###DATS Files
- DATS/gmp.dats: It is yet empty at this moment.
###TEST Files
The pidigits directory contains an example that computes to a given position all of the digits in the famous constant PI.