Skip to content

Move to AngouriMath 2.6.0, and read the congruence it writes with \pmod - #338

Open
Rafael-SOWNet wants to merge 1 commit into
verybadcat:masterfrom
Rafael-SOWNet:angourimath-2.6.0
Open

Rafael-SOWNet wants to merge 1 commit into
verybadcat:masterfrom
Rafael-SOWNet:angourimath-2.6.0

Conversation

@Rafael-SOWNet

Copy link
Copy Markdown
Contributor

Moves to AngouriMath 2.6.0, published to NuGet today.

  • \pmod. AngouriMath 2.6.0 adds a congruence node, written a \equiv b \pmod{m}. AngouriMathLatexSweepTests (Move to AngouriMath 2.0, which renamed Latexise to Latexize #262) found \pmod an invalid command here, the only one of the 109 nodes it checks. \pmod{m} now lays out as LaTeX's "(mod m)" after a quad, built from atoms that already lay out, as \Bra and \Ket are. Evaluation reads it as the modulus of the \equiv before it, so 15625 \equiv 1 \pmod{7} evaluates to true. \equiv without \pmod, and \pmod without \equiv, are errors.
  • The other 33 changed rows are AngouriMath 2.6.0 printing or answering differently:
    • a variable now sorts before a function in a product (y \cot(x));
    • a--a prints as a+a;
    • [7, 8]/9 evaluates to [7/9, 8/9];
    • d/d(x²) of x is 1/(2x) where 2.2.0 answered 0, so (dx/d(x^2)) x y + 1 is 1 + y/2 for x ≠ 0.

Against the published 2.6.0 package: Evaluation 968/968, Core 1,584/1,584 and Rendering 1,241/1,241 pass.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

AngouriMath 2.6.0 adds a congruence node, written a \equiv b \pmod{m}, and
AngouriMathLatexSweepTests found \pmod was an invalid command here: the only one
of the 109 nodes it checks. \pmod{m} is now LaTeX's "(mod m)" after a quad, built
from atoms that already lay out, as \Bra and \Ket are. Evaluation reads it as the
modulus of the \equiv before it, so 15625 \equiv 1 \pmod{7} evaluates to true.
\equiv without \pmod, and \pmod without \equiv, are errors.

The other 33 changed rows are AngouriMath 2.6.0 printing or answering differently:
- a variable now sorts before a function in a product (y \cot(x));
- a--a prints as a+a;
- [7, 8]/9 evaluates to [7/9, 8/9];
- d/d(x^2) of x is 1/(2x), where 2.2.0 answered 0, so (dx/d(x^2)) x y + 1 is
  1 + y/2 for x != 0.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant