Changes needed for doenet integration - #84

Open

siefkenj wants to merge 94 commits into

Doenet:mainfrom

siefkenj:doenet

Commits on Jul 31, 2026

Changes needed for doenet integration
siefkenj
committed
8ccd98d

Commits on Aug 1, 2026

Changes needed for Doenet
siefkenj
committed
cdc5343

Commits on Aug 4, 2026

Updates for Doenet
siefkenj
committed
02293bf
More soundness fixes
siefkenj
committed
640d32c
Trig identity fixes
siefkenj
committed
08bd4dc
Formatting + fixes
siefkenj
committed
537eca3
Update plans
siefkenj
committed
970c1c3
Fixes for Doenet
siefkenj
committed
7a18c9c

Commits on Aug 5, 2026

Root fixes
siefkenj
committed
264be80
Doenet fixes
siefkenj
committed
593dbe6
Prevent overflow on bad input
siefkenj
committed
7f8365c

Commits on Aug 6, 2026

Updates
siefkenj
committed
9aedf60
Updates
siefkenj
committed
348a603
Merge branch 'doenet' of github.com:siefkenj/math-expressions into doenet
siefkenj
committed
1d8fe27
Improve simplification
siefkenj
committed
e783efc
Fixes
siefkenj
committed
66a3bc1
Added eval many
siefkenj
committed
69bdc22
Minor fixes
siefkenj
committed
0fd94a2
evaluate fixes
siefkenj
committed
db8de8e
canonicalize order before evaluation for consistent float behaviour
siefkenj
committed
2d4f1f7
Better folding
siefkenj
committed
bba9cb9
Rename function to be more explifit about appraoch
siefkenj
committed
10488e9
Fixes for doenet
siefkenj
committed
ad05f87

Commits on Aug 7, 2026

Minor fixes
siefkenj
committed
ae13c2d
Updates
siefkenj
committed
d6a394b
Merge branch 'doenet' of https://github.com/siefkenj/math-expressions into doenet
siefkenj
committed
c473321
Fix rounding
siefkenj
committed
9c4704f
Fixes
siefkenj
committed
8d2d9fd
Fixes
siefkenj
committed
d0737c3
Changes for doenet
siefkenj
committed
8fa8c9b

Commits on Aug 8, 2026

Changes for doenet
siefkenj
committed
e39fcff
Fix floor function
siefkenj
committed
d96465d
Review edits
siefkenj
committed
ae7da6d
Test fixes
siefkenj
committed
f71c4a0
Minor updates
siefkenj
committed
a139491
Adopt new printer conventions in latex round-trip test expectations

siefkenj
and
claude
committed
2be5d93
Complete the assumptions engine

siefkenj
and
claude
committed
cd72603
Merge branch 'doenet' of github.com:siefkenj/math-expressions into doenet
siefkenj
committed
033d9ae
Add js-compat failure summary

siefkenj
and
claude
committed
42aa602

Commits on Aug 9, 2026

Small fix
siefkenj
committed
708bb57
Move JS tree/assumption math into Rust bindings (Phase A)

siefkenj
and
claude
committed
a5d1867
Move the assumptions logic into the Rust core (Phase B)

siefkenj
and
claude
committed
133ce6f
Move the polynomial / Groebner engine into Rust (Phase C)

siefkenj
and
claude
committed
087c3ab
Record the outcome of the JS-to-Rust migration

siefkenj
and
claude
committed
4192de7
Updates
siefkenj
committed
d75c045
Matrix normalizations
siefkenj
committed
0cd36fa
Ast fixes
siefkenj
committed
386d57e
Fixes
siefkenj
committed
d294d00
More compat
siefkenj
committed
4fc358a
Simplify fixes
siefkenj
committed
faa7c09
Minor fix
siefkenj
committed
615d3be
Updates for tests
siefkenj
committed
a9f0991
Merge branch 'doenet' of github.com:siefkenj/math-expressions into doenet
siefkenj
committed
c64881f
Formatting
siefkenj
committed
680d6ad

Commits on Aug 10, 2026

