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

Try Axiom calculations here. For example, here is a simple Axiom command:

\begin{axiom}
integrate(1/(a+z^3), z=0..1,"noPole")
\end{axiom}

fricas
integrate(1/(a+z^3), z=0..1,"noPole")
 (1)
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

Remember to type \begin{axiom} before each group of commands and \end{axiom} after the commands.

...
Wed, 28 Nov 2007 11:15:39 -0800 reply
fricas
integrate(1/sqrt(1 + x^2))
There are 4 exposed and 2 unexposed library operations named integrate having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op integrate 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 integrate with argument type(s) Expression(Integer)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. ... Wed, 28 Nov 2007 11:16:29 -0800 reply fricas integrate(1/sqrt(1+x^2), x)  (2) Type: Union(Expression(Integer),...) fricas )set output algebra on fricas )set output tex off F1:=integrate(cos(t)*sqrt(cos(2*t)),t) (3) +------------+ 2 | 2 +------------+ +-+ (32cos(t) - 24)sin(t)\|2cos(t) - 1 | 2 \|2 atan(--------------------------------------) + 8sin(t)\|2cos(t) - 1 +-+ 4 +-+ 2 +-+ 32\|2 cos(t) - 48\|2 cos(t) + 17\|2 ------------------------------------------------------------------------- 16 Type: Union(Expression(Integer),...) fricas draw(F1,t=-%pi/4..%pi/4) fricas Compiling function %BD with type DoubleFloat -> DoubleFloat Graph data being transmitted to the viewport manager... FriCAS2D data being transmitted to the viewport manager... (4) TwoDimensionalViewport: "FriCAS2D" Type: TwoDimensionalViewport? fricas integrate(cos(t)*sqrt(cos(2*t)),t=-%pi/4..%pi/4) (5) "potentialPole" Type: Union(pole: potentialPole,...) fricas integrate(abs(x),x=0..1) (6) "potentialPole" Type: Union(pole: potentialPole,...) fricas integrate(abs(x),x=0..1,"noPole") (7) "failed" Type: Union(fail: failed,...) fricas integrate(abs(x),x=-1..1) (8) "potentialPole" Type: Union(pole: potentialPole,...) fricas integrate(abs(x),x=-1..1,"noPole") (9) "failed" Type: Union(fail: failed,...) fricas integrate(sqrt(x^2),x=0..1) (10) "potentialPole" Type: Union(pole: potentialPole,...) fricas integrate(sqrt(x^2),x=0..1,"noPole") 1 (11) - 2 Type: Union(f1: OrderedCompletion?(Expression(Integer)),...) fricas integrate(sqrt(x^2),x=-1..1) (12) "potentialPole" Type: Union(pole: potentialPole,...) fricas integrate(sqrt(x^2),x=-1..1,"noPole") (13) 0 Type: Union(f1: OrderedCompletion?(Expression(Integer)),...) fricas )version Value = "FriCAS 1.2.7 compiled at Tue Sep 29 13:45:04 UTC 2015" fricas solve(x*b -3*a*b + a*x - 9*b*b-4*b*x = +a*a - 9*a*b ,x) There are no library operations named + having 1 argument(s) though there are 11 exposed operation(s) and 8 unexposed operation(s) having a different number of arguments. Use HyperDoc Browse, or issue )what op + to learn what operations contain " + " in their names, or issue )display op + to learn more about the available operations. Cannot find a definition or applicable library operation named + with argument type(s) Polynomial(Integer) Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

fricas
solve(x*b -3*a*b + a*x - 9*b*b-4*b*x = a*a - 9*a*b ,x)
(14) [x= - 3b + a]
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
solve(-1*(a+3*b)**2 - 3*b*x -a*x = 0,x)
There are no library operations named ** Use HyperDoc Browse or issue )what op ** to learn if there is any operation containing " ** " in its name.
Cannot find a definition or applicable library operation named ** with argument type(s) Polynomial(Integer) PositiveInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. fricas solve(-1*(a+3*b)**2 - 3*b*x +a*x = 0,x) There are no library operations named ** Use HyperDoc Browse or issue )what op ** to learn if there is any operation containing " ** " in its name. Cannot find a definition or applicable library operation named ** with argument type(s) Polynomial(Integer) PositiveInteger Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

