|
|
last edited 6 years ago by test1 |
1 2 3 4 5 6 7 8 | ||
Editor: kratt6
Time: 2007/12/20 01:19:16 GMT-8 |
||
Note: Fixed in FriCAS |
changed: -The following input causes infinite recursion in rischNormalize:: - The following input causes infinite recursion in rischNormalize \begin{axiom} added: \end{axiom}
The following input causes infinite recursion in rischNormalize
axiomintegrate(simplify(D((log((x)+1)+a)/(2*((((x*(exp(exp(x)/2)))-(a*(x+exp(-x/2))))*(2/x))-3)), x)), x)
(1) |
AFAICS goodCoef chooses to rewrite simpler kernel in terms of a more complex one. More precisely, rischNormalize is supposed to eliminate kernels which are algebraically dependent on other kernels. If a dependent kernel is found rischNormalize should eliminate it and recurse. So the recursion depth is limited by the number of kernels. However, in this example rischNormalize eliminates simpler kernel, but causes new kernels to appear.