help links subscribe changes refresh edit

	SandBox
SandBoxSymbol ←	↑	→ SandBoxSymbolicExpressions

SandBoxSymbolic

last edited 11 years ago by test1

Edit detail for SandBoxSymbolic revision 4 of 35

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
Editor: Bill Page Time: 2008/05/22 13:43:14 GMT-7
Note: InputForm

added:
Symbolic Integers

added:
Symbolic Matrices
\begin{axiom}
)clear all
\end{axiom}


changed:
-ab:=(a+b)*(a-b)
ab:=(a+b)*(a+ (-1)::InputForm*b)

changed:
-mn1:= m*n-n*m
mn1:= m*n+(-1)::InputForm*n*m

changed:
-mn2:=(m+n)*m-n)
mn2:=(m+n)*(m+(-1)::InputForm*n)

changed:
-n:=matrix [[a,b],[-b,a]]
n:=matrix [[-1,-2],[-3,4]]

Symbolic Integers

axiom
a:Union(Symbol,Integer)

Type: Void

axiom
b:Union(Symbol,Integer)

Type: Void

axiom
c:=a*3-b*2

(1)

Type: Polynomial Integer

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

(2)

Type: UnivariatePolynomial?(x,Integer)

axiom
pc := p c

(3)

Type: Fraction Polynomial Integer

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

Type: Void

axiom
fb := f b

axiom

Compiling function f with type Symbol -> Polynomial Integer

(4)

Type: Polynomial Integer

axiom
a:=1

(5)

Type: Union(Integer,...)

axiom
b:=-3

(6)

Type: Union(Integer,...)

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

(7)

Type: Fraction Polynomial Integer

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

(8)

Type: Polynomial Integer

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

(9)

Type: Polynomial Integer

axioma:=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.

Symbolic Matrices

axiom)clear all
   All user variables and function definitions have been cleared.

axiom
m:Union(InputForm,Matrix Integer)

Type: Void

axiom
n:Union(InputForm,Matrix Integer)

Type: Void

axiom
a:Union(InputForm,Integer)

Type: Void

axiom
b:Union(InputForm,Integer)

Type: Void

axiom
ab:=(a+b)*(a+ (-1)::InputForm*b)

(10)

Type: InputForm?

axiom
expr ab

(11)

Type: OutputForm?

axiom
mn1:= m*n+(-1)::InputForm*n*m

(12)

Type: InputForm?

axiom
expr mn1

(13)

Type: OutputForm?

axiom
mn2:=(m+n)*(m+(-1)::InputForm*n)

(14)

Type: InputForm?

axiom
expr mn2

(15)

Type: OutputForm?

axiom
m:=matrix [[1,2],[3,4]]

(16)

Type: Union(Matrix Integer,...)

axiom
n:=matrix [[-1,-2],[-3,4]]

(17)

Type: Union(Matrix Integer,...)

axiom
interpret mn1

(18)

Type: Matrix Integer