ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

Add modulo product optimization rule #579

Open devin-ai-integration[bot] opened 4 days ago

devin-ai-integration[bot] commented 4 days ago

Implements the mathematical optimization rule (a⋅b) mod c = ((a mod c)⋅(b mod c)) mod c in the Modulo class.

Changes:

Test Coverage:

Link to Devin run: https://preview.devin.ai/devin/7999f5d98cfd4a7da5c8b5964f1af1d7

If you have any feedback, you can leave comments in the PR and I'll address them in the app!