Fix some failing tests
siefkenj
committed
0155902
Review
siefkenj
committed
f84577c
Test fixes
siefkenj
committed
0dfcd24
Updates
siefkenj
committed
685c0be
Test fixes
siefkenj
committed
6914f0c
Minor fixes
siefkenj
committed
0f41710
Merge branch 'doenet' of github.com:siefkenj/math-expressions into doenet
siefkenj
committed
08472b6
Test fixes
siefkenj
committed
62c5f20

Commits on Aug 11, 2026

More fixes
siefkenj
committed
6831717
Improve simplify routine
siefkenj
committed
7082f8a
Reduce failures
siefkenj
committed
d7da6d8

Commits on Aug 14, 2026

Review pass: satisfy this PR's own fmt gate, fix 0·(−∞), correct a stale comment

dqnykamp
and
claude
committed
ddb91b9
Review cycle 2: correctness fixes in the compat polynomial engine and wasm boundary

dqnykamp
and
claude
committed
ba9fa39
Review cycle 3: restore four legacy contracts in the compat layer
dqnykamp
committed
06742b5
Review cycle 3: a latex-printer abort, and 0^0 on the skip_ordering path
dqnykamp
committed
eeebe67
Review cycle 4: seven confirmed defects from the simplify/print backlog
dqnykamp
committed
1385dac
Review cycle 6: two engine defects the first full CI run exposed

dqnykamp
and
claude
committed
612ab81
Review cycle 6b: a literal semicolon was translated to sigma, and three doc fixes

dqnykamp
and
claude
committed
ce683cb
Review cycle 7: make the package publishable, and enforce the wasm contract
dqnykamp
committed
67e99ee
Review cycle 8: `is_real(i^2)` was false, and four stale claims in the prose

dqnykamp
and
claude
committed
c4ae2e4
Review cycle 9: the non-realness gap was load-bearing after all
dqnykamp
committed
1f543c5
Review cycle 10: repair the tests this review wrote, and unbreak the macOS build

dqnykamp
and
claude
committed
d385291
Review cycle 11: read odd roots of negatives on the real branch everywhere

dqnykamp
and
claude
committed
41b9cb4

Commits on Aug 15, 2026

Review cycle 11: move the durable findings ledger out of the PR body

dqnykamp
and
claude
committed
5e25e26
Review cycle 11: reconcile two plan docs with the odd-root fix

dqnykamp
and
claude
committed
bb0503d
Review cycle 12: repair two entries cycle 11 damaged in the move

dqnykamp
and
claude
committed
a7d9a76
Review cycle 12: f() could not compile nthroot at all

dqnykamp
and
claude
committed
8e62b75
Review cycle 13: a function that plotted perfectly and evaluated to NaN

dqnykamp
and
claude
committed
bb8f691
Review cycle 13: reconcile the known-issues ledger with the code

dqnykamp
and
claude
committed
5ba6721
Review cycle 14: a seventh grading defect, on the path the sweep missed

dqnykamp
and
claude
committed
3e31576
Review cycle 15: a determinant that was not equal to itself

dqnykamp
and
claude
committed
a2c468a
Review cycle 16: f((a,b)) split the folder from the sampler, and rootof is reachable

dqnykamp
and
claude
committed
3b27de9
Review cycle 17: rootof read only one spelling of its own polynomial

dqnykamp
and
claude
committed
e2b3bfd
Review cycle 17: the published declaration still said `number | null`

dqnykamp
and
claude
committed
10fdf8a
Review cycle 17: file the half of f((a,b)) the sampler fix does not reach

dqnykamp
and
claude
committed
6a39cc3
Review cycle 18: make `f((a, b))` and `f(a, b)` one tree, in the parsers

dqnykamp
and
claude
committed
ea3e378
Review cycle 19: the rest of the bracket-notation fix, and a ledger that can rot

dqnykamp
and
claude
committed
3335f38

Commits on Aug 17, 2026

Commits on Aug 18, 2026

Review cycle 22: the sweep that was asserted, and the two decisions
dqnykamp
committed
46f4c49