sqrt(5+sqrt(29)) algdep(%,4) y^2+x*y+Mod((t^2/2)^2,subst(%,x,t))*y-x^3 subst(%,x,-1/4) nffactor(nfinit(t^4-10*t^2-4),%)