• Testing Construction for $\sqrt{3}-\sqrt{2}$ & associated minpoly $x^4-10x^2+1$

  • Testing Construction for $1/\sqrt{2}$ & associated minpoly $2x^2-1$ @Xiang Huang