Edit detail for Sqrt3Demo revision 2 of 4
| 1 2 3 4 | ||
|
Editor: Bill Page
Time: 2008/08/15 11:30:38 GMT-7 |
||
| Note: define AlgebraicNumber | ||
changed: -type 'AlgebraicNumber'. - - - type AlgebraicNumber.
Some demo involving the algebraic number 
.
axiom
t1 := (sqrt(3)-3)*(sqrt(3)+1)/6
 | (1) |
Type: AlgebraicNumber?
axiom
tt1 := -1/sqrt(3)
 | (2) |
Type: AlgebraicNumber?
axiom
t2 := sqrt(3)/6
 | (3) |
Type: AlgebraicNumber?
axiom
t1+t2
 | (4) |
Type: AlgebraicNumber?
axiom
tt1+t2
 | (5) |
Type: AlgebraicNumber?
Note that in PanAxiom? the above are not generic expressions but of type AlgebraicNumber?.