#Weispfenning-94, from SymbolicData: (x, y, z) L ( y^4+x*y^2*z+x^2-2*x*y+y^2+z^2, x*y^4+y*z^4-2*x^2*y-3, -x^3*y^2+x*y*z^3+y^4+x*y^2*z-2*x*y )