# Symbolic equivalence

Hi all,

I define ;

```
sage: x,y,z=var("x y z")
sage: x=y+z
sage: x
y + z
sage: y
y
```

I want to achieve the following:

```
sage: y
x-z
```

any idea how this scenario would be possible ?

Symbolic equivalence

asked
**
2015-04-19 11:06:05 -0500
**

This post is a wiki. Anyone with karma >750 is welcome to improve it.

Hi all,

I define ;

```
sage: x,y,z=var("x y z")
sage: x=y+z
sage: x
y + z
sage: y
y
```

I want to achieve the following:

```
sage: y
x-z
```

any idea how this scenario would be possible ?

1

Use an equation to encode the relations between the variables.

You can then solve the equation with respect to the variable of your choice.

An example:

```
sage: x,y,z = var('x y z')
sage: eq = x==y+z
sage: solve(eq, x)
[x == y + z]
sage: solve(eq, y)
[y == x - z]
```

Asked: **
2015-04-19 11:06:05 -0500
**

Seen: **330 times**

Last updated: **Jul 15 '15**

cannot evaluate symbolic expression numerically

How do I evaluate symbolic expressions numerically in notebook()

case distinction in symbolic expression

convert a symbolic var into a numeric var

Symbolic calculations in Parallel inside Sage?

symbolic calculus on doubling points in elliptic curves

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.

I do not think I understand your question, but note you have

`sage: bool(y == x-z)`

that evaluates to`True`

I do not understand what you exactly mean by "I want to achieve ...".What I tried to mean is that when I query for "y" I want to get the corresponding equivalence. I want to construct the equations in such a way that Sage will be aware of this. Bool works but not exactly what I want.