Re: [GiNaC-list] can ginac solve inequalities ?

Hi, Am 19.03.2010 01:44, schrieb Frederic:

for now, using lsolve(), I can make GiNaC answer "x == -y" for equality "x+y == 0" (looking at 'x').

My question is : if I'm looking for 'x', in the inequality " x+y< 0", how can GiNaC give me "x< -y" ?

there is no build-in facility in GiNaC to do such a thing. You would have to write your own code for that, for example, a function that takes an relational, manipulates the rhs and lhs and returns the new relational. The relational class can indeed represent a inequality, but nothing more. Regards, Jens