Re-exports§
pub use acausal::capacitor;pub use acausal::resistor;pub use acausal::voltage_source;pub use acausal::Component;pub use acausal::Port;pub use acausal::System;pub use calculus::limit;pub use calculus::series;pub use calculus::series;pub use calculus::LimitDirection;pub use calculus::LimitError;pub use calculus::Series;pub use calculus::SeriesError;pub use dae::pantelides;pub use dae::DaeError;pub use dae::PantelidesResult;pub use dae::DAE;pub use deriv::DerivationLog;pub use deriv::DerivedExpr;pub use deriv::RewriteStep;pub use deriv::SideCondition;pub use diff::diff;pub use diff::diff_forward;pub use diff::grad;pub use diff::DiffError;pub use diff::DualValue;pub use diff::ForwardDiffError;Deprecated pub use flint::FlintInteger;pub use flint::FlintPoly;pub use hybrid::Event;pub use hybrid::GuardStructure;pub use hybrid::HybridODE;pub use integrate::integrate;pub use integrate::IntegrationError;pub use kernel::expr_contains_noncommutative_symbol;pub use kernel::load_from;pub use kernel::mult_tree_is_commutative;pub use kernel::open_persistent;pub use kernel::render_latex;pub use kernel::render_unicode;pub use kernel::save_to;pub use kernel::subs;pub use kernel::subs;pub use kernel::Domain;pub use kernel::ExprData;pub use kernel::ExprDisplay;pub use kernel::ExprId;pub use kernel::ExprPool;pub use kernel::IoError;pub use kernel::PoolPersistError;Deprecated pub use logic::dpll_sat;pub use logic::formula_from_expr;pub use logic::satisfiable;pub use logic::BoolClause;pub use logic::BoolLit;pub use logic::Formula;pub use logic::LogicError;pub use logic::Satisfiability;pub use real::cad_lift;pub use real::cad_project;pub use real::decide;pub use real::decide_expr;pub use real::CadError;pub use real::QeResult;pub use lattice::lattice_reduce_rows;pub use lattice::lattice_reduce_rows_with_delta;pub use lattice::validate_lll_rows;pub use lattice::LatticeError;pub use matrix::characteristic_polynomial_lambda_minus_m;pub use matrix::diagonalize;pub use matrix::eigenvalues;pub use matrix::eigenvectors;pub use matrix::hermite_form;pub use matrix::hermite_form_poly;pub use matrix::jacobian;pub use matrix::smith_form;pub use matrix::smith_form_poly;pub use matrix::EigenError;pub use matrix::IntegerMatrix;pub use matrix::Matrix;pub use matrix::MatrixError;pub use matrix::NormalFormError;pub use matrix::PolyMatrixQ;pub use matrix::RatUniPoly;pub use numeric::guess_integer_relation;pub use numeric::PslqError;pub use ode::lower_to_first_order;pub use ode::sensitivity::adjoint_system;pub use ode::sensitivity::sensitivity_system;pub use ode::sensitivity::AdjointSystem;pub use ode::sensitivity::SensitivitySystem;pub use ode::OdeError;pub use ode::ScalarODE;pub use ode::ODE;pub use parse::parse;pub use parse::ParseError;pub use pattern::match_pattern;pub use pattern::Pattern;pub use pattern::Substitution;pub use poly::factor_multivariate_z;pub use poly::factor_univariate_mod_p;pub use poly::factor_univariate_z;pub use poly::poly_normal;pub use poly::real_roots;pub use poly::real_roots;pub use poly::real_roots_symbolic;pub use poly::refine_root;pub use poly::resultant;pub use poly::resultant;pub use poly::sparse_interpolate;pub use poly::sparse_interpolate_univariate;pub use poly::subresultant_prs;pub use poly::ConversionError;pub use poly::FactorError;pub use poly::MultiPoly;pub use poly::MultiPolyFactorization;pub use poly::RationalFunction;pub use poly::RealRootError;pub use poly::ResultantError;pub use poly::RootInterval;pub use poly::SparseInterpError;pub use poly::UniPoly;pub use poly::UniPolyFactorModP;pub use poly::UniPolyFactorization;pub use horner::emit_horner_c;pub use horner::horner;pub use simplify::rulesets::log_exp_rules;pub use simplify::rulesets::log_exp_rules_safe;pub use simplify::rulesets::trig_rules;pub use simplify::rules_for_config;pub use simplify::simplify;pub use simplify::simplify_egraph;pub use simplify::simplify_egraph_with;pub use simplify::simplify_expanded;pub use simplify::simplify_with;pub use simplify::DepthCost;pub use simplify::EgraphConfig;pub use simplify::EgraphCost;pub use simplify::NoncommutativeCost;pub use simplify::OpCost;pub use simplify::PatternRule;pub use simplify::RewriteRule;pub use simplify::SimplifyConfig;pub use simplify::SizeCost;pub use simplify::StabilityCost;pub use sum::gosper_certificate;pub use sum::gosper_normal_form;pub use sum::hypergeom_ratio;pub use sum::product_definite;pub use sum::product_indefinite;pub use sum::rsolve;pub use sum::solve_linear_recurrence_homogeneous;pub use sum::sum_definite;pub use sum::sum_indefinite;pub use sum::verify_wz_pair;pub use sum::LinearRecurrenceError;pub use sum::ProductError;pub use sum::RatFunc;pub use sum::RecurrenceSolution;pub use sum::RsolveError;pub use sum::SumError;pub use sum::WzPair;pub use jit::compile;pub use jit::compile_jit_only;pub use jit::eval_interp;pub use jit::jit_available;pub use jit::CompiledFn;pub use jit::JitError;pub use stablehlo::emit_stablehlo;pub use ball::AcbBall;pub use ball::ArbBall;pub use ball::IntervalEval;pub use ball::DEFAULT_PREC;pub use simplify::parallel::simplify_par;pub use simplify::parallel::simplify_par_with_config;pub use poly::groebner::compute_groebner_basis_f5;pub use poly::groebner::GbPoly;pub use poly::groebner::GroebnerBasis;pub use poly::groebner::MonomialOrder;pub use errors::AlkahestError;pub use lean::emit_lean_expr as emit_lean;pub use diffalg::dae_index_reduce;pub use diffalg::rosenfeld_groebner;pub use diffalg::rosenfeld_groebner_algebraic;pub use diffalg::rosenfeld_groebner_with_options;pub use diffalg::DaeIndexReduction;pub use diffalg::DiffAlgError;pub use diffalg::DifferentialIdeal;pub use diffalg::DifferentialRanking;pub use diffalg::DifferentialRing;pub use diffalg::RegularDifferentialChain;pub use diffalg::RosenfeldGroebnerResult;pub use ideal::primary_decomposition;pub use ideal::radical;pub use ideal::PrimaryComponent;pub use ideal::PrimaryDecompositionError;pub use modular::is_prime;pub use modular::lift_crt;pub use modular::mignotte_bound;pub use modular::rational_reconstruction;pub use modular::reduce_mod;pub use modular::select_lucky_prime;pub use modular::ModularError;pub use modular::ModularValue;pub use modular::MultiPolyFp;pub use number_theory::discrete_log;pub use number_theory::factorint;pub use number_theory::isprime;pub use number_theory::jacobi_symbol;pub use number_theory::nextprime;pub use number_theory::nthroot_mod;pub use number_theory::totient;pub use number_theory::NumberTheoryError;pub use number_theory::QuadraticDirichlet;pub use primitive::Capabilities;pub use primitive::CoverageReport;pub use primitive::CoverageRow;pub use primitive::Primitive;pub use primitive::PrimitiveRegistry;pub use solver::diophantine;pub use solver::diophantine;pub use solver::expr_to_gbpoly;pub use solver::extract_regular_chain_from_basis;pub use solver::main_variable_recursive;pub use solver::solve_numerical;pub use solver::solve_polynomial_system;pub use solver::triangularize;pub use solver::CertifiedPoint;pub use solver::DiophantineError;pub use solver::DiophantineSolution;pub use solver::HomotopyError;pub use solver::HomotopyOpts;pub use solver::RegularChain;pub use solver::Solution;pub use solver::SolutionSet;pub use solver::SolverError;
Modules§
- acausal
- Phase 18 — Acausal component modelling.
- algebra
- Domain-specific algebras built on the expression kernel (V3-2+).
- ball
- Phase 22 — Arbitrary-precision ball arithmetic with rigorous error bounds.
- calculus
- Symbolic calculus utilities — truncated expansions, limits, …
- dae
- Phase 17 — DAE structural analysis.
- deriv
- diff
- diffalg
- V2-13 — Differential algebra / Rosenfeld–Gröbner-style differential elimination.
- errors
- Structured error types with stable diagnostic codes and remediation hints.
- experimental
- Experimental surface — may change without a major-version bump (V1-8).
- flint
- Layer 0 — Foundation bindings to FLINT (Fast Library for Number Theory).
- horner
- Phase 24 — Horner-form code emission.
- hybrid
- Phase 20 — Event handling for hybrid dynamical systems.
- ideal
- Polynomial ideals — primary decomposition and radicals (V2-12).
- integrate
- jit
- Phase 21 — LLVM JIT for compiled evaluation of symbolic expressions.
- kernel
- lattice
- V2-6 — LLL lattice reduction (exact integer arithmetic over ℚ projections).
- lean
- Lean 4 certificate exporter.
- logic
- First-order formulas over symbolic reals (V3-3 / FOFormula).
- matrix
- Phase 15 — Symbolic matrices and vectors.
- modular
- V2-1 — Modular / CRT framework as a first-class primitive.
- number_
theory - V3-1 — Integer number theory via FLINT
fmpz. - numeric
- V2-6 numeric helpers — currently limited to linear integer relation guesses.
- ode
- Phase 16 — ODE representation and manipulation.
- parse
- V2-21 — Pratt recursive-descent expression parser (Rust port).
- pattern
- poly
- primitive
- Primitive registry — central table mapping function names to their full capability bundles.
- real
- Real algebraic computations (cad, etc.).
- simplify
- solver
- Polynomial system solver via Gröbner bases.
- stable
- Stable 1.0 API surface (V1-8).
- stablehlo
- StableHLO / XLA bridge.
- sum
- Creative telescoping / Zeilberger-style symbolic summation (V2-10).