fricas
solve(-1*(a-3*b)**2 - 3*b*x +a*x = 0,x)
There are no library operations named ** Use HyperDoc Browse or issue )what op ** to learn if there is any operation containing " ** " in its name.
Cannot find a definition or applicable library operation named ** with argument type(s) Polynomial(Integer) PositiveInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. fricas solve((a-3*b)(x-a+3*b) = 0= 0,x) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt 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 application of object of type Polynomial(Integer) to argument(s) of type(s) Polynomial(Integer) fricas solve((a-3*b)(x-a+3*b) = 0,x) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt 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 application of object of type Polynomial(Integer) to argument(s) of type(s) Polynomial(Integer) fricas solve((a-3*b)*(x-a+3*b) = 0= 0,x) There are 18 exposed and 3 unexposed library operations named solve having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op solve 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 solve with argument type(s) Equation(Equation(Polynomial(Integer))) Variable(x) Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

fricas
solve((a-3*b)*(x-a+3*b) = 0,x)
(15) [x= - 3b + a]
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
integrate(1/(a+z^3), z=0..1, "noPole")
(16) +--+2 +--+ +-+ 2 3| 2 3 2 3| 2 4 3 - \|3 log(3a \|a + (- 2a + a )\|a + a - 2a ) + +--+ +--+2 +--+ +-+3| 2 +-+ +-+ 3| 2 3| 2 2 2\|3 \|a - a\|3 2\|3 log(\|a + 2a\|a + a ) + 12atan(------------------) + 2%pi 3a / +--+ +-+3| 2 12\|3 \|a
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

x*y

fricas
a : (INT,INT) := (2,3)
The constructor Tuple takes 1 argument and you have given 2 .

Coherent type inference --gdr, Fri, 02 May 2008 17:11:17 -0700 reply
fricas
(1,2)
(17) [1,2]
Type: Tuple(PositiveInteger)

fricas
('Mon,'Tue)
(18) [Mon,Tue]
Type: Tuple(OrderedVariableList([Mon,Tue]))

fricas
a := 'x :: OutputForm
(19) x
fricas
b := 'y :: OutputForm
(20) y
fricas
a and b
Argument number 1 to "and" must be a Boolean.

fricas
y := operator y
deq := D(y(x), x, 2) + D(y(x), x) + y(x) + cos(y(x)) = 0
solve(deq, y, x)
There are no library operations named y Use HyperDoc Browse or issue )what op y to learn if there is any operation containing " y " in its name.
Cannot find a definition or applicable library operation named y with argument type(s) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. fricas y := operator y; fricas deq := D(y(x), x, 2) + D(y(x), x) + y(x) + cos(y(x)) = 0; Type: Equation(Expression(Integer)) fricas solve(deq, y, x) >> Error detected within library code: parseLODE: not a linear ordinary differential equation fricas y := operator y; There are 2 exposed and 10 unexposed library operations named operator having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op operator 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 operator with argument type(s) BasicOperator Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

SandBoxMaybe

fricas
factor(1-x^900)
(23) - 2 2 2 4 3 2 (x - 1)(x + 1)(x - x + 1)(x + 1)(x + x + 1)(x - x + x - x + 1) * 4 2 4 3 2 6 3 6 3 (x - x + 1)(x + x + x + x + 1)(x - x + 1)(x + x + 1) * 8 7 5 4 3 8 6 4 2 (x - x + x - x + x - x + 1)(x - x + x - x + 1) * 8 7 5 4 3 12 6 (x + x - x - x - x + x + 1)(x - x + 1) * 16 14 10 8 6 2 20 15 10 5 (x + x - x - x - x + x + 1)(x - x + x - x + 1) * 20 15 10 5 24 21 15 12 9 3 (x + x + x + x + 1)(x - x + x - x + x - x + 1) * 24 21 15 12 9 3 (x + x - x - x - x + x + 1) * 40 35 25 20 15 5 40 30 20 10 (x - x + x - x + x - x + 1)(x - x + x - x + 1) * 40 35 25 20 15 5 (x + x - x - x - x + x + 1) * 48 42 30 24 18 6 (x + x - x - x - x + x + 1) * 80 70 50 40 30 10 (x + x - x - x - x + x + 1) * 120 105 75 60 45 15 (x - x + x - x + x - x + 1) * 120 105 75 60 45 15 (x + x - x - x - x + x + 1) * 240 210 150 120 90 30 (x + x - x - x - x + x + 1)
Type: Factored(Polynomial(Integer))

