Edit detail for SandBox2 revision 2 of 12

axiom
integrate(1/atan(x),x)

axiom
integrate(1/(a+z^3), z=0..1,"noPole");

axiom
solve(cos(x)-y=-sin(x),x)

axiom
solve(cos(x)-y=-sin(x),y)

axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]

axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]

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]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
B(1)

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
B

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
B

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
B.1

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
v:=[[v11],[v12]]

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]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
v:=vector[[v11],[v12]]

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
v:=vector[v11,v12]

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
v:=matrix[[B.1],[B.2]]

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
a

axiom
b

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

axiom
a

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]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

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]]

axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

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]

axiom
A:=matrix[a,b]

axiom
A:=matrix[[a,b]]

axiom
A:=matrix[[a],[b]]

axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[b]]

axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)*cos(x)]]

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)]]

axiom
L:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

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)]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
v:=matrix[[v11],[v12]]

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)]]

axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

axiom
v:=matrix[[v11],[v12]]

axiom
A*v

axiom
D(1,1)*v

axiom
A*v-D(1,1)*v

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

axiom
v:=matrix[[v11],[v12]]

axiom
A*v

axiom
D(1,1)*v

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)]]

axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

axiom
v:=matrix[[v11],[v12]]

axiom
A*v

axiom
D(1,1)*v

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)]]

axiom
v:=matrix[[v11],[v12]]

axiom
A*v

axiom
D(1,1)*v

axiom
A*v-D(1,1)*v

axiom
x*x

axiom
A*v

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

axiom
solve(cos(x)-y=-sin(x),x)

axiom
solve(cos(x)=0,x)

axiom
solve(sin(e) - e = 0, e)

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.

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.

axiom
solve(a*x^2+b*x+c,x)

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)

axiom
solve(x^2+2*x+1=0,x)

axiom
solve((x^2+x+1=98)::Equation Expression Integer,x)

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