#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 RationalErrorBigRational
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 BigRationalBigRational::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 LibHyperErrormpf_factorial
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.
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.
Install
Download zipA symbolic mathematics library for Moonbit.
symbolicmathalgebrapolynomialsphysics
0.5.10
Apache-2.0
Updated 3 months ago
101 downloadsDependencies
- CAIMEOX/qc_pyext0.1.1
- Kaida-Amethyst/python0.1.7
- moonbitlang/quickcheck0.9.10
- CAIMEOX/moon_floating0.3.0