Edit detail for SandBoxSymbolic revision 3 of 35

axiom
a:Union(Symbol,Integer)

axiom
b:Union(Symbol,Integer)

axiom
c:=a*3-b*2

axiom
p:UP(x,Integer):=x*2-7

axiom
pc := p c

axiom
f(x)==x^3-x^2+1

axiom
fb := f b

Compiling function f with type Symbol -> Polynomial Integer

axiom
a:=1

axiom
b:=-3

axiom
eval(pc,['a=a,'b=b])

axiom
eval(c,['a=a,'b=b])

axiom
eval(fb,['a=a,'b=b])

axiom
a:=3.14
   Cannot convert right-hand side of assignment
   3.14
      to an object of the type Union(Symbol,Integer) of the left-hand 
      side.

axiom
m:Union(InputForm,Matrix Integer)

axiom
n:Union(InputForm,Matrix Integer)

axiom
a:Union(InputForm,Integer)
   You cannot declare a to be of type Union(InputForm,Integer) because 
      either the declared type of a or the type of the value of a is 
      different from Union(InputForm,Integer) .
b:Union(InputForm,Integer)
   You cannot declare b to be of type Union(InputForm,Integer) because 
      either the declared type of b or the type of the value of b is 
      different from Union(InputForm,Integer) .
ab:=(a+b)*(a-b)

axiom
expr ab
   There are 1 exposed and 0 unexposed library operations named expr 
      having 1 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                              )display op expr
      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 expr 
      with argument type(s) 
                                   Integer
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
mn1:= m*n-n*m
   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) 
                                  InputForm
                                  InputForm
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
expr mn1
   There are 1 exposed and 0 unexposed library operations named expr 
      having 1 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                              )display op expr
      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 expr 
      with argument type(s) 
                                Variable mn1
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
mn2:=(m+n)*m-n)
  Line   9: mn2:=(m+n)*m-n)
           ..............A
  Error  A: Improper syntax.
   1 error(s) parsing 
expr mn2
   There are 1 exposed and 0 unexposed library operations named expr 
      having 1 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                              )display op expr
      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 expr 
      with argument type(s) 
                                Variable mn2
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
m:=matrix [[1,2],[3,4]]

axiom
n:=matrix [[a,b],[-b,a]]

axiom
interpret mn1
   There are no exposed library operations named interpret but there 
      are 2 unexposed operations with that name. Use HyperDoc Browse or
      issue
                            )display op interpret
      to learn more about the available operations.
   Cannot find a definition or applicable library operation named 
      interpret with argument type(s) 
                                Variable mn1
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.