ATSLIB/contrib/libgmp/gmp

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


  • mpz_vt0ype
  • mpq_vt0ype
  • mpf_vt0ype
  • mp_base
  • mpz_init
  • mpz_init2
  • mpz_clear
  • mpz_realloc2
  • mpz_get_int
  • mpz_get_lint
  • mpz_get_uint
  • mpz_get_ulint
  • mpz_get_double
  • mpz_get_str
  • mpz_set_int
  • mpz_set_lint
  • mpz_set_uint
  • mpz_set_ulint
  • mpz_set_double
  • mpz_set_mpz
  • mpz_set_mpq
  • mpz_set_mpf
  • mpz_set_str
  • mpz_set_str_exn
  • mpz_neg
  • mpz_neg1
  • mpz_neg2
  • mpz_abs
  • mpz_abs1
  • mpz_abs2
  • mpz_add
  • mpz_add2_int
  • mpz_add2_lint
  • mpz_add2_uint
  • mpz_add2_ulint
  • mpz_add2_mpz
  • mpz_add3_int
  • mpz_add3_lint
  • mpz_add3_uint
  • mpz_add3_ulint
  • mpz_add3_mpz

  • 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. SourceForge.net Logo