fricas
simplify ( (a+b+2*sqrt(a)*sqrt(b))/(sqrt(a)+sqrt(b)) )
There are 4 exposed and 1 unexposed library operations named sqrt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op sqrt 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 sqrt with argument type(s) OutputForm
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. Should it be equal to 1''? --FlowProblem?, Tue, 04 Nov 2008 22:12:49 -0800 reply fricas simplify ( sin(a)^2+sin(%pi/2-a)^2 ) There are 1 exposed and 7 unexposed library operations named sin having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op sin 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 sin with argument type(s) OutputForm Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

I was mistaken with factor example: I didn't see the -'' sign :)

fricas
d:=sin(series(asin(x)))-x
21 (24) O(x )
Type: UnivariatePuiseuxSeries?(Expression(Integer),x,0)
fricas
1.2*d
21 (25) O(x )
Type: UnivariatePuiseuxSeries?(Expression(Float),x,0.0)

This seems to be a bug.

quicksort average --grinder, Wed, 26 Nov 2008 13:29:45 -0800 reply
fricas
solve( n*log(n)/log(m) = 1/4*n*log(n/4)/log(m) + 3/4*n*log(3/4*n)/log(m) + 15/4*n + 8, m)
3n n 4n log(n) - 3n log(--) - n log(-) 4 4 --------------------------------- 15n + 32 (26) [m= %e ]
Type: List(Equation(Expression(Integer)))

quicksort average --grinder, Wed, 26 Nov 2008 13:49:12 -0800 reply
fricas
solve( log(n)/log(m) = 1/4*log(n/4)/log(m) + 3/4*log(3/4*n)/log(m) + 15/4*n + 8, m)
3n n 4log(n) - 3log(--) - log(-) 4 4 --------------------------- 15n + 32 (27) [m= %e ]
Type: List(Equation(Expression(Integer)))

fricas
solve( log(n)/log(m) = log(n/4)/log(m) + log(3/4*n)/log(m) + 15/4*n + 8, m)
3n n 4log(n) - 4log(--) - 4log(-) 4 4 ---------------------------- 15n + 32 (28) [m= %e ]
Type: List(Equation(Expression(Integer)))

simple integration --kylekanos, Tue, 09 Dec 2008 09:55:35 -0800 reply
fricas
integrate((P*cos(x))/(2*e)*cos(x)*sin(x), x=0..%pi,"noPole")
P (29) -- 3e
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

Bessel Integral

fricas
integrate(exp(z*cos(t)),t=0..2*%pi)
(30) "failed"
Type: Union(fail: failed,...)

fricas
integrate(x^2,x)
1 3 (31) - x 3
Type: Polynomial(Fraction(Integer))

