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

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

Seen: **311 times**

Last updated: **Jul 15 '15**

symbolic calculation for resultant

Symbolic simplificaction without commutativity

Making my own special type of variable

Substitution using Dictionary with Matrix as Value

conversion from polynomial to symbolic

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

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.