Edit detail for Sqrt3Demo revision 1 of 4

changed:
-
Some demo involving the algebraic number $\sqrt{3}$.

\begin{axiom}
t1 := (sqrt(3)-3)*(sqrt(3)+1)/6
tt1 := -1/sqrt(3)
t2 := sqrt(3)/6
t1+t2
tt1+t2
\end{axiom}
Note that in PanAxiom the above are not generic expressions but of
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.