#1230 Problems with functions with uppercase arguments in solve

[Anonymous]

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

[Nobody/Anonymous]

sample maxima code

[Nobody/Anonymous]

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