arctan = atan
axiom
integrate(1/atan(x),x)
Type: Union(Expression Integer,...)
axiom
integrate(1/(a+z^3), z=0..1,"noPole");
Type: Union(f1: OrderedCompletion
? Expression Integer,...)
axiom
solve(cos(x)-y=-sin(x),x)
Type: List Equation Expression Integer
axiom
solve(cos(x)-y=-sin(x),y)
Type: List Equation Expression Integer
axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]
Type: Matrix Expression Integer
axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]
Type: Matrix Expression Integer
axiom
solve(A=0,y)
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 SquareMatrix(2,Expression Integer)
Variable y
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: Equation List Equation Expression Integer
axiom
B(1)
Type: Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: Equation List Equation Expression Integer
axiom
B
Type: List Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
B
Type: List Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
B.1
Type: Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
v:=[[v11],[v12]]
Type: List List Symbol
axiom
A*v=B*v
There are 34 exposed and 23 unexposed library operations named *
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op *
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 *
with argument type(s)
List Equation Expression Integer
List List Symbol
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
v:=vector[[v11],[v12]]
Type: Vector List Symbol
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
v:=vector[v11,v12]
Type: Vector OrderedVariableList
? [v11,v12]
?
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
v:=matrix[[B.1],[B.2]]
Type: Matrix Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
a
Type: Equation Expression Integer
axiom
b
Type: Equation Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
a
Type: Equation Expression Integer
axiom
b.2
There are no library operations named b
Use HyperDoc Browse or issue
)what op b
to learn if there is any operation containing " b " in its name.
Cannot find a definition or applicable library operation named b
with argument type(s)
PositiveInteger
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
LA:=[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
You have used the abbreviation LA of the constructor LocalAlgebra on
the left-hand side of an assignment expression. This is not
allowed.
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
Type: Matrix Expression Integer
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
Type: List Equation Expression Integer
axiom
LA:=matrix[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
You have used the abbreviation LA of the constructor LocalAlgebra on
the left-hand side of an assignment expression. This is not
allowed.
axiom
sqrt(-1)
axiom
LA:=matrix[sqrt(-1)*sin(x)]
You have used the abbreviation LA of the constructor LocalAlgebra on
the left-hand side of an assignment expression. This is not
allowed.
axiom
A:=matrix[cos(x)-L]
Type: Symbol
axiom
A:=matrix[a,b]
Type: Symbol
axiom
A:=matrix[[a,b]]
Type: Matrix Equation Expression Integer
axiom
A:=matrix[[a],[b]]
Type: Matrix Equation Expression Integer
axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[b]]
Type: Symbol
axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)*cos(x)]]
Type: Matrix Expression Integer
axiom
LA:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
You have used the abbreviation LA of the constructor LocalAlgebra on
the left-hand side of an assignment expression. This is not
allowed.
axiom
LAM:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
L:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
A*D
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
>> Error detected within library code:
can't multiply matrices of incompatible dimensions
axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]
Type: Matrix Expression Integer
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
Type: Matrix Expression Integer
axiom
D(1,1)*v
Type: Matrix Expression Integer
axiom
A*v-D(1,1)*v
Type: Matrix Expression Integer
axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]
Type: Matrix Expression Integer
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
Type: Matrix Expression Integer
axiom
D(1,1)*v
Type: Matrix Expression Integer
axiom
solve(A*v-D(1,1)*v=0,v(1,1))
There are 3 exposed and 0 unexposed library operations named
equation having 2 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op equation
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
equation with argument type(s)
Matrix Expression Integer
NonNegativeInteger
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]
Type: Matrix Expression Integer
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
Type: Matrix Expression Integer
axiom
D(1,1)*v
Type: Matrix Expression Integer
axiom
solve(A*v-D(1,1)*v=0,v11)
There are 3 exposed and 0 unexposed library operations named
equation having 2 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op equation
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
equation with argument type(s)
Matrix Expression Integer
NonNegativeInteger
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named -
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op -
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 -
with argument type(s)
Expression Integer
Matrix Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
Type: Matrix Expression Integer
axiom
v:=matrix[[v11],[v12]]
Type: Matrix Polynomial Integer
axiom
A*v
Type: Matrix Expression Integer
axiom
D(1,1)*v
Type: Matrix Expression Integer
axiom
A*v-D(1,1)*v
Type: Matrix Expression Integer
axiom
x*x
Type: Polynomial Integer
A*v
axiom
A*v
Type: Matrix Expression Integer
axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]
Type: Matrix Expression Integer
solve(cos(x)=0,x)
axiom
solve(cos(x)-y=-sin(x),x)
Type: List Equation Expression Integer
axiom
solve(cos(x)=0,x)
Type: List Equation Expression Integer
solve(sin(e) - e = 0, e)
axiom
solve(sin(e) - e = 0, e)
Type: List Equation Expression Integer
solve(a
cos(t1) + bsin(t1) = c, t1)
axiom
solve(a*cos(t1) + b*sin(t1) = c, t1)
There are 3 exposed and 0 unexposed library operations named
equation having 2 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op equation
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
equation with argument type(s)
Equation Expression Integer
Variable c
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
solve(D(y x, x)^2+y x=1,y,x)
\begin(axiom)
solve(D(y x, x)^2+y x=1,y,x)
\end(axiom)
x*x
axiom
solve(D(y x, x)^2+y x=1,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
deq := (x**2 + 1) * D(y x, x, 2) + 3 * x * D(y x, x) + y x = 0
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.
solve(deq, y, x)
There are 6 exposed and 1 unexposed library operations named solve
having 3 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)
Variable deq
Variable y
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
f(x)=x*2
There are no library operations named f
Use HyperDoc Browse or issue
)what op f
to learn if there is any operation containing " f " in its name.
Cannot find a definition or applicable library operation named f
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.
D(y,x)
There are 5 exposed and 0 unexposed library operations named D
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op D
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 D
with argument type(s)
Variable y
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(x**2 + 1) * D(y, x, 2) + 3 * x * D(y, x) + y = 0
There are 3 exposed and 0 unexposed library operations named D
having 3 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op D
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 D
with argument type(s)
Variable y
Variable x
PositiveInteger
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
solve(D(y(x),x)-y(x)^2=1,y,x)
There are 5 exposed and 0 unexposed library operations named D
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op D
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 D
with argument type(s)
Expression Integer
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
Just trying to understand the syntax
axiom
solve(a*x^2+b*x+c,x)
Type: List Equation Expression Integer
axiom
solve(a*x^2+b*x+c=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 Expression Integer
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
zerosOf(a*x^2+b*x+c,x)
There are 2 exposed and 0 unexposed library operations named zerosOf
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op zerosOf
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
zerosOf with argument type(s)
Equation Expression Integer
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
zerosOf(sqrt(h^2+a^2)-a=d,a)
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)
Equation 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/(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)
Equation Expression Integer
SegmentBinding NonNegativeInteger
String
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
integrate(a/(b+z^2),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)
Equation Expression Integer
SegmentBinding NonNegativeInteger
String
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
axiom
solve(x^2+x+1=98,x)
Type: List Equation Fraction Polynomial Integer
axiom
solve(x^2+2*x+1=0,x)
Type: List Equation Fraction Polynomial Integer
axiom
solve((x^2+x+1=98)::Equation Expression Integer,x)
Type: List Equation Expression Integer
axiom
solve((x^3 * b + x^2*(b*d - b + 1) + x*(3*d - b*d - 1) + 2*d^2 -
2*d = 0)::Equation Expression Integer, x)
Cannot convert from type Equation Equation Expression Integer to
Equation Expression Integer for value
3 2 2
L x + (L d - L + 1)x + ((- L + 3)d - 1)x + 2d - 2d =
3 2 +---+ 3 2
(- x + (- d + 1)x + d x)\|- 1 sin(x) + (x + (d - 1)x - d x)cos(x)
+
2 2
x + (3d - 1)x + 2d - 2d
=
0= 0
- solve(cos(x)-y=-sin(x),x)
axiom
)clear all
All user variables and function definitions have been cleared.
solve(cos(x)-y=-sin(x),x)
Type: List Equation Expression Integer