login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Symbolic evaluation of sums and products

sum(i, i=1..n)

\label{eq1}{{{n}^{2}}+ n}\over 2(1)
Type: Fraction(Polynomial(Integer))
product(x+k, k=0..n-1)

{k = 0}}^{
{n - 1}}{\left(x + k \right)}(2)
Type: Expression(Integer)

Result should be pi

integrate((4*sqrt(1/2)-8*x^3-4*sqrt(1/2)*x^4-8*x^5)/(1-x^8), x=0..sqrt(1/2))

Type: Union(pole: potentialPole,...)

Use "noPole"

Axioms answer is "potentialPole", which indicates that there might be a pole within the interval of integration. If you are sure, that there is no pole within this interval, use "noPole":

integrate((4*sqrt(1/2)-8*x^3-4*sqrt(1/2)*x^4-8*x^5)/(1-x^8), x=0..sqrt(1/2), "noPole")

\label{eq4}-{{1 \over 2}\ {\log \left({5 \over 2}\right)}}+{{1 \over 2}\ {\log \left({1 \over 2}\right)}}-{\arctan \left({2}\right)}+ \pi(4)
Type: Union(f1: OrderedCompletion?(Expression(AlgebraicNumber?)),...)

It's numeric value is roughly

numeric %
There are 4 exposed and 0 unexposed library operations named numeric having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op numeric to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named numeric with argument type(s) Union(f1: OrderedCompletion(Expression(AlgebraicNumber)),f2: List(OrderedCompletion(Expression(AlgebraicNumber))),fail: failed,pole: potentialPole)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

To check, do a numeric integration:


\left[{value ={1.2297249795_786311161}}, \: \right.
\left.{error ={0.251271954 E - 10}}, \:{totalpts ={129}}, \:{success =  \mbox{\rm true} }\right] 
Type: Record(value: Float,error: Float,totalpts: Integer,success: Boolean)

  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: