ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 23 May 2016 03:53:42 +0200Verifying equality with Moduloshttps://ask.sagemath.org/question/33492/verifying-equality-with-modulos/ 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? ThanksSat, 21 May 2016 15:42:35 +0200https://ask.sagemath.org/question/33492/verifying-equality-with-modulos/Comment by slelievre for <p>Hello,</p>
<p>I would like to verify an equality such as</p>
<pre><code>((a+b)%n-b)%n == a
</code></pre>
<p>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 <strong>any</strong> number of Z).</p>
<p>Any idea? Thanks</p>
https://ask.sagemath.org/question/33492/verifying-equality-with-modulos/?comment=33518#post-id-33518I'm not sure Sage has the tools for that.Mon, 23 May 2016 03:53:42 +0200https://ask.sagemath.org/question/33492/verifying-equality-with-modulos/?comment=33518#post-id-33518