help links subscribe changes refresh edit

	SandBox
SandBoxDFT ←	↑	→ SandBoxDOPT

SandBoxDGE

Edit detail for SandBoxDGE revision 7 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2009/01/07 12:51:52 GMT-8
Note: axiom doesn't wrap, maxima asks then hangs

changed:
-Something is going wrong with the formatting of the output. The following two commands turn off the LaTeX output and replace it with an ASCII-art format.
Something is going wrong with the formatting of the output.
\begin{axiom}
s:=integrate(sqrt(a*t^2+b*t+c),t);
#s
s.1
s.2
\end{axiom}
It is not being wrapped as expected.

The following two commands turn off the LaTeX output and replace it with an ASCII-art format.

changed:
-integrate(sqrt(a*t^2+b*t+c),t)
s:=integrate(sqrt(a*t^2+b*t+c),t)

changed:
-Output from Maxima is also weird.
-\begin{maxima}
-integrate(sqrt(a*t^2+b*t+c),t)
-\end{maxima}
Output from Reduce makes sense:
\begin{reduce}
int(sqrt(a*t^2+b*t+c),t);
\end{reduce}

But doing this with Maxima::

  !\begin{maxima}
  integrate(sqrt(a*t^2+b*t+c),t);
  \end{maxima}

causes a problem since Maxima tries to ask the "user" whether 'a' is
'positive' or 'negative', etc. In the present version of MathAction
this causes the **maxima** process to hang.

Something is going wrong with the formatting of the output.

fricas

(1) -> s:=integrate(sqrt(a*t^2+b*t+c),t);

Type: Union(List(Expression(Integer)),...)

fricas

#s

$\label{eq1}2$

(1)

Type: PositiveInteger?

fricas

s.1

$\label{eq2}\frac{{{\left({4 \ a \ c}-{{b}^{2}}\right)}\ {\log \left({{{\left(-{8 \ {{a}^{2}}\ t}-{4 \ a \ b}\right)}\ {\sqrt{{a \ {{t}^{2}}}+{b \ t}+ c}}}+{{\left(-{8 \ {{a}^{2}}\ {{t}^{2}}}-{8 \ a \ b \ t}-{4 \ a \ c}-{{b}^{2}}\right)}\ {\sqrt{a}}}}\right)}}+{{\left({8 \ a \ t}+{4 \ b}\right)}\ {\sqrt{a}}\ {\sqrt{{a \ {{t}^{2}}}+{b \ t}+ c}}}}{{16}\ a \ {\sqrt{a}}}$

(2)

Type: Expression(Integer)

fricas

s.2

$\label{eq3}\frac{{{\left({4 \ a \ c}-{{b}^{2}}\right)}\ {\arctan \left({\frac{{\left({2 \ a \ t}+ b \right)}\ {\sqrt{- a}}}{2 \ a \ {\sqrt{{a \ {{t}^{2}}}+{b \ t}+ c}}}}\right)}}+{{\left({4 \ a \ t}+{2 \ b}\right)}\ {\sqrt{- a}}\ {\sqrt{{a \ {{t}^{2}}}+{b \ t}+ c}}}}{8 \ a \ {\sqrt{- a}}}$

(3)

Type: Expression(Integer)

It is not being wrapped as expected.

The following two commands turn off the LaTeX output and replace it with an ASCII-art format.

fricas

)set output tex off

fricas

)set output algebra on

s:=integrate(sqrt(a*t^2+b*t+c),t)

   (5)
   [
                     2
           (4 a c - b )
        *
           log
                                  +--------------+
                      2           |   2
                (- 8 a t - 4 a b)\|a t  + b t + c
              + 
                      2 2                      2  +-+
                (- 8 a t  - 8 a b t - 4 a c - b )\|a
       + 
                           +--------------+
                       +-+ |   2
         (8 a t + 4 b)\|a \|a t  + b t + c
    /
            +-+
       16 a\|a
     ,

                                        +---+
                   2        (2 a t + b)\|- a
         (4 a c - b )atan(--------------------)
                              +--------------+
                              |   2
                          2 a\|a t  + b t + c
       + 
                             +--------------+
                       +---+ |   2
         (4 a t + 2 b)\|- a \|a t  + b t + c
    /
           +---+
       8 a\|- a
     ]

Type: Union(List(Expression(Integer)),...)

Output from Reduce makes sense:

int(sqrt(a*t^2+b*t+c),t);

reduce

$\displaylines{\qdd \(2\cdot \sqrt{a\cdot t^{2} +b\cdot t +c}\cdot b\cdot t +4\cdot \sqrt{a\cdot t^{2} +b\cdot t +c}\cdot c -4\cdot \int {\frac{\sqrt{a\cdot t^{2} +b\cdot t +c} \cdot t}{ a\cdot t^{2} +b\cdot t +c}\,dt}\cdot a\cdot c\nl +\int {\frac{\sqrt{a\cdot t^{2} +b\cdot t +c} \cdot t}{ a\cdot t^{2} +b\cdot t +c}\,dt}\cdot b^{2}$

But doing this with Maxima:

  \begin{maxima}
  integrate(sqrt(a*t^2+b*t+c),t);
  \end{maxima}

causes a problem since Maxima tries to ask the "user" whether a is positive or negative, etc. In the present version of MathAction this causes the maxima process to hang.