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

Last updated: **Jul 15 '15**

How to properly declare indeterminates so that they exist in the coefficient ring.

Differentiating Complex Conjugated Functions

bool returns false with arcsin(x) and 2*arctan(x/(1+sqrt(1-x^2)))

Print symbolic variables like a_1 in A[1] style

Symbolic calculations in finite field extension

Making my own special type of variable

How do I perform a change of variables for a pde

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.