Symbolic Equation 0=0

asked 4 years ago

StevenClontz
85 ●1 ●4 ●12

updated 4 years ago

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.)

answered 4 years ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

updated 4 years ago

The value of 0 == 0 is True because 0 is an Integer and equality of Integers 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

link

Comments

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...)

StevenClontz ( 4 years ago )

you can get the same result with:

sage: SR(0)==0
0 == 0

Emmanuel Charpentier ( 4 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Symbolic Equation 0=0

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Symbolic Equation 0=0 savecancel

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Symbolic Equation 0=0