Integration Test --augusto, Fri, 11 May 2007 08:18:56 -0500 reply integrate(log(x),x)
axiom integrate(log(x),
Type: Union(Expression(Integer),
axiom integrate(ln(x), axiom log(2.71)
Type: Float
axiom integrate(exp(x^2),
Type: Union(Expression(Integer),
integrate(x^2)
axiom y:=integrate(x^2)
Type: UnivariatePolynomial(x,
axiom 2*sqrt(y::Expression Integer)
Type: Expression(Integer)
Note: Commands contained in comments are executed without re-computing the rest of the page. If you want your comment to refer to some result previously calculated on the page, eq. (5) above, click refresh (2n from right on menu line).
axiom lim((x^(1-y)/(1-y), |