Symbolic Equation 0=0
What's the "correct" way to create the symbolic equation $0=0$ in Sage?
(In particular, 0==0
returns True
, so that's a non-starter.)
What's the "correct" way to create the symbolic equation $0=0$ in Sage?
(In particular, 0==0
returns True
, so that's a non-starter.)
The value of 0 == 0
is True
because 0
is an Integer
and equality of Integer
s is defined that way. To construct the symbolic equation $0=0$, you need the value 0
as a symbolic expression, so that ==
will construct a symbolic equation:
sage: SR.zero() == SR.zero()
0 == 0
Here SR
is the name of the Symbolic Ring, and the zero()
method of any ring returns its zero. You can also convert the integer 0
to a symbolic expression:
sage: SR(0) == 0
0 == 0
Awesome, thank you! The key insight I lacked was how to create a "symbolic zero", and various permutations of Google searches never sent me here: https://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/ring.html (https://doc.sagemath.org/html/en/refe...)
you can get the same result with:
sage: SR(0)==0
0 == 0
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2020-08-01 18:48:43 +0100
Seen: 564 times
Last updated: Aug 01 '20