[sage-support] Re: Simplify an expression

2009-07-21 Thread Simon King
Hi Roland, On 21 Jul., 14:54, Rolandb wrote: > Simon, thanks! You're welcome! > But in general there is no (Sage) algoritm to simplify expressions > given some equalities? If I remember correctly: If the equations are not polynomial but anything (e.g. "sin(x)*y=cos (z)" and so on) then one ca

[sage-support] Re: Simplify an expression

2009-07-21 Thread Rolandb
Simon, thanks! But in general there is no (Sage) algoritm to simplify expressions given some equalities? Rolandb On 21 jul, 08:05, Simon King wrote: > Hi Roland, > > On 21 Jul., 06:33, Rolandb wrote: > > > Hi, > > How to simplify an expression if you have some known relations > > (equalitie

[sage-support] Re: Simplify an expression

2009-07-21 Thread Stan Schymanski
Hi Roland, Would this help? sage: var ('a b x1 x2 y1 y2') (a, b, x1, x2, y1, y2) sage: expression = (a*x1^2 + b*x2^2)*y1 + b*y2^2 sage: expression.subs_expr((a*x1^2 + b*x2^2) == 0) b*y2^2 Stan Rolandb wrote: > Hi, > How to simplify an expression if you have some known relations > (equalities)?

[sage-support] Re: Simplify an expression

2009-07-20 Thread Simon King
Hi Roland, On 21 Jul., 06:33, Rolandb wrote: > Hi, > How to simplify an expression if you have some known relations > (equalities)? Example: > > relation: 0 = a*x1^2 + b*x2^2 > expression = (a*x1^2 + b*x2^2)*y1+b*y2^3 Are all your relations polynomial? Then the standard solution is to use Gröbn