load_package arnum;
defpoly sqrt2**2-2;
1/(sqrt2+1);
sqrt2 - 1(x**2+2*sqrt2*x+2)/(x+sqrt2);
x + sqrt2on gcd;
(x**3+(sqrt2-2)*x**2-(2*sqrt2+3)*x-3*sqrt2)/(x**2-2);
2 x - 2*x - 3 -------------- x - sqrt2
off gcd;
sqrt(x**2-2*sqrt2*x*y+2*y**2);
x - sqrt2*y
off arnum;
defpoly sqrt5**2-5,cbrt3**3-3;
*** Defining the polynomial for a primitive element: 6 4 3 2 a1 - 15*a1 - 6*a1 + 75*a1 - 90*a1 - 116cbrt3**3;
3sqrt5**2;
5
cbrt3;
120 5 27 4 2000 3 1170 2 6676 - (------*a1 + ------*a1 - ------*a1 - ------*a1 + ------*a1 8243 8243 8243 8243 8243 6825 - ------) 8243
sqrt(x**2+2*(sqrt5-cbrt3)*x+5-2*sqrt5*cbrt3+cbrt3**2);
240 5 54 4 4000 3 2340 2 21595 x + (------*a1 + ------*a1 - ------*a1 - ------*a1 + -------*a1 8243 8243 8243 8243 8243 13650 - -------) 8243. Axiom . Derive