README#symnum
CAIMEOX/symbit/symnum is the public import path for this package.
Low-level numeric support used across Symbit, including exact rationals, MP-based numeric helpers, and precision-management utilities.
#When To Use This Package
- Import CAIMEOX/symbit/symnum directly when your code depends on this package's subsystem-specific types or algorithms.
- Prefer this package over the root facade when you want the focused API surface listed below rather than a convenience wrapper.
#Key Public Entry Points
- catalan_fixed
- diff
- dps_to_prec
- euler_fixed
- fac
- fhalf
- findroot
- finf
#Related Packages
- CAIMEOX/symbit
- CAIMEOX/symbit/symcore
#IntMathError
Integer-math error surface used by helpers like isqrt.
#MPContext
High-level numeric context mirroring the mpmath.mp runtime state.
#MPError
Error family used by high-level context operations.
#MPZ
MoonBit replacement for mpmath's MPZ arbitrary-precision integer type.
#Mpc
Low-level arbitrary-precision complex backed by moon_floating libmp.
#Mpf
Low-level arbitrary-precision real backed by moon_floating libmp.
#MpfMatrix
Dense floating-point matrix type used by the mpmath-style compatibility API.
#Mpi
Arbitrary-precision real interval backed by moon_floating libmpi.
#MpiError
Raw interval error surface.
#RoundMode
Public alias for the raw rounding mode used by libmp functions.
#SeriesTermFn
Integer-indexed term callback used by summation, nsum, and nprod.
#UnaryMpfFn
Real unary callback used by diff, findroot, quad, and limit wrappers.
#RationalError
Error raised when constructing or inverting a rational with zero denominator.
impl Show for RationalError
#BigRational
Canonical exact rational number num/den with gcd normalization.
impl Add for BigRationalimpl Mul for BigRationalimpl Neg for BigRationalimpl Show for BigRationalPrint as n or n/d in normalized form.
impl Sub for BigRational#BigRational::add_r
Add two exact rationals.
#BigRational::compare
Three-way comparison: negative, zero, or positive.
#BigRational::div_r
Divide by another rational (self * other.reciprocal()).
#BigRational::from_bigint
Construct an exact rational from a BigInt.
#BigRational::from_int
Construct an exact rational from an Int.
#BigRational::from_ints
Construct an exact rational from integer numerator and denominator.
#BigRational::mul_r
Multiply two exact rationals.
#BigRational::new
Construct a normalized rational and validate that den != 0.
#BigRational::reciprocal
Return the multiplicative inverse.
#BigRational::sub_r
Subtract two exact rationals.
#MPIntervalContext
Interval context that carries precision for parse/format and interval ops.
#MPIntervalContext::abs
Interval absolute value.
#MPIntervalContext::add
Interval addition.
#MPIntervalContext::cos
Interval cosine.
#MPIntervalContext::div
fn MPIntervalContext::div(self : MPIntervalContext, a : RawMpi, b : RawMpi) -> RawMpi raise MpiErrorInterval division.
#MPIntervalContext::exp
Interval exponential.
#MPIntervalContext::gamma
Interval gamma function.
#MPIntervalContext::log
Interval logarithm.
#MPIntervalContext::make_float
Parse a degenerate interval from a decimal literal.
#MPIntervalContext::make_interval
Construct a closed interval from real endpoints.
#MPIntervalContext::mul
fn MPIntervalContext::mul(self : MPIntervalContext, a : RawMpi, b : RawMpi) -> RawMpi raise MpiErrorInterval multiplication.
#MPIntervalContext::neg
Interval negation.
#MPIntervalContext::precision
Return interval-context precision in bits.
#MPIntervalContext::sin
Interval sine.
#MPIntervalContext::sqrt
Interval square root.
#MPIntervalContext::sub
Interval subtraction.
#MPIntervalContext::tan
Interval tangent.
#MPIntervalContext::to_string
fn MPIntervalContext::to_string(self : MPIntervalContext, value : RawMpi, dps? : Int) -> String raise MpiErrorConvert an interval to text using the configured precision.
#_matrix
Construct a dense real matrix from row-major mpf data.
#catalan_fixed
Catalan's constant in fixed-point form scaled by 2**prec.
#diff
Numerical derivative wrapper over a temporary context.
#dps_to_prec
fn dps_to_prec(n : Int) -> IntConvert decimal digits to binary precision using mpmath's formula.
#euler_fixed
Euler-Mascheroni constant in fixed-point form scaled by 2**prec.
#fac
Factorial wrapper matching mpmath's real-valued fac(x) = gamma(x + 1).
#findroot
Numerical root-finder wrapper over a temporary context.
#format_mpf
Format an mpf using the libmp formatting mini-language.
#from_float
Exact conversion from a machine Double into an mpf.
#from_man_exp
Construct an mpf from a signed mantissa and power-of-two exponent.
#from_rational
Construct an mpf from an exact rational p/q.
#from_str
Parse a decimal string into an mpf.
#gcd_bigint
Greatest common divisor for arbitrary-precision integers.
#giant_steps
Precision schedule helper copied from mpmath's giant_steps.
#identify
Identify a floating-point value as a small symbolic constant expression.
#interval_context
Construct an interval context with explicit binary precision.
#is_complex_result
Compatibility probe for callers that used except ComplexResult.
#is_no_convergence
Compatibility probe for callers that used except NoConvergence.
#limit
Numerical limit wrapper.
#local_workdps
Function-style replacement for mpmath's local_workdps context manager.
#local_workprec
Function-style replacement for mpmath's local_workprec context manager.
#make_mpc
Build a complex value from real and imaginary parts.
#make_mpf
Convenience alias mirroring mpmath's make_mpf naming.
#mp
Create a high-level numeric context from binary precision.
#mp_dps
Create a high-level numeric context from decimal digits.
#mpc
Minimal mpmath.mpc(...)-style constructor subset from real/imag parts.
#mpc_pow
#mpc_pow_mpf
Raise a complex number to a real floating-point power.
#mpf
Minimal mpmath.mpf(...)-style constructor subset using string input.
#mpf_cosh_sinh
Low-level helper returning (cosh(x), sinh(x)) in one pass.
#mpf_div
#mpf_expint
fn mpf_expint(n : Int, x : RawMpf, prec : Int, rnd : RoundMode, gamma? : Bool) -> RawMpf raise LibHyperError#mpf_factorial
#mpf_gamma
#mpf_loggamma
#mpf_mod
#mpf_normalize
Normalize a raw mantissa/exponent tuple with explicit precision and rounding.
#mpf_pow_int
#mpf_psi
#mpf_rdiv_int
#mpf_rgamma
#mpi
Build an exact interval from lower and upper endpoints.
#mpi_from_str
Parse an interval literal.
#normalize
Compatibility alias matching mpmath.libmp.normalize.
#nprod
Numerical product wrapper with acceleration.
#nsum
Numerical summation wrapper with acceleration.
#phi_fixed
Golden ratio in fixed-point form scaled by 2**prec.
#polyroots
Polynomial roots wrapper for real coefficients.
#prec_to_dps
fn prec_to_dps(n : Int) -> IntConvert binary precision to reliable decimal digits using mpmath's formula.
#quad
Finite or infinite-interval quadrature over breakpoints.
#quadgl
Gauss-Legendre style one-dimensional quadrature.
#quadts
Tanh-sinh style one-dimensional quadrature.
#repr_dps
fn repr_dps(n : Int) -> IntDigits needed to print an mpf uniquely for round-tripping.
#sqrt
Real square root wrapper over a temporary context.
#sqrtrem
Integer square root with remainder.
#summation
Finite summation wrapper.
#to_float
Convert an mpf to the nearest machine Double.
#to_int
Convert an mpf to an arbitrary-precision integer.
#to_rational
Convert an mpf into an exact rational pair (p, q).
#to_str
Convert an mpf to a printable decimal or radix string.
#workdps
Build a temporary context from decimal digits.
A symbolic mathematics library for Moonbit.
symbolicmathalgebrapolynomialsphysics
0.5.10
Apache-2.0
Updated 2 months ago
99 downloadsDependencies
- CAIMEOX/qc_pyext0.1.1
- Kaida-Amethyst/python0.1.7
- moonbitlang/quickcheck0.9.10
- CAIMEOX/moon_floating0.3.0