Ask Your Question

Revision history [back]

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 have to convert (one) 0 to a symbolic expression first, e.g.

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

Here SR is the name of the Symbolic Ring.

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 have to convert (one) need the value 0 to as a symbolic expression first, e.g. expression, so that == will construct a symbolic equation:

sage: SR(0) SR.zero() == 0
SR.zero()
0 == 0

Here SR is the name of the Symbolic Ring.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