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}
axiom
integrate(1/(a+z^3), z=0..1,"noPole")
Type: Union(f1: OrderedCompletion
? Expression Integer,...)
Remember to type \begin{axiom} before each group of commands
and \end{axiom} after the commands.
axiom
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.
axiom
integrate(1/sqrt(1+x^2), x)
Type: Union(Expression Integer,...)
axiom
)set output algebra on
axiom
)set output tex off
F1:=integrate(cos(t)*sqrt(cos(2*t)),t)
(3)
+---------------------+
| 2
4 3 2 | 8cos(t) - 4
(16cos(t) + 16cos(t) - 4cos(t) - 4cos(t)) |---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
+-+ 4 +-+ 2 +-+
- 32\|2 cos(t) + 16\|2 cos(t) - \|2
*
atan
+-+ 3 +-+ 2 +-+ +-+
(32\|2 cos(t) + 32\|2 cos(t) - 12\|2 cos(t) - 12\|2 )sin(t)
*
+---------------------+
| 2
| 8cos(t) - 4
|---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
3
(- 128cos(t) + 80cos(t))sin(t)
/
ROOT
+---------------------+
| 2
+-+ 2 +-+ | 8cos(t) - 4
(- 128\|2 cos(t) - 128\|2 cos(t)) |---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
2
512cos(t) - 128
+
+-+ 4 +-+ 3 +-+ 2
- 32\|2 cos(t) - 32\|2 cos(t) + 28\|2 cos(t)
+
+-+
28\|2 cos(t)
*
+---------------------+
| 2
| 8cos(t) - 4
|---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
4 2
128cos(t) - 144cos(t) + 32
+
+---------------------+
| 2
4 3 2 | 8cos(t) - 4
(16cos(t) + 16cos(t) - 4cos(t) - 4cos(t)) |---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
+-+ 4 +-+ 2 +-+
- 32\|2 cos(t) + 16\|2 cos(t) - \|2
*
atan
+---------------------+
| 2
| 8cos(t) - 4 +-+
(2cos(t) + 2)sin(t) |--------------------- - 4\|2 cos(t)sin(t)
| 2
\|cos(t) + 2cos(t) + 1
/
ROOT
+---------------------+
| 2
+-+ 2 +-+ | 8cos(t) - 4
(- 16\|2 cos(t) - 16\|2 cos(t)) |---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
2
64cos(t) - 16
+
+---------------------+
| 2
2 | 8cos(t) - 4 +-+ 2
(2cos(t) + 2cos(t)) |--------------------- - 4\|2 cos(t)
| 2
\|cos(t) + 2cos(t) + 1
+
5 4 3 2
(- 32cos(t) - 32cos(t) + 16cos(t) + 16cos(t) - cos(t) - 1)sin(t)
*
+---------------------+
| 2
| 8cos(t) - 4
|---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
+-+ 5 +-+ 3 +-+
(64\|2 cos(t) - 48\|2 cos(t) + 8\|2 cos(t))sin(t)
/
+-+ 4 +-+ 3 +-+ 2 +-+
(32\|2 cos(t) + 32\|2 cos(t) - 8\|2 cos(t) - 8\|2 cos(t))
*
+---------------------+
| 2
| 8cos(t) - 4
|---------------------
| 2
\|cos(t) + 2cos(t) + 1
+
4 2
- 128cos(t) + 64cos(t) - 4
Type: Union(Expression Integer,...)
axiom
draw(F1,t=-%pi/4..%pi/4)
axiom
Compiling function %BE 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
?axiom
integrate(cos(t)*sqrt(cos(2*t)),t=-%pi/4..%pi/4)
(5) potentialPole
Type: Union(pole: potentialPole,...)
axiom
integrate(abs(x),x=0..1)
(6) potentialPole
Type: Union(pole: potentialPole,...)
axiom
integrate(abs(x),x=0..1,"noPole")
(7) "failed"
Type: Union(fail: failed,...)
axiom
)version
Value = "Friday November 9, 2007 at 19:35:06 "
axiom
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 5 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.
axiom
solve(x*b -3*a*b + a*x - 9*b*b-4*b*x = a*a - 9*a*b
,x)
(8) [x= - 3b + a]
Type: List Equation Fraction Polynomial Integer
axiom
solve(-1*(a+3*b)**2 - 3*b*x -a*x = 0,x)
(9) [x= - 3b - a]
Type: List Equation Fraction Polynomial Integer
axiom
solve(-1*(a+3*b)**2 - 3*b*x +a*x = 0,x)
2 2
- 9b - 6a b - a
(10) [x= -----------------]
3b - a
Type: List Equation Fraction Polynomial Integer
axiom
solve(-1*(a-3*b)**2 - 3*b*x +a*x = 0,x)
(11) [x= - 3b + a]
Type: List Equation Fraction Polynomial Integer
axiom
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
axiom
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
axiom
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.
axiom
solve((a-3*b)*(x-a+3*b) = 0,x)
(12) [x= - 3b + a]
Type: List Equation Fraction Polynomial Integer
axiom
integrate(1/(a+z^3), z=0..1,"noPole")
(13)
+--+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
axiom
a : (INT,INT) := (2,3)
The constructor Tuple takes 1 argument and you have given 2 .
axiom
(1,2)
(14) [1,2]
axiom
('Mon,'Tue)
(15) [Mon,Tue]
Type: Tuple OrderedVariableList
? [Mon,Tue]
?axiom
a := 'x :: OutputForm
(16) x
axiom
b := 'y :: OutputForm
(17) y
axiom
a and b
Argument number 1 to "and" must be a Boolean.
axiom
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.
axiom
y := operator y;
axiom
deq := D(y(x), x, 2) + D(y(x), x) + y(x) + cos(y(x)) = 0;
Type: Equation Expression Integer
axiom
solve(deq, y, x)
>> Error detected within library code:
parseLODE: not a linear ordinary differential equation
axiom
y := operator y;
There are 2 exposed and 9 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.
deq := D(y(x), x, 2) + D(y(x), x) + y(x) + 1 = 0;
Type: Equation Expression Integer
axiom
solve(deq, y, x);
Type: Union(Record(particular: Expression Integer,basis: List Expression Integer),...)
SandBoxMaybe
