Elamur Groupantsmath
The groupants that sit beside the Rust code of math in the Mova repository.
88 groupants of math, in repository order. Each page shows the node's components with their labels, its obernants and its model text.
| groupant | source or scope | label |
|---|---|---|
| math-bigbench-main | math/bigbench/src/main.rs | partial source bound model |
| math-lexicon-build | math/build.rs | partial source bound model |
| math-arith | math/src/arith.rs | partial source bound model |
| math-arith-search | math/src/arith.rs | partial source bound model |
| math-big | math/src/big.rs | partial source bound model |
| math-solver-cli | math/src/bin/mathsolve.rs | partial source bound model |
| math-solver-cli-lean-routes | math/src/bin/mathsolve.rs | partial source bound model |
| math-solver-cli-local-calculation | math/src/bin/mathsolve.rs | partial source bound model |
| math-solver-cli-training-routes | math/src/bin/mathsolve.rs | partial source bound model |
| math-vmmtests-cli | math/src/bin/vmmtests.rs | partial source bound model |
| math-calc | math/src/calc.rs | partial source bound model |
| math-calc-checks | math/src/calc.rs | partial source bound model |
| math-calc-checks-residue-fibers | math/src/calc.rs | partial source bound model |
| math-calc-evaluation | math/src/calc.rs | partial source bound model |
| math-calc-evaluation-mixed-zero | math/src/calc.rs | partial source bound model |
| math-calc-evaluation-ranged-binding | math/src/calc.rs | partial source bound model |
| math-calc-parser | math/src/calc.rs | partial source bound model |
| math-calc-parser-lex-normalization | math/src/calc.rs | partial source bound model |
| math-calc-parser-power-association | math/src/calc.rs | partial source bound model |
| math-comb | math/src/comb.rs | partial source bound model |
| math-comb-products | math/src/comb.rs | partial source bound model |
| math-comb-recurrences | math/src/comb.rs | partial source bound model |
| math-curriculum | math/src/curric.rs | partial source bound model |
| math-curriculum-grading | math/src/curric.rs | partial source bound model |
| math-curriculum-sampling | math/src/curric.rs | partial source bound model |
| math-deduct | math/src/deduct.rs | partial source bound model |
| math-deduct-gold | math/src/deduct.rs | partial source bound model |
| math-deduct-transition | math/src/deduct.rs | partial source bound model |
| math-deriv | math/src/deriv.rs | partial source bound model |
| math-deriv-numerical-check | math/src/deriv.rs | partial source bound model |
| math-deriv-rules | math/src/deriv.rs | partial source bound model |
| math-deriv-simplification | math/src/deriv.rs | partial source bound model |
| math-err | math/src/err.rs | partial source bound model |
| math-eval | math/src/eval.rs | partial source bound model |
| math-eval-gate | math/src/eval.rs | partial source bound model |
| math-expr | math/src/expr.rs | partial source bound model |
| math-fcheck | math/src/fcheck.rs | partial source bound model |
| math-lean-boundary | math/src/lean.rs | partial source bound model |
| math-lex | math/src/lex.rs | partial source bound model |
| math-library-surface | math/src/lib.rs | partial source bound model |
| math-linsys | math/src/linsys.rs | partial source bound model |
| math-linsys-elimination | math/src/linsys.rs | partial source bound model |
| math-linsys-linear | math/src/linsys.rs | partial source bound model |
| math-classic-cli | math/src/main.rs | partial source bound model |
| math-solution-memory | math/src/memory.rs | partial source bound model |
| math-solution-memory-perceptron | math/src/memory.rs | partial source bound model |
| math-solution-memory-templates | math/src/memory.rs | partial source bound model |
| math-nt | math/src/nt.rs | partial source bound model |
| math-nt-arithmetic | math/src/nt.rs | partial source bound model |
| math-nt-factor | math/src/nt.rs | partial source bound model |
| math-nt-modular | math/src/nt.rs | partial source bound model |
| math-plan-gate | math/src/plan.rs | partial source bound model |
| math-plan-gate-enumeration | math/src/plan.rs | partial source bound model |
| math-plan-gate-execution | math/src/plan.rs | partial source bound model |
| math-plan-gate-json | math/src/plan.rs | partial source bound model |
| math-poly | math/src/poly.rs | partial source bound model |
| math-poly-inequalities | math/src/poly.rs | partial source bound model |
| math-poly-rational | math/src/poly.rs | partial source bound model |
| math-poly-roots | math/src/poly.rs | partial source bound model |
| math-qread | math/src/qread.rs | partial source bound model |
| math-qread-affine | math/src/qread.rs | partial source bound model |
| math-qread-affine-one-pass-images | math/src/qread.rs | partial source bound model |
| math-qread-affine-support-pruning | math/src/qread.rs | partial source bound model |
| math-qread-constraints | math/src/qread.rs | partial source bound model |
| math-qread-constraints-single-unknown-passes | math/src/qread.rs | partial source bound model |
| math-qread-constraints-temporal-fold | math/src/qread.rs | partial source bound model |
| math-qread-gate | math/src/qread.rs | partial source bound model |
| math-qread-gate-occurrence-partitions | math/src/qread.rs | partial source bound model |
| math-qworld | math/src/qworld.rs | partial source bound model |
| math-qworld-cells | math/src/qworld.rs | partial source bound model |
| math-qworld-learned | math/src/qworld.rs | partial source bound model |
| math-rat | math/src/rat.rs | partial source bound model |
| math-solver-orchestration | math/src/solve.rs | partial source bound model |
| math-solver-orchestration-batching | math/src/solve.rs | partial source bound model |
| math-solver-orchestration-memory-fallback | math/src/solve.rs | partial source bound model |
| math-steps | math/src/steps.rs | partial source bound model |
| math-steps-binding | math/src/steps.rs | partial source bound model |
| math-steps-gold-adapters | math/src/steps.rs | partial source bound model |
| math-steps-transition | math/src/steps.rs | partial source bound model |
| math-suite-verdicts | math/src/suite.rs | partial source bound model |
| math-understand | math/src/understand.rs | partial source bound model |
| math-understand-chunk | math/src/understand.rs | partial source bound model |
| math-understand-frames | math/src/understand.rs | partial source bound model |
| math-understand-pratt | math/src/understand.rs | partial source bound model |
| math-units | math/src/units.rs | partial source bound model |
| math-teacher-accounting | math/src/vmm.rs | partial source bound model |
| math-tests-understand | math/tests/understand.rs | partial source bound model |
| math-frozen-calc-harness | math/tests/vmm_calc.rs | partial source bound model |
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/math/