Ask Your Question

# Symbolic equivalence

asked 2015-04-19 18:06:05 +0100

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 ?

edit retag close merge delete

## Comments

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 ...".

( 2015-04-19 21:49:44 +0100 )edit

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.

( 2015-04-20 10:06:39 +0100 )edit

## 1 Answer

Sort by ยป oldest newest most voted

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]

more

## Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

## Stats

Asked: 2015-04-19 18:06:05 +0100

Seen: 379 times

Last updated: Jul 15 '15