>>393
うーん、無いような気もするが・・・
C[x, y, z] と C[x, y, z, w][(x^2 + y^2 + z^2 + w^2 -1)
でどうだ？