ATSLIB/contrib/libgmp/gmp

This package contains an API in ATS for the libgmp package.

mpz_vt0ype

Synopsis

absvt@ype
mpz_vt0ype = $extype"atscntrb_libgmp_mpz"

mpq_vt0ype

Synopsis

absvt@ype
mpq_vt0ype = $extype"atscntrb_libgmp_mpq"

mpf_vt0ype

Synopsis

absvt@ype
mpf_vt0ype = $extype"atscntrb_libgmp_mpf"

mp_base

Synopsis

typedef
mp_base = intBtw (2, 36+1) // for outputing MP numbers

mpz_init

Synopsis

fun mpz_init
  (x: &mpz? >> mpz): void = "mac#%"

mpz_init2

Synopsis

fun mpz_init2
  (x: &mpz? >> mpz, n: ulint): void = "mac#%"

mpz_clear

Synopsis

fun mpz_clear (x: &mpz >> mpz?): void = "mac#%"

mpz_realloc2

Synopsis

fun mpz_realloc2
  (x: &mpz >> mpz, n: ulint): void = "mac#%"

mpz_get_int

Synopsis

fun mpz_get_int (x: &RD(mpz)): int = "mac#%"

mpz_get_lint

Synopsis

fun mpz_get_lint (x: &RD(mpz)): lint = "mac#%"

mpz_get_uint

Synopsis

fun mpz_get_uint (x: &RD(mpz)): uint = "mac#%"

mpz_get_ulint

Synopsis

fun mpz_get_ulint (x: &RD(mpz)): ulint = "mac#%"

mpz_get_double

Synopsis

fun mpz_get_double (x: &RD(mpz)): double = "mac#%"

mpz_get_str

Synopsis

fun mpz_get_str
(
  res: ptr
, base: mp_base, x: &RD(mpz)
) : Strptr1 = "mac#%"

mpz_set_int

Synopsis

fun mpz_set_int
  (x: &mpz >> _, y: int): void = "mac#%"

mpz_set_lint

Synopsis

fun mpz_set_lint
  (x: &mpz >> _, y: lint): void = "mac#%"

mpz_set_uint

Synopsis

fun mpz_set_uint
  (x: &mpz >> _, y: uint): void = "mac#%"

mpz_set_ulint

Synopsis

fun mpz_set_ulint
  (x: &mpz >> _, y: ulint): void = "mac#%"

mpz_set_double

Synopsis

fun mpz_set_double
  (x: &mpz >> _, y: double): void = "mac#%"

mpz_set_mpz

Synopsis

fun mpz_set_mpz
  (x: &mpz >> _, y: &RD(mpz)): void = "mac#%"

mpz_set_mpq

Synopsis

fun mpz_set_mpq
  (x: &mpz >> _, y: &RD(mpq)): void = "mac#%"

mpz_set_mpf

Synopsis

fun mpz_set_mpf
  (x: &mpz >> _, y: &RD(mpf)): void = "mac#%"

mpz_set_str

Synopsis

fun mpz_set_str
  (x: &mpz >> _, inp: string, base: mp_base): int = "mac#%"

mpz_set_str_exn

Synopsis

fun mpz_set_str_exn
  (x: &mpz >> _, inp: string, base: mp_base): void = "mac#%"

mpz_neg

Synopsis

overload mpz_neg with mpz_neg1

overload mpz_neg with mpz_neg2

mpz_neg1

Synopsis

fun mpz_neg1
  (x: &mpz >> _): void = "mac#%"

mpz_neg2

Synopsis

fun mpz_neg2
  (x: &mpz >> _, y: &mpz): void = "mac#%"

mpz_abs

Synopsis

overload mpz_abs with mpz_abs1

overload mpz_abs with mpz_abs2

mpz_abs1

Synopsis

fun mpz_abs1
  (x: &mpz >> _): void = "mac#%"

mpz_abs2

Synopsis

fun mpz_abs2
  (x: &mpz >> _, y: &mpz): void = "mac#%"

mpz_add

Synopsis

overload mpz_add with mpz_add2_mpz

overload mpz_add with mpz_add2_int

overload mpz_add with mpz_add2_lint

overload mpz_add with mpz_add2_uint

overload mpz_add with mpz_add2_ulint

overload mpz_add with mpz_add3_mpz

overload mpz_add with mpz_add3_int

overload mpz_add with mpz_add3_lint

overload mpz_add with mpz_add3_uint

overload mpz_add with mpz_add3_ulint

mpz_add2_int

Synopsis

fun mpz_add2_int
  (x: &mpz >> _, y: int): void = "mac#%"

mpz_add2_lint

Synopsis

fun mpz_add2_lint
  (x: &mpz >> _, y: lint): void = "mac#%"

mpz_add2_uint

Synopsis

fun mpz_add2_uint
  (x: &mpz >> _, y: uint): void = "mac#%"

mpz_add2_ulint

Synopsis

fun mpz_add2_ulint
  (x: &mpz >> _, y: ulint): void = "mac#%"

mpz_add2_mpz

Synopsis

fun mpz_add2_mpz
  (x: &mpz >> _, y: &mpz): void = "mac#%"

mpz_add3_int

Synopsis

fun mpz_add3_int
  (x: &mpz >> _, y: &mpz, z: int): void = "mac#%"

mpz_add3_lint

Synopsis

fun mpz_add3_lint
  (x: &mpz >> _, y: &mpz, z: lint): void = "mac#%"

mpz_add3_uint

Synopsis

fun mpz_add3_uint
  (x: &mpz >> _, y: &mpz, z: uint): void = "mac#%"

mpz_add3_ulint

Synopsis

fun mpz_add3_ulint
  (x: &mpz >> _, y: &mpz, z: ulint): void = "mac#%"

mpz_add3_mpz

Synopsis

fun mpz_add3_mpz
  (x: &mpz >> _, y: &mpz, z: &mpz): void = "mac#%"

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.