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

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

add a comment

1

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
```

1

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
```

Asked: **
2020-08-01 11:48:43 -0500
**

Seen: **63 times**

Last updated: **Aug 01**

Get the nth term of an equation.rhs() sum

simplifying a symbolic expression

Symbolic expression of `sng()` which isn’t zero at `sgn(0)`

Obtaining symbolic generators from homology()

Checking identity of two combinatorial expressions

Direct substitution vs "subs" method

Recurrence equation value error

desolve_system error "unable to make sense of Maxima expression"

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.