# 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 -0600
**

Seen: **78 times**

Last updated: **Aug 01 '20**

How to factorise a quantity obtained after summing?

Solving a differential equation - From SageManifold

From numerical variables to symbolic variables

solving system of polynomial equations over reals using newton method

How should I get symbolic expression of eigenvalues and eigenvectors of a real symmetric matrix 3x3

eliminating fractions and roots from equations

How to extract the integer part from a symbolic expressions?

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.