>
> ------=_Part_7194_361452918.1517113371047
> Content-Type: multipart/alternative;
> boundary="----=_Part_7195_2085271472.1517113371047"
>
> ------=_Part_7195_2085271472.1517113371047
> Content-Type: text/plain; charset="UTF-8"
>
> I could not find, or know what to search for, to turn on tracing in Fricas.
>
> For example, Fricas hangs on this
>
> integrate((4*x^4+3)^(1/4)/x^2,x)
>
> And was just curious why that is.
>
> I see there is a )trace command, but did not know how to use it
> for the above. Is possible to give simple example of how to use
> )trace to see the call flow for the above integrate command?
(1) -> )trace INTALG )math
Parameterized constructors traced:
INTALG
(1) -> )trace INTPAF )math
Parameterized constructors traced:
INTALG, INTPAF
(1) -> )trace INTEF )math
Parameterized constructors traced:
INTALG, INTPAF, INTEF
1<enter ElementaryIntegration.lfintegrate,43 :
+--------+
4| 4
\|4 x + 3
arg1 = -----------
2
x
arg2 = x
1<enter PureAlgebraicIntegration.palgint,117 :
+--------+
4| 4
\|4 x + 3
arg1 = -----------
2
x
arg2 = x
+--------+
4| 4
arg3 = \|4 x + 3
1<enter AlgebraicIntegrate.palgintegrate,224 :
1
arg1 = - ------------- ?
3 2
? + 2 ? + ?
arg2 = theMap(UPOLYC-;differentiate;2S;35,655)
Above '?' represents anonymous variable in univariate
polynomials. During algebraic integration FriCAS needs
at least two such variables and it is a bit tricky to
find out which is which. The above is relatively easy case:
the '?' after fraction represents root, the other represent
variable. Note that function is different than the one you
gave: FriCAS usually performs change of variables (this
is part of Trager algorithm).
In this case most works goes into computations with divisors
(PFO, FDIV), but since results are harder to interpret
I do not show them.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
