Пример 1.

$$ \begin{array}{lcl} f_1&=&x_1^2+x_1x_2+x_2^2-2x_1x_3-4 x_2x_3+3 x_3^2-3 x_1x_4 +2 x_2x_4+x_4^2 \\ &&-3 x_1-2 x_2+3 x_3-2 x_4-2=0,\\ f_2&=&2 x_1^2-x_1x_2+x_2^2-x_1x_3-x_2x_3-6 x_3^2 -x_1x_4+x_2x_4 -5x_3x_4-3 x_4^2 \\ &&-5 x_1+x_2+5 x_3+2 x_4+5=0,\\ f_3&=&x_1^3-x_1^2x_3+x_1x_2x_3+x_1x_2x_4-5 x_1x_3^2+x_1x_4^2 +x_2^3-5 x_2^2x_3+7 x_2x_3^2-3 x_3^3 \\ && - 5 x_3^2x_4+2 x_4^3+x_1^2-x_2^2+2 x_3^2-3 x_4^2 -3 x_1x_2+2 x_1x_3-3 x_1x_4-2 x_3x_4 \\ && -x_1+x_2+11 x_3-2 x_4-3=0,\\ %\noalign{\vskip6pt} f_4&=&-x_1^3+6 x_1^2x_2-x_1^2 x_3-12 x_1x_2^2-4 x_1x_2x_3 +6 x_1x_2x_4+5 x_1x_3^2-x_1x_3x_4\\ &&+11 x_1x_4^2 +6 x_2^3+6 x_2^2x_3+4 x_2x_3^2-7 x_2^2x_4+15 x_3^3+4 x_4^3 +3 x_1^2+2 x_1x_2 \\ &&+2 x_2^2+2 x_2x_4-x_3^2-x_3x_4+5 x_4^2 -35 x_1-14 x_2+4 x_3-10 x_4-15=0. \end{array} $$

Пример 2. $$ \begin{array}{lcl} f_1 &:=& y^2 z+2 x y u-2 x-z,\\ f_2 &:=& 2 y z u+x u^2-x-2 z=0,\\ f_3 &:=& -x^3 z+4 x y^2 z+4 x^2 y u+2 y^3 u-10 y^2+4 x z-10 y u+4 x^2+2=0,\\ g &:=& -x z^3+4 y z^2 u+4 x z u^2+2 y u^3+4 x z+4 z^2-10 y u-10 u^2+2=0 \end{array} $$

Пример 3. $$ f(x,z):=a_0x^5+a_1x^4+a_2x^3+a_3x^2+a_4x+a_5-z \, . $$ Факторизовать над $ \mathbb Z $ $$ \mathcal D_z (\mathcal D_x (f(x,z)) \, . $$ Здесь $ \mathcal D $ — дискриминант полинома, рассматриваемого относительно той переменной, что указана в индексе.