# GMP is out of ATS2 (was in ATS1)

**URL:** <https://discourse.ats-lang.org/t/gmp-is-out-of-ats2-was-in-ats1/623>\
**Category:** Google Group\
**Created:** [December 25, 2013, 10:14pm UTC](https://discourse.ats-lang.org/t/gmp-is-out-of-ats2-was-in-ats1/623 "2013-12-25T22:14:52Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 25, 2013, 10:14pm UTC](https://discourse.ats-lang.org/t/gmp-is-out-of-ats2-was-in-ats1/623/1 "2013-12-25T22:14:52Z")

</div>

I would like to point out that GMP is now out of ATS2.

You need to have ATS2-contrib in order to have access the the API for GMP  
in ATS2.

The following code (taken out of a file of the name fact.dats) demonstrates  
a simple way  
to make light use of intinf (integers of unbounded precision):

(\* \*\*\*\*\*\* \*\*\*\*\*\* _)  
(_  
//  
// How to compile:  
//  
patscc -DATS\_MEMALLOC\_LIBC -I ${PATSHOME}/contrib -o fact fact.dats -lgmp  
_)  
(_ \*\*\*\*\*\* \*\*\*\*\*\* _)  
//  
 #include  
"share/atspre\_define.hats"  
 #include  
"share/atspre\_staload.hats"  
//  
(_ \*\*\*\*\*\* \*\*\*\*\*\* \*)

staload "{$LIBATSHWXI}/intinf/SATS/intinf\_t.sats"  
staload \_ = "{$LIBATSHWXI}/intinf/DATS/intinf\_t.dats"  
staload \_ = “{$LIBATSHWXI}/intinf/DATS/intinf\_vt.dats”

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

fun  
fact{n:nat}  
(n: int n): Intinf =  
if n \> 0 then n \* fact(n-1) else int2intinf(1)  
// end of [fact]

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

implement  
main (  
argc, argv  
) = let  
val N = 10  
val N = (  
if argc \>= 2 then g0string2int (argv[1]) else N  
) : int // end of [val]  
val N = g1ofg0\_int (N)  
val () = assertloc (N \>= 0)  
//  
val res = fact (N)  
val () = println! (“fact(”, N, ") = ", res)  
//  
in  
0(_normalexit_)  
end // end of [main]

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

(\* end of [fact.dats] \*)

Here is some output:

fact(1000) =  
40238726007709377354370243392300398571937486421071463254379991042993851239862902059204420848696940480047998861019719605863166687299480855  
890132382966994459099742450408707375991882362772718873251977950595099527612087497546249704360141827809464649629105639388743788648733711918104582578364  
784997701247663288983595573543251318532395846307555740911426241747434934755342864657661166779739666882029120737914385371958824980812686783837455973174  
613608537953452422158659320192809087829730843139284440328123155861103697680135730421616874760967587134831202547858932076716913244842623613141250878020  
800026168315102734182797770478463586817016436502415369139828126481021309276124489635992870511496497541990934222156683257208082133318611681155361583654  
698404670897560290095053761647584772842188967964624494516076535340819890138544248798495995331910172335555660213945039973628075013783761530712776192684  
903435262520001588853514733161170210396817592151090778801939317811419454525722386554146106289218796022383897147608850627686296714667469756291123408243  
920816015378088989396451826324367161676217916890977991190375403127462228998800519544441428201218736174599264295658174662830295557029902432415318161721  
046583203678690611726015878352075151628422554026517048330422614397428693306169089796848259012545832716822645806652676995865268227280707578139185817888  
965220816434834482599326604336766017699961283186078838615027946595513115655203609398818061213855860030143569452722420634463179746059468257310379008402  
443243846565724501440282188525247093519062092902313649327349756551395872055965422874977401141334696271542284586237738753823048386568897646192738381490  
014076731044664025989949022222176590433990188601856652648506179970235619389701786004081188972991831102117122984590164192106888438712185564612496079872  
290851929681937238864261483965738229112312502418664935314397013742853192664987533721894069428143411852015801412334482801505139969429015348307764456909  
907315243327828826986460278986432113908350621709500259738986355427719674282224875758676575234422020757363056949882508796892816275384886339690995982628  
095612145099487170124451646126037902930912088908694202851064018215439945715680594187274899809425474217358240106367740459574178516082923013535808184009  
699637252423056085590370062427124341690900415369010593398383577793941097002775347200000000000000000000000000000000000000000000000000000000000000000000  
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000  
0000000000000000000000000000000

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 26, 2013, 12:37am UTC](https://discourse.ats-lang.org/t/gmp-is-out-of-ats2-was-in-ats1/623/2 "2013-12-26T00:37:02Z")

</div>

Here is a linear version that frees all the allocated memory at the end:

(\* \*\*\*\*\*\* \*\*\*\*\*\* _)  
(_  
//  
// How to compile:  
//  
patscc -DATS\_MEMALLOC\_LIBC -I ${PATSHOME}/contrib -o fact fact.dats -lgmp  
//  
// How to test:  
valgrind ./fact 1000  
//  
_)  
(_ \*\*\*\*\*\* \*\*\*\*\*\* _)  
//  
 #include  
“share/atspre\_define.hats”  
 #include  
“share/atspre\_staload.hats”  
//  
(_ \*\*\*\*\*\* \*\*\*\*\*\* \*)

staload “{$LIBATSHWXI}/intinf/SATS/intinf\_vt.sats”  
staload \_ = “{$LIBATSHWXI}/intinf/DATS/intinf\_t.dats”  
staload \_ = “{$LIBATSHWXI}/intinf/DATS/intinf\_vt.dats”

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

fun  
fact{n:nat}  
(  
n: int (n)  
) : Intinf = let  
in  
//  
if n \> 0 then let  
val r1 = fact (n-1)  
in  
mul\_int\_intinf0 (n, r1)  
end else  
int2intinf (1)  
// end of [if]  
//  
end // end of [fact]

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

implement  
main (  
argc, argv  
) = let  
val N = 10  
val N = (  
if argc \>= 2 then g0string2int (argv[1]) else N  
) : int // end of [val]  
val N = g1ofg0\_int (N)  
val () = assertloc (N \>= 0)  
//  
val res = fact (N)  
val () = println! (“fact(”, N, ") = ", res)  
val () = intinf\_free (res)  
//  
in  
0(_normalexit_)  
end // end of [main]

(\* \*\*\*\*\*\* \*\*\*\*\*\* \*)

(\* end of [fact.dats] \*)On Wednesday, December 25, 2013 5:14:52 PM UTC-5, gmhwxi wrote:

> I would like to point out that GMP is now out of ATS2.
> 
> You need to have ATS2-contrib in order to have access the the API for GMP  
> in ATS2.
> 
> The following code (taken out of a file of the name fact.dats)  
> demonstrates a simple way  
> to make light use of intinf (integers of unbounded precision):
> 
> (\* \*\*\*\*\*\* \*\*\*\*\*\* _)  
> (_  
> //  
> // How to compile:  
> //  
> patscc -DATS\_MEMALLOC\_LIBC -I ${PATSHOME}/contrib -o fact fact.dats -lgmp  
> _)  
> (_ \*\*\*\*\*\* \*\*\*\*\*\* _)  
> //  
> #include  
> “share/atspre\_define.hats”  
> #include  
> “share/atspre\_staload.hats”  
> //  
> (_ \*\*\*\*\*\* \*\*\*\*\*\* \*)
> 
> staload “{$LIBATSHWXI}/intinf/SATS/intinf\_t.sats”  
> staload \_ = “{$LIBATSHWXI}/intinf/DATS/intinf\_t.dats”  
> staload \_ = “{$LIBATSHWXI}/intinf/DATS/intinf\_vt.dats”
> 
> (\* \*\*\*\*\*\* \*\*\*\*\*\* \*)
> 
> fun  
> fact{n:nat}  
> (n: int n): Intinf =  
> if n \> 0 then n \* fact(n-1) else int2intinf(1)  
> // end of [fact]
> 
> (\* \*\*\*\*\*\* \*\*\*\*\*\* \*)
> 
> implement  
> main (  
> argc, argv  
> ) = let  
> val N = 10  
> val N = (  
> if argc \>= 2 then g0string2int (argv[1]) else N  
> ) : int // end of [val]  
> val N = g1ofg0\_int (N)  
> val () = assertloc (N \>= 0)  
> //  
> val res = fact (N)  
> val () = println! (“fact(”, N, ") = ", res)  
> //  
> in  
> 0(_normalexit_)  
> end // end of [main]
> 
> (\* \*\*\*\*\*\* \*\*\*\*\*\* \*)
> 
> (\* end of [fact.dats] \*)
> 
> Here is some output:
> 
> fact(1000) =  
> 40238726007709377354370243392300398571937486421071463254379991042993851239862902059204420848696940480047998861019719605863166687299480855\
> 
> 890132382966994459099742450408707375991882362772718873251977950595099527612087497546249704360141827809464649629105639388743788648733711918104582578364\
> 
> 784997701247663288983595573543251318532395846307555740911426241747434934755342864657661166779739666882029120737914385371958824980812686783837455973174\
> 
> 613608537953452422158659320192809087829730843139284440328123155861103697680135730421616874760967587134831202547858932076716913244842623613141250878020\
> 
> 800026168315102734182797770478463586817016436502415369139828126481021309276124489635992870511496497541990934222156683257208082133318611681155361583654\
> 
> 698404670897560290095053761647584772842188967964624494516076535340819890138544248798495995331910172335555660213945039973628075013783761530712776192684\
> 
> 903435262520001588853514733161170210396817592151090778801939317811419454525722386554146106289218796022383897147608850627686296714667469756291123408243\
> 
> 920816015378088989396451826324367161676217916890977991190375403127462228998800519544441428201218736174599264295658174662830295557029902432415318161721\
> 
> 046583203678690611726015878352075151628422554026517048330422614397428693306169089796848259012545832716822645806652676995865268227280707578139185817888\
> 
> 965220816434834482599326604336766017699961283186078838615027946595513115655203609398818061213855860030143569452722420634463179746059468257310379008402\
> 
> 443243846565724501440282188525247093519062092902313649327349756551395872055965422874977401141334696271542284586237738753823048386568897646192738381490\
> 
> 014076731044664025989949022222176590433990188601856652648506179970235619389701786004081188972991831102117122984590164192106888438712185564612496079872\
> 
> 290851929681937238864261483965738229112312502418664935314397013742853192664987533721894069428143411852015801412334482801505139969429015348307764456909\
> 
> 907315243327828826986460278986432113908350621709500259738986355427719674282224875758676575234422020757363056949882508796892816275384886339690995982628\
> 
> 095612145099487170124451646126037902930912088908694202851064018215439945715680594187274899809425474217358240106367740459574178516082923013535808184009\
> 
> 699637252423056085590370062427124341690900415369010593398383577793941097002775347200000000000000000000000000000000000000000000000000000000000000000000\
> 
> 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000  
> 0000000000000000000000000000000