Crate prima_core 

Re-exports

pub use builtins::BuiltinSymbols;

pub use collapse::collapse_value;

pub use collapse::numeric_value;

pub use error::CoreError;

pub use expr_pool::ExprData;

pub use expr_pool::ExprId;

pub use expr_pool::ExprPool;

pub use number::Number;

pub use number::Real;

pub use render::render_latex;

pub use render::render_number;

pub use simplify::simplify;

pub use symbol::SymbolId;

pub use symbol::SymbolTable;

pub use value::IndeterminateForm;

pub use value::Value;

pub use value::ValueKey;

Modules

builtins

collapse

Foundation for explicit symbolic → numeric collapse (spec §9).

error

expr_pool

number

opt

Optimization pipeline primitives (spec §10.2): constant folding + common-subexpression elimination over the hash-consed ExprDAG.

render

simplify

symbol

value