2008/11/25, Robert Dodier <robert.dodier at gmail.com>:
>
> 2008/11/24 Andrew Yeltsin <gutierrez at nigma.ru>:
>
>
>
> G21359 is a so-called "gensym" (generated symbol).
> What Maxima function generated that return value?
> (And for what arguments?)
> Gensyms should not appear in results returned to the user.
>
>
> Some symbols appear in ratf function first, but I'm not sure.
2. Trace: (RATF '((MPLUS SIMP) 2 $A ((MTIMES SIMP) 2 $X)))
2. Trace: RATF ==> ((MRAT SIMP (((MPLUS RATSIMP) ((MTIMES RATSIMP) 2 $X) $A
2) $A $X) (#:G21529 #:A21527 #:X21528)) (#:G21529 1 1) . 1)
Second suspicoius function is mrat-numer. Its result is then assigned to
"exp" variable, which goes to solvequad.
As I understand, solvequad gets an expression in polynomial form.
The input was:
solve(x^2-(a+5*b+3/7)*x+(a+5*b)*3/7=0,x);
I had this at the upper level (prefix form):
((MPLUS SIMP) ((MTIMES SIMP RATSIMP) 3 $A) ((MTIMES SIMP RATSIMP) 15 $B)
((MTIMES SIMP) ((MPLUS SIMP) -3 ((MTIMES SIMP RATSIMP) -7 $A) ((MTIMES SIMP
RATSIMP) -35 $B)) $X) ((MTIMES SIMP) 7 ((MEXPT SIMP RATSIMP) $X 2)))
And in solvequad I had (polynomial form):
(A21359 2 7 1 (G21362 1 -7 0 (G21363 1 -35 0 -3)) 0 (G21362 1 3 0 (G21363 1
15)))
These gensyms are somehow bound to variables $A $B $X
Where is gensym binding to variables stored? In global variables?
Is there a fucntion, that can transform a polynomial expression into prefix
form using gensym to variable binding?
?????? ??????,
???????? nigma.ru