

last edited 12 years ago by Bill Page 
1  
Editor: Bill Page
Time: 2009/10/16 19:38:19 GMT7 

Note: split 
changed:  Symbolic evaluation of sums and products \begin{axiom} sum(i, i=1..n) product(x+k, k=0..n1) \end{axiom} Result should be pi \begin{axiom} integrate((4*sqrt(1/2)8*x^34*sqrt(1/2)*x^48*x^5)/(1x^8), x=0..sqrt(1/2)) \end{axiom} 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": \begin{axiom} integrate((4*sqrt(1/2)8*x^34*sqrt(1/2)*x^48*x^5)/(1x^8), x=0..sqrt(1/2), "noPole") \end{axiom} It's numeric value is roughly \begin{axiom} numeric % \end{axiom} To check, do a numeric integration: \begin{axiom} romberg(x+>(4*sqrt(1/2)8*x^34*sqrt(1/2)*x^48*x^5)/(1x^8),0.0,sqrt(1/2)::Float,0.1,0.1,6,10) \end{axiom}
Symbolic evaluation of sums and products
sum(i,i=1..n)
(1) 
product(x+k,k=0..n1)
(2) 
Result should be pi
integrate((4*sqrt(1/2)8*x^34*sqrt(1/2)*x^48*x^5)/(1x^8),x=0..sqrt(1/2))
(3) 
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^34*sqrt(1/2)*x^48*x^5)/(1x^8),x=0..sqrt(1/2), "noPole")
(4) 
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 packagecalling 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:
romberg(x+>(4*sqrt(1/2)8*x^34*sqrt(1/2)*x^48*x^5)/(1x^8),0.0, sqrt(1/2)::Float, 0.1, 0.1, 6, 10)
(5) 