Verifying equality with Modulos

asked 2016-05-21 08:42:35 -0500

Romuald_314 gravatar image


I would like to verify an equality such as

((a+b)%n-b)%n == a

with, naturally, integer numbers. But i couldn't find how to declare integer but empty variables in Sage in order to test such an equality, without declaring precise and specific numbers (which would be useless, I want to verify it for any number of Z).

Any idea? Thanks

edit retag flag offensive close merge delete


I'm not sure Sage has the tools for that.

slelievre gravatar imageslelievre ( 2016-05-22 20:53:42 -0500 )edit