# 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: **317 times**

Last updated: **Jul 15 '15**

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.