Recent changes to 556: solve confused by ratvarshttps://sourceforge.net/p/maxima/bugs/556/2004-04-09T17:17:41Zsolve confused by ratvars2004-04-09T17:17:41Z2004-04-09T17:17:41ZStavros Macrakishttps://sourceforge.net/u/macrakis/https://sourceforge.netf5ba99f52a3d81c4d302d44cc16fbc1c22b04b35solve\(rat\(a+c,a,b,c,d\),\[a,b\]\)
=> \[\[a=-%r1, b=%r1\]\] NO\!
Remove the extra variable:
solve\(rat\(a+c,a,b,c\),\[a,b\]\)
=> \[\[a = - c, b = %r2\]\] OK
Also works fine if you call algsys directly:
algsys\(\[rat\(a+c,a,b,c,d\)\],\[a,b\]\);
At first I thought this had something to do with the
variable \*ordering\* in the first case, but in fact it
happens with all orderings. The problem is the number
of ratvars.
Note that this is \*not\* an artificial situation. It is
common to have CREs with more ratvars than they use
after arithmetic operations, e.g. rat\(a+b\)-rat\(a\).