help links subscribe changes refresh edit

	SandBox
SandBoxSymbol ←	↑	→ SandBoxSymbolicExpressions

SandBoxSymbolic

last edited 11 years ago by test1

Edit detail for SandBoxSymbolic revision 2 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:03:01 GMT-7
Note: new

changed:
-a:Union(Symbolic,Integer)
-b:Union(Symbolic,Integer)
a:Union(Symbol,Integer)
b:Union(Symbol,Integer)

added:
a:=3.14

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.