Verifying equality with Modulos

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

Romuald_314 gravatar image

Hello,

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

Comments

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

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