search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Problems with functions with uppercase arguments in solve #1761

Open rtoy opened 4 months ago

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 07:41:48 Created by *anonymous on 2007-07-05 05:57:32 Original: https://sourceforge.net/p/maxima/bugs/1230

solve([FAe(A,B,C,D,Dy,Dz)=0,FBe(A,B,C,D,Dy,Dz)=0,...]); returns an 'unexpected error', while solve([FAe(a,b,c,d,dy,dz)=0,FBe(a,b,c,d,dy,dz)=0,...]); returns the right results

For the definition of the functions see the attached file. The functions are defined both with uppercase arguments and lowercase arguments. Then the uppercase and lowercase functions are substracted to see, that they are equal. Then four systems of equations are solved: 1: Uppercase defined functions with uppercase arguments: fail 2: Lowercase defined functions with uppercase arguments: fail 3: Uppercase defined functions with lowercase arguments: succeed 4: Lowercase defined functions with lowercase arguments: succeed

System information: Maxima version: 5.12.0 Maxima build date: 19:33 5/3/2007 host type: i686-pc-mingw32 lisp-implementation-type: GNU Common Lisp (GCL) lisp-implementation-version: GCL 2.6.8

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 07:41:49 Created by nobody on 2007-07-05 05:57:32 Original: https://sourceforge.net/p/maxima/bugs/1230/#5da7

sample maxima code

Attachments:

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 07:41:53 Created by nobody on 2008-02-25 15:52:10 Original: https://sourceforge.net/p/maxima/bugs/1230/#250b

Logged In: NO

After trying various names (AAA, aaa, FOO1, X1, etc) I believe at this point that the problem is due to ordering of the variables. If Dy and Dz are replaced with something that comes after A, B, C, and D, for example, E and F, then solve is OK.

Maybe solve (or allroots which is called by solve) is eliminating variables in order and there is a problem eliminating Dy and/or Dz before the others. If that's the case, it's not clear to me how to make progress here. Trying all possible elimination orderings is out of the question; or is it?

Robert Dodier

rtoy commented 4 months ago

Imported from SourceForge on 2024-07-05 07:41:57 Created by robert_dodier on 2022-11-03 17:29:13 Original: https://sourceforge.net/p/maxima/bugs/1230/#b974