atscntrb-hx-libgmp v1.0.1

Libgmp

A simple package for calling GMP-functions in ATS

Description

###CATS Files

1. 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

1. SATS/gmp.sats: This file contains the interface (in ATS) for various GMP-functions.

###DATS Files

1. 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.