mooncakes.io

libmp

README

CAIMEOX/moon_floating/libmp/mpf does not have a README file

#
MpfError

pub(all) suberror MpfError {
  ValueError(String)
  DomainError(String)
  DivisionByZero(String)
  ParseError(String)
  FormatError(String)
  UnsupportedError(String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for MpfError

#
ParseState

source

type ParseState derive(Eq)

#
RawMpf

source

pub struct RawMpf {
  sign : Int
  man : @moonbitlang/core/bigint.BigInt
BigInt
  exp : Int
  bc : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Raw arbitrary-precision floating-point value: value = (-1)^sign * man * 2^exp Canonical invariant: man is non-negative and odd unless it is zero.

impl Show for RawMpf

#
RoundMode

source

pub enum RoundMode {
  Nearest
  Floor
  Ceiling
  Up
  Down
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Core rounding modes aligned with mpmath's low-level modes:

Nearest: tie-to-even
Floor: towards -inf
Ceiling: towards +inf
Up: away from zero
Down: towards zero

impl Show for RoundMode

#
_internal_keep_parse_format_size

source

fn _internal_keep_parse_format_size() -> Unit

#
finf

source

let finf : RawMpf

Canonical positive infinity.

#
fnan

source

let fnan : RawMpf

Canonical NaN sentinel.

#
fninf

source

let fninf : RawMpf

Canonical negative infinity.

#
fnone

source

let fnone : RawMpf

Canonical negative one.

#
fone

source

let fone : RawMpf

Canonical positive one.

#
format_mpf

source

fn format_mpf(x : RawMpf, format_spec : String, dps? : Int) -> String raise MpfError

#
from_int

source

fn from_int(n : Int) -> RawMpf

#
from_man_exp

source

fn from_man_exp(man : @moonbitlang/core/bigint.BigInt
BigInt, exp : Int, prec : Int, rnd : RoundMode) -> RawMpf

#
from_str

source

fn from_str(s : String, prec? : Int, rnd? : RoundMode) -> RawMpf raise MpfError

#
fzero

source

let fzero : RawMpf

Canonical positive zero.

#
is_finite

source

fn is_finite(x : RawMpf) -> Bool

#
is_inf

source

fn is_inf(x : RawMpf) -> Bool

#
is_nan

source

fn is_nan(x : RawMpf) -> Bool

#
is_zero

source

fn is_zero(x : RawMpf) -> Bool

#
mpf_abs

source

fn mpf_abs(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_add

source

fn mpf_add(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_ceil

source

fn mpf_ceil(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_cmp

source

fn mpf_cmp(x : RawMpf, y : RawMpf) -> Int

#
mpf_div

source

fn mpf_div(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_eq

source

fn mpf_eq(x : RawMpf, y : RawMpf) -> Bool

#
mpf_floor

source

fn mpf_floor(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_frac

source

fn mpf_frac(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_frexp

source

fn mpf_frexp(x : RawMpf) -> (RawMpf, Int) raise MpfError

#
mpf_ge

source

fn mpf_ge(x : RawMpf, y : RawMpf) -> Bool

#
mpf_gt

source

fn mpf_gt(x : RawMpf, y : RawMpf) -> Bool

#
mpf_hash

source

fn mpf_hash(x : RawMpf) -> Int

#
mpf_hypot

source

fn mpf_hypot(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_le

source

fn mpf_le(x : RawMpf, y : RawMpf) -> Bool

#
mpf_lt

source

fn mpf_lt(x : RawMpf, y : RawMpf) -> Bool

#
mpf_min_max

source

fn mpf_min_max(seq : ArrayView[RawMpf]) -> (RawMpf, RawMpf) raise MpfError

#
mpf_mod

source

fn mpf_mod(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_mul

source

fn mpf_mul(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_mul_int

source

fn mpf_mul_int(x : RawMpf, n : Int, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_neg

source

fn mpf_neg(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_nint

source

fn mpf_nint(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_perturb

source

fn mpf_perturb(x : RawMpf, eps_sign : Int, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_pos

source

fn mpf_pos(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_pow_int

source

fn mpf_pow_int(x : RawMpf, n : Int, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_rand

source

fn mpf_rand(prec : Int) -> RawMpf

#
mpf_rdiv_int

source

fn mpf_rdiv_int(n : Int, x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_round_int

source

fn mpf_round_int(x : RawMpf, rnd : RoundMode) -> RawMpf

#
mpf_shift

source

fn mpf_shift(x : RawMpf, n : Int) -> RawMpf

#
mpf_sign

source

fn mpf_sign(x : RawMpf) -> Int

#
mpf_sqrt

source

fn mpf_sqrt(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

#
mpf_sub

source

fn mpf_sub(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

#
mpf_sum

source

fn mpf_sum(xs : ArrayView[RawMpf], prec : Int, rnd : RoundMode, absolute? : Bool) -> RawMpf

#
normalize

source

fn normalize(sign : Int, man : @moonbitlang/core/bigint.BigInt
BigInt, exp : Int, bc : Int, prec : Int, rnd : RoundMode) -> RawMpf

#
round_ceiling

source

let round_ceiling : RoundMode

Rounding mode alias: toward positive infinity.

#
round_down

source

let round_down : RoundMode

Rounding mode alias: toward zero.

#
round_floor

source

let round_floor : RoundMode

Rounding mode alias: toward negative infinity.

#
round_nearest

source

let round_nearest : RoundMode

Rounding mode alias: nearest (tie-to-even).

#
round_up

source

let round_up : RoundMode

Rounding mode alias: away from zero.

#
to_str

source

fn to_str(x : RawMpf) -> String raise MpfError

#
to_str_opts

source

fn to_str_opts(x : RawMpf, dps? : Int, base? : Int, binary_exp? : Bool) -> String raise MpfError

Source Files

Site source Report issue Packages Build queue Skills Statistics

#MpfError

#ParseState

#RawMpf

#RoundMode

#_internal_keep_parse_format_size

#finf

#fnan

#fninf

#fnone

#fone

#format_mpf

#from_int

#from_man_exp

#from_str

#fzero

#is_finite

#is_inf

#is_nan

#is_zero

#mpf_abs

#mpf_add

#mpf_ceil

#mpf_cmp

#mpf_div

#mpf_eq

#mpf_floor

#mpf_frac

#mpf_frexp

#mpf_ge

#mpf_gt

#mpf_hash

#mpf_hypot

#mpf_le

#mpf_lt

#mpf_min_max

#mpf_mod

#mpf_mul

#mpf_mul_int

#mpf_neg

#mpf_nint

#mpf_perturb

#mpf_pos

#mpf_pow_int

#mpf_rand

#mpf_rdiv_int

#mpf_round_int

#mpf_shift

#mpf_sign

#mpf_sqrt

#mpf_sub

#mpf_sum

#normalize

#round_ceiling

#round_down

#round_floor

#round_nearest

#round_up

#to_str

#to_str_opts

Source Files

#
MpfError

#
ParseState

#
RawMpf

#
RoundMode

#
_internal_keep_parse_format_size

#
finf

#
fnan

#
fninf

#
fnone

#
fone

#
format_mpf

#
from_int

#
from_man_exp

#
from_str

#
fzero

#
is_finite

#
is_inf

#
is_nan

#
is_zero

#
mpf_abs

#
mpf_add

#
mpf_ceil

#
mpf_cmp

#
mpf_div

#
mpf_eq

#
mpf_floor

#
mpf_frac

#
mpf_frexp

#
mpf_ge

#
mpf_gt

#
mpf_hash

#
mpf_hypot

#
mpf_le

#
mpf_lt

#
mpf_min_max

#
mpf_mod

#
mpf_mul

#
mpf_mul_int

#
mpf_neg

#
mpf_nint

#
mpf_perturb

#
mpf_pos

#
mpf_pow_int

#
mpf_rand

#
mpf_rdiv_int

#
mpf_round_int

#
mpf_shift

#
mpf_sign

#
mpf_sqrt

#
mpf_sub

#
mpf_sum

#
normalize

#
round_ceiling

#
round_down

#
round_floor

#
round_nearest

#
round_up

#
to_str

#
to_str_opts