UNPKG

atscntrb-libgmp

Version:

This package is for directly calling in ATS various GMP-functions.

27 lines (16 loc) • 636 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
# 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.