integrate(x/sqrt(x^4+10x^2-96x-71,x)

fricas
integrate(x/sqrt(x^4+10*x^2-96*x-71,x)
Line 1: integrate(x/sqrt(x^4+10*x^2-96*x-71,x) .........A...........................B Error A: Missing mate. Error B: syntax error at top level Error B: Possibly missing a ) 3 error(s) parsing

fricas
integrate(x/sqrt(x^4+10*x^2-96*x-71),x)
(32) log +--------------------+ 6 4 3 2 | 4 2 8 (x + 15x - 80x + 27x - 528x + 781)\|x + 10x - 96x - 71 + x + 6 5 4 3 2 20x - 128x + 54x - 1408x + 3124x + 10001 / 8
Type: Union(Expression(Integer),...)

fricas
integrate(1/x, x=1..2)
(33) log(2)
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

fricas
integrate(1/x, x=1..2)
(34) log(2)
Type: Union(f1: OrderedCompletion?(Expression(Integer)),...)

fricas
integrate(a/x^3, x)
There are 12 exposed and 10 unexposed library operations named integrate having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op integrate 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 integrate with argument type(s) OutputForm Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. 9*9 fricas integrate(1/(a+z^3), z=0..1,"noPole") There are 4 exposed and 1 unexposed library operations named integrate having 3 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op integrate 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 integrate with argument type(s) OutputForm SegmentBinding(NonNegativeInteger) String Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

fricas
integrate(x/(sqrt((x^4)+(10*(x^2))+(96*x)-71)), x)
(35) log +--------------------+ 6 4 3 2 | 4 2 8 (x + 15x + 80x + 27x + 528x + 781)\|x + 10x + 96x - 71 + x + 6 5 4 3 2 20x + 128x + 54x + 1408x + 3124x + 10001 / 8
Type: Union(Expression(Integer),...)

fricas
integrate(x/(sqrt((x^4)+(10*(x^2))+(96*x)-71)), x )
(36) log +--------------------+ 6 4 3 2 | 4 2 8 (x + 15x + 80x + 27x + 528x + 781)\|x + 10x + 96x - 71 + x + 6 5 4 3 2 20x + 128x + 54x + 1408x + 3124x + 10001 / 8
Type: Union(Expression(Integer),...)

solve(a^2+b^2=c^2,c)

fricas
solve(a^2+b^2=c^2,c)
There are 18 exposed and 3 unexposed library operations named solve having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op solve 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 solve with argument type(s) Equation(OutputForm) Variable(c)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. fricas integrate(1/sqrt(tan(x)),x) (37) - +-+ 4\|2 * atan 1 ----------------------------------------------------------------- +------------------------------------------+ | +------+ | +-+ |sin(x) |- 2\|2 cos(x) |------ + 2sin(x) + 2cos(x) +------+ | \|cos(x) +-+ |sin(x) |------------------------------------------ + \|2 |------ - 1 \| cos(x) \|cos(x) + - +-+ 4\|2 * 1 atan(---------------------------------------------------------------) +----------------------------------------+ | +------+ | +-+ |sin(x) |2\|2 cos(x) |------ + 2sin(x) + 2cos(x) +------+ | \|cos(x) +-+ |sin(x) |---------------------------------------- + \|2 |------ + 1 \| cos(x) \|cos(x) + +------+ +-+ |sin(x) 2\|2 cos(x) |------ + 2sin(x) + 2cos(x) +-+ \|cos(x) \|2 log(----------------------------------------) cos(x) + +------+ +-+ |sin(x) - 2\|2 cos(x) |------ + 2sin(x) + 2cos(x) +-+ \|cos(x) - \|2 log(------------------------------------------) cos(x) / 4 Type: Union(Expression(Integer),...) A hard to compute integral --PAP, Tue, 28 Sep 2010 17:55:14 -0700 reply fricas a:=simplify(integrate(1/sqrt(tan(x)))) b:=simplify(differentiate(a),x) There are 4 exposed and 2 unexposed library operations named integrate having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op integrate 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 integrate with argument type(s) Expression(Integer) Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

A hard to compute integral --PAP, Tue, 28 Sep 2010 17:57:47 -0700 reply
fricas
a:=simplify(integrate(1/sqrt(tan(x))),x);
There are 4 exposed and 2 unexposed library operations named integrate having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op integrate 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 integrate with argument type(s) Expression(Integer)
Perhaps you should use "@" to indicate the required return type, or "\$" to specify which version of the function you need.

fricas
a:=simplify(integrate(1/sqrt(tan(x)),x)
Line 1: a:=simplify(integrate(1/sqrt(tan(x)),x) ...........A..........................B Error A: Missing mate. Error B: syntax error at top level Error B: Possibly missing a ) 3 error(s) parsing

fricas
b:=simplify(differentiate(a),x))
Line 1: b:=simplify(differentiate(a),x)) ...............................A Error A: Improper syntax. 1 error(s) parsing

 Subject:   Be Bold !! ( 12 subscribers )