Sorry if this is a novice question, but I couldn't find any documentation or other stackoverflow questions on this. I want to see entire stack trace of all maxima functions called in solving an expression or an equation. I tried trace, backtrace, and debugmode. Looked at different display and print functions, but none worked.
Example1:
(%i1) is(equal( (a+b)^2, a^2+b^2+2*a*b ));
(%o1) true
Example2:
(%i2) trace(factor);
(%o2) [factor]
(%i3) trace_options(factor, info);
(%o3) [info]
(%i4) factor( (x^2 - 7*x + 10) / (x - 5) );
1 Enter ?factor [(x^2-7*x+10)/(x-5)] -> true
1 Exit ?factor x-2 -> true
(%o4) x-2
I want to see every intermediate step Maxima executed and its result in the derivation of these solutions or conclusions.Info on minutest level calls is even better.
Thanks, RB
As a hack you can trace all functions listed in builtins-list.txt:
l: read_list("builtins-list.txt") $
for e in l do errcatch(apply('trace, [e])) $
untrace(bfloatp) $ /* to limit output */
is(equal( (a+b)^2, a^2+b^2+2*a*b )) $
returns:
(%i5) is(equal( (a+b)^2, a^2+b^2+2*a*b )) $
2 2 2
1 Enter is [is(equal((a + b) , a + b + 2 a b))]
1 Enter ratp [2]
1 Exit ratp false
1 Enter ratp [b + a]
1 Exit ratp false
1 Enter ratp [2]
1 Exit ratp false
1 Enter ratp [b + a]
1 Exit ratp false
1 Enter ratp [2]
1 Exit ratp false
1 Enter ratp [a]
1 Exit ratp false
1 Enter ratp [2]
1 Exit ratp false
1 Enter ratp [b]
1 Exit ratp false
2
1 Enter setp [(b + a) ]
1 Exit setp false
2 2
1 Enter subvarp [b + 2 a b + a ]
1 Exit subvarp false
2 2
1 Enter subvarp [b + 2 a b + a ]
1 Exit subvarp false
2 2 2
1 Enter ratsimp [(b + a) - b - 2 a b - a ]
2 2 2
1 Enter ratp [(b + a) - b - 2 a b - a ]
1 Exit ratp false
2 2 2
1 Enter totaldisrep [(b + a) - b - 2 a b - a ]
2 2 2
1 Exit totaldisrep (b + a) - b - 2 a b - a
1 Enter ratdisrep [0]
1 Enter ratp [0]
1 Exit ratp true
1 Exit ratdisrep 0
1 Exit ratsimp 0
1 Enter facts []
1 Exit facts []
1 Enter niceindices [0]
1 Exit niceindices 0
1 Enter constantp [0]
1 Enter numberp [0]
1 Enter ratnump [0]
1 Exit ratnump true
1 Exit numberp true
1 Exit constantp true
1 Enter rectform [0]
1 Exit rectform 0
1 Enter sign [0]
1 Exit sign zero
1 Exit is true
1 Enter concat [, %o, 5]
1 Exit concat %o5
1 Enter concat [, %i, 5]
1 Exit concat %i5
1 Enter concat [, %i, 6]
1 Exit concat %i6