|
|
|
last edited 10 years ago by test1 |
Edit detail for SandBoxSymbolic revision 1 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:01:43 GMT-7 |
||
| Note: new | ||
changed: - \begin{axiom} a:Union(Symbolic,Integer) b:Union(Symbolic,Integer) c:=a*3-b*2 p:UP(x,Integer):=x*2-7 pc := p c f(x)==x^3-x^2+1 fb := f b a:=1 b:=-3 eval(pc,['a=a,'b=b]) eval(c,['a=a,'b=b]) eval(fb,['a=a,'b=b]) \end{axiom}
axioma:Union(Symbolic,Integer) Symbolic is not a valid type. b:Union(Symbolic,Integer) Symbolic is not a valid type. c:=a*3-b*2
 | (1) |
Type: Polynomial Integer
axiomp:UP(x,Integer):=x*2-7
 | (2) |
Type: UnivariatePolynomial?(x,Integer)
axiompc := p c
 | (3) |
Type: Fraction Polynomial Integer
axiomf(x)==x^3-x^2+1
Type: Void
axiomfb := f b
axiom
Compiling function f with type Variable b -> Polynomial Integer
 | (4) |
Type: Polynomial Integer
axioma:=1
 | (5) |
Type: PositiveInteger?
axiomb:=-3
 | (6) |
Type: Integer
axiomeval(pc,['a=a,'b=b])
 | (7) |
Type: Fraction Polynomial Integer
axiomeval(c,['a=a,'b=b])
 | (8) |
Type: Polynomial Integer
axiomeval(fb,['a=a,'b=b])
 | (9) |
Type: Polynomial Integer