Symbolic Equation 0=0

answered 2020-08-01 22:33:59 +0200

10644 ●4 ●77 ●211 https://www.rburing.nl/

updated 2020-08-01 22:42:10 +0200

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

edit flag offensive delete 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 ( 2020-08-02 00:01:52 +0200 )edit

you can get the same result with:

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

Emmanuel Charpentier ( 2020-08-02 15:15:47 +0200 )edit

add a comment

Your Answer

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

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Symbolic Equation 0=0 edit

1 Answer

Comments