help links subscribe changes refresh edit

	FrontPage
ExampleGroebner ←	↑	→ ExpressionInteger

ExampleIntegration

Edit detail for ExampleIntegration revision 3 of 6

	1 2 3 4 5 6
Editor: Bill Page Time: 2015/03/10 19:55:49 GMT+0
Note: a little more

added:
)set output tex off
)set output algebra on

added:
)set output tex on
)set output algebra off

fricas

f := x/(x^3-x+1)

$\label{eq1}x \over{{{x}^{3}}- x + 1}$

(1)

Type: Fraction(Polynomial(Integer))

fricas

)set output tex off

fricas

)set output algebra on

i := integrate(f, x)

   (2)
           +-----------+
           |      2
         4\|69%%F0  + 4
      *
         atan
                                   +-----------+
                 +--+        +--+  |      2
              (9\|23 %%F0 + \|23 )\|69%%F0  + 4
           /
                   +---------------------------------------------------+
                   |                 2                       2
                10\|(- 207x + 46)%%F0  + (23x - 69)%%F0 + 25x  - 6x - 7
              + 
                         2
                - 207%%F0  + 23%%F0 + 50x - 6
     + 
         +--+                2
       2\|23 %%F0 log(207%%F0  - 23%%F0 + 25x + 6)
     + 
          +--+                          2                       2
       - \|23 %%F0 log((- 207x + 46)%%F0  + (23x - 69)%%F0 + 25x  - 6x - 7)
  /
       +--+
     2\|23

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

fricas

)set output tex on

fricas

)set output algebra off

D(i, x)

$\label{eq2}x \over{{{x}^{3}}- x + 1}$

(2)

Type: Expression(Integer)

fricas

23*%%F0^3 + %%F0 + 1

$\label{eq3}0$

(3)

Type: Expression(Integer)

fricas

i0 := integrate(f, x=1..2)

$\label{eq4}{\left( \begin{array}{@{}l} \displaystyle { \begin{array}{@{}l} \displaystyle 8 \ {\sqrt{{{69}\ {{\%\%F 0}^{2}}}+ 4}}\ \cdot \ \ \displaystyle {\arctan{\left({{{\left({9 \ {\sqrt{23}}\ \%\%F 0}+{\sqrt{23}}\right)}\ {\sqrt{{{6 9}\ {{\%\%F 0}^{2}}}+ 4}}}\over{{{10}\ {\sqrt{-{{368}\ {{\%\%F 0}^{2}}}-{{23}\ \%\%F 0}+{81}}}}-{{207}\ {{\%\%F 0}^{2}}}+{{2 3}\ \%\%F 0}+{94}}}\right)}}$

(4)

Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

fricas

s:=radicalSolve(23*f0^3+f0+1,f0)

$\label{eq5}\begin{array}{@{}l} \displaystyle \left[{f 0 ={{{{\left(-{{69}\ {\sqrt{- 3}}}+{69}\right)}\ {{\root{3}\of{{-{3 \ {\sqrt{69}}}+{25}}\over{{138}\ {\sqrt{69}}}}}^{2}}}+ 2}\over{{\left({{6 9}\ {\sqrt{- 3}}}+{69}\right)}\ {\root{3}\of{{-{3 \ {\sqrt{69}}}+{25}}\over{{138}\ {\sqrt{69}}}}}}}}, \: \right. \ \ \displaystyle \left.{f 0 ={{{{\left(-{{69}\ {\sqrt{- 3}}}-{69}\right)}\ {{\root{3}\of{{-{3 \ {\sqrt{69}}}+{25}}\over{{138}\ {\sqrt{69}}}}}^{2}}}- 2}\over{{\left({{6 9}\ {\sqrt{- 3}}}-{69}\right)}\ {\root{3}\of{{-{3 \ {\sqrt{69}}}+{25}}\over{{138}\ {\sqrt{69}}}}}}}}, \: \right. \ \ \displaystyle \left.{f 0 ={{{{69}\ {{\root{3}\of{{-{3 \ {\sqrt{69}}}+{25}}\over{{1 38}\ {\sqrt{69}}}}}^{2}}}- 1}\over{{69}\ {\root{3}\of{{-{3 \ {\sqrt{6 9}}}+{25}}\over{{138}\ {\sqrt{69}}}}}}}}\right]$