Repository navigation
Implement modulus #402
Description
Activity
Just to add that this one would be really useful for me also.
I'm not going to work on AM any time soon, however, I'm always ready to review and merge PRs
- added a commit that references this issue
on Aug 4, 2026 Implemented in #703, merged as
70fcbead.MathS.Mod(7, 3) // 1 "(-7) mod 3".ToEntity().Evaled // 2There is now a
Modfnode with the parser,MathS.Mod, the%operator onEntity, evaluation, simplification, differentiation, limits, both compilers, LaTeX and SymPy export.On the second half of your request —
%in AngouriMath.Interactive — it needed no wrapper code at all. F# resolves%throughop_Modulus, which is what the operator onEntitycompiles to, soa % bin F# builds the kernel's node directly. There are F# tests covering it.Two notes on what it does, since both were decided deliberately:
- The remainder is floored and takes the sign of the divisor, so
(-7) mod 3is 2 rather than -1. That is what a mathematician means by mod, and what SymPy, Mathematica and Maxima all answer; C's%truncates, but that is an operation on machine integers. - In a parsed string it is written
mod, not%.%is left free to mean percent, which is what it means in mathematical writing. The%operator in C# and F# source is unaffected.
- The remainder is floored and takes the sign of the divisor, so
AngouriMath.MathS.Modulus should be usable. Override
(%)in AngouriMath Interactive too.