---
title: "math — Mova code models"
description: "The 88 code-associated groupants of math in the Mova repository. Each binds a piece of Rust to its models, labels and checks."
url: "https://groupants.elamur.ai/free/en/mova/math/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/mova/math/>

# math

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](https://md.groupants.elamur.ai/free/en/mova/math/bigbench/src/main.rs.groupant/) | `math/bigbench/src/main.rs` | partial source bound model |
| [math-lexicon-build](https://md.groupants.elamur.ai/free/en/mova/math/build.rs.groupant/) | `math/build.rs` | partial source bound model |
| [math-arith](https://md.groupants.elamur.ai/free/en/mova/math/src/arith.rs.groupant/) | `math/src/arith.rs` | partial source bound model |
| [math-arith-search](https://md.groupants.elamur.ai/free/en/mova/math/src/arith.rs.groupant/search.groupant/) | `math/src/arith.rs` | partial source bound model |
| [math-big](https://md.groupants.elamur.ai/free/en/mova/math/src/big.rs.groupant/) | `math/src/big.rs` | partial source bound model |
| [math-solver-cli](https://md.groupants.elamur.ai/free/en/mova/math/src/bin/mathsolve.rs.groupant/) | `math/src/bin/mathsolve.rs` | partial source bound model |
| [math-solver-cli-lean-routes](https://md.groupants.elamur.ai/free/en/mova/math/src/bin/mathsolve.rs.groupant/lean-routes.groupant/) | `math/src/bin/mathsolve.rs` | partial source bound model |
| [math-solver-cli-local-calculation](https://md.groupants.elamur.ai/free/en/mova/math/src/bin/mathsolve.rs.groupant/local-calculation.groupant/) | `math/src/bin/mathsolve.rs` | partial source bound model |
| [math-solver-cli-training-routes](https://md.groupants.elamur.ai/free/en/mova/math/src/bin/mathsolve.rs.groupant/training-routes.groupant/) | `math/src/bin/mathsolve.rs` | partial source bound model |
| [math-vmmtests-cli](https://md.groupants.elamur.ai/free/en/mova/math/src/bin/vmmtests.rs.groupant/) | `math/src/bin/vmmtests.rs` | partial source bound model |
| [math-calc](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-checks](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/checks.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-checks-residue-fibers](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/checks.groupant/residue-fibers.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-evaluation](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/evaluation.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-evaluation-mixed-zero](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/evaluation.groupant/mixed-zero.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-evaluation-ranged-binding](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/evaluation.groupant/ranged-binding.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-parser](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/parser.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-parser-lex-normalization](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/parser.groupant/lex-normalization.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-calc-parser-power-association](https://md.groupants.elamur.ai/free/en/mova/math/src/calc.rs.groupant/parser.groupant/power-association.groupant/) | `math/src/calc.rs` | partial source bound model |
| [math-comb](https://md.groupants.elamur.ai/free/en/mova/math/src/comb.rs.groupant/) | `math/src/comb.rs` | partial source bound model |
| [math-comb-products](https://md.groupants.elamur.ai/free/en/mova/math/src/comb.rs.groupant/products.groupant/) | `math/src/comb.rs` | partial source bound model |
| [math-comb-recurrences](https://md.groupants.elamur.ai/free/en/mova/math/src/comb.rs.groupant/recurrences.groupant/) | `math/src/comb.rs` | partial source bound model |
| [math-curriculum](https://md.groupants.elamur.ai/free/en/mova/math/src/curric.rs.groupant/) | `math/src/curric.rs` | partial source bound model |
| [math-curriculum-grading](https://md.groupants.elamur.ai/free/en/mova/math/src/curric.rs.groupant/grading.groupant/) | `math/src/curric.rs` | partial source bound model |
| [math-curriculum-sampling](https://md.groupants.elamur.ai/free/en/mova/math/src/curric.rs.groupant/sampling.groupant/) | `math/src/curric.rs` | partial source bound model |
| [math-deduct](https://md.groupants.elamur.ai/free/en/mova/math/src/deduct.rs.groupant/) | `math/src/deduct.rs` | partial source bound model |
| [math-deduct-gold](https://md.groupants.elamur.ai/free/en/mova/math/src/deduct.rs.groupant/gold.groupant/) | `math/src/deduct.rs` | partial source bound model |
| [math-deduct-transition](https://md.groupants.elamur.ai/free/en/mova/math/src/deduct.rs.groupant/transition.groupant/) | `math/src/deduct.rs` | partial source bound model |
| [math-deriv](https://md.groupants.elamur.ai/free/en/mova/math/src/deriv.rs.groupant/) | `math/src/deriv.rs` | partial source bound model |
| [math-deriv-numerical-check](https://md.groupants.elamur.ai/free/en/mova/math/src/deriv.rs.groupant/numerical-check.groupant/) | `math/src/deriv.rs` | partial source bound model |
| [math-deriv-rules](https://md.groupants.elamur.ai/free/en/mova/math/src/deriv.rs.groupant/rules.groupant/) | `math/src/deriv.rs` | partial source bound model |
| [math-deriv-simplification](https://md.groupants.elamur.ai/free/en/mova/math/src/deriv.rs.groupant/simplification.groupant/) | `math/src/deriv.rs` | partial source bound model |
| [math-err](https://md.groupants.elamur.ai/free/en/mova/math/src/err.rs.groupant/) | `math/src/err.rs` | partial source bound model |
| [math-eval](https://md.groupants.elamur.ai/free/en/mova/math/src/eval.rs.groupant/) | `math/src/eval.rs` | partial source bound model |
| [math-eval-gate](https://md.groupants.elamur.ai/free/en/mova/math/src/eval.rs.groupant/gate.groupant/) | `math/src/eval.rs` | partial source bound model |
| [math-expr](https://md.groupants.elamur.ai/free/en/mova/math/src/expr.rs.groupant/) | `math/src/expr.rs` | partial source bound model |
| [math-fcheck](https://md.groupants.elamur.ai/free/en/mova/math/src/fcheck.rs.groupant/) | `math/src/fcheck.rs` | partial source bound model |
| [math-lean-boundary](https://md.groupants.elamur.ai/free/en/mova/math/src/lean.rs.groupant/) | `math/src/lean.rs` | partial source bound model |
| [math-lex](https://md.groupants.elamur.ai/free/en/mova/math/src/lex.rs.groupant/) | `math/src/lex.rs` | partial source bound model |
| [math-library-surface](https://md.groupants.elamur.ai/free/en/mova/math/src/lib.rs.groupant/) | `math/src/lib.rs` | partial source bound model |
| [math-linsys](https://md.groupants.elamur.ai/free/en/mova/math/src/linsys.rs.groupant/) | `math/src/linsys.rs` | partial source bound model |
| [math-linsys-elimination](https://md.groupants.elamur.ai/free/en/mova/math/src/linsys.rs.groupant/elimination.groupant/) | `math/src/linsys.rs` | partial source bound model |
| [math-linsys-linear](https://md.groupants.elamur.ai/free/en/mova/math/src/linsys.rs.groupant/linear.groupant/) | `math/src/linsys.rs` | partial source bound model |
| [math-classic-cli](https://md.groupants.elamur.ai/free/en/mova/math/src/main.rs.groupant/) | `math/src/main.rs` | partial source bound model |
| [math-solution-memory](https://md.groupants.elamur.ai/free/en/mova/math/src/memory.rs.groupant/) | `math/src/memory.rs` | partial source bound model |
| [math-solution-memory-perceptron](https://md.groupants.elamur.ai/free/en/mova/math/src/memory.rs.groupant/perceptron.groupant/) | `math/src/memory.rs` | partial source bound model |
| [math-solution-memory-templates](https://md.groupants.elamur.ai/free/en/mova/math/src/memory.rs.groupant/templates.groupant/) | `math/src/memory.rs` | partial source bound model |
| [math-nt](https://md.groupants.elamur.ai/free/en/mova/math/src/nt.rs.groupant/) | `math/src/nt.rs` | partial source bound model |
| [math-nt-arithmetic](https://md.groupants.elamur.ai/free/en/mova/math/src/nt.rs.groupant/arithmetic.groupant/) | `math/src/nt.rs` | partial source bound model |
| [math-nt-factor](https://md.groupants.elamur.ai/free/en/mova/math/src/nt.rs.groupant/factor.groupant/) | `math/src/nt.rs` | partial source bound model |
| [math-nt-modular](https://md.groupants.elamur.ai/free/en/mova/math/src/nt.rs.groupant/modular.groupant/) | `math/src/nt.rs` | partial source bound model |
| [math-plan-gate](https://md.groupants.elamur.ai/free/en/mova/math/src/plan.rs.groupant/) | `math/src/plan.rs` | partial source bound model |
| [math-plan-gate-enumeration](https://md.groupants.elamur.ai/free/en/mova/math/src/plan.rs.groupant/enumeration.groupant/) | `math/src/plan.rs` | partial source bound model |
| [math-plan-gate-execution](https://md.groupants.elamur.ai/free/en/mova/math/src/plan.rs.groupant/execution.groupant/) | `math/src/plan.rs` | partial source bound model |
| [math-plan-gate-json](https://md.groupants.elamur.ai/free/en/mova/math/src/plan.rs.groupant/json.groupant/) | `math/src/plan.rs` | partial source bound model |
| [math-poly](https://md.groupants.elamur.ai/free/en/mova/math/src/poly.rs.groupant/) | `math/src/poly.rs` | partial source bound model |
| [math-poly-inequalities](https://md.groupants.elamur.ai/free/en/mova/math/src/poly.rs.groupant/inequalities.groupant/) | `math/src/poly.rs` | partial source bound model |
| [math-poly-rational](https://md.groupants.elamur.ai/free/en/mova/math/src/poly.rs.groupant/rational.groupant/) | `math/src/poly.rs` | partial source bound model |
| [math-poly-roots](https://md.groupants.elamur.ai/free/en/mova/math/src/poly.rs.groupant/roots.groupant/) | `math/src/poly.rs` | partial source bound model |
| [math-qread](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-affine](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/affine.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-affine-one-pass-images](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/affine.groupant/one-pass-images.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-affine-support-pruning](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/affine.groupant/support-pruning.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-constraints](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/constraints.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-constraints-single-unknown-passes](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/constraints.groupant/single-unknown-passes.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-constraints-temporal-fold](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/constraints.groupant/temporal-fold.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-gate](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/gate.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qread-gate-occurrence-partitions](https://md.groupants.elamur.ai/free/en/mova/math/src/qread.rs.groupant/gate.groupant/occurrence-partitions.groupant/) | `math/src/qread.rs` | partial source bound model |
| [math-qworld](https://md.groupants.elamur.ai/free/en/mova/math/src/qworld.rs.groupant/) | `math/src/qworld.rs` | partial source bound model |
| [math-qworld-cells](https://md.groupants.elamur.ai/free/en/mova/math/src/qworld.rs.groupant/cells.groupant/) | `math/src/qworld.rs` | partial source bound model |
| [math-qworld-learned](https://md.groupants.elamur.ai/free/en/mova/math/src/qworld.rs.groupant/learned.groupant/) | `math/src/qworld.rs` | partial source bound model |
| [math-rat](https://md.groupants.elamur.ai/free/en/mova/math/src/rat.rs.groupant/) | `math/src/rat.rs` | partial source bound model |
| [math-solver-orchestration](https://md.groupants.elamur.ai/free/en/mova/math/src/solve.rs.groupant/) | `math/src/solve.rs` | partial source bound model |
| [math-solver-orchestration-batching](https://md.groupants.elamur.ai/free/en/mova/math/src/solve.rs.groupant/batching.groupant/) | `math/src/solve.rs` | partial source bound model |
| [math-solver-orchestration-memory-fallback](https://md.groupants.elamur.ai/free/en/mova/math/src/solve.rs.groupant/memory-fallback.groupant/) | `math/src/solve.rs` | partial source bound model |
| [math-steps](https://md.groupants.elamur.ai/free/en/mova/math/src/steps.rs.groupant/) | `math/src/steps.rs` | partial source bound model |
| [math-steps-binding](https://md.groupants.elamur.ai/free/en/mova/math/src/steps.rs.groupant/binding.groupant/) | `math/src/steps.rs` | partial source bound model |
| [math-steps-gold-adapters](https://md.groupants.elamur.ai/free/en/mova/math/src/steps.rs.groupant/gold-adapters.groupant/) | `math/src/steps.rs` | partial source bound model |
| [math-steps-transition](https://md.groupants.elamur.ai/free/en/mova/math/src/steps.rs.groupant/transition.groupant/) | `math/src/steps.rs` | partial source bound model |
| [math-suite-verdicts](https://md.groupants.elamur.ai/free/en/mova/math/src/suite.rs.groupant/) | `math/src/suite.rs` | partial source bound model |
| [math-understand](https://md.groupants.elamur.ai/free/en/mova/math/src/understand.rs.groupant/) | `math/src/understand.rs` | partial source bound model |
| [math-understand-chunk](https://md.groupants.elamur.ai/free/en/mova/math/src/understand.rs.groupant/chunk.groupant/) | `math/src/understand.rs` | partial source bound model |
| [math-understand-frames](https://md.groupants.elamur.ai/free/en/mova/math/src/understand.rs.groupant/frames.groupant/) | `math/src/understand.rs` | partial source bound model |
| [math-understand-pratt](https://md.groupants.elamur.ai/free/en/mova/math/src/understand.rs.groupant/pratt.groupant/) | `math/src/understand.rs` | partial source bound model |
| [math-units](https://md.groupants.elamur.ai/free/en/mova/math/src/units.rs.groupant/) | `math/src/units.rs` | partial source bound model |
| [math-teacher-accounting](https://md.groupants.elamur.ai/free/en/mova/math/src/vmm.rs.groupant/) | `math/src/vmm.rs` | partial source bound model |
| [math-tests-understand](https://md.groupants.elamur.ai/free/en/mova/math/tests/understand.rs.groupant/) | `math/tests/understand.rs` | partial source bound model |
| [math-frozen-calc-harness](https://md.groupants.elamur.ai/free/en/mova/math/tests/vmm_calc.rs.groupant/) | `math/tests/vmm_calc.rs` | partial source bound model |