Применение базиса Гребнера к вычислению пересечения идеалов

[AniTia]

Есть 4 полинома
$f=x^4+x^3y+x^3z^2-x^2y^2+x^2yz^2-xy^3-xy^2z^2-y^3z^2$;

$g=x^4+2x^3z^2-x^2y^2+x^2z^4-2xy^2z^2-y^2z^4$;

$p=x^2+xy+xz+yz$;

$q=x^2-xy-xz+yz$.

Необходимо найти $\langle f,g\rangle \cap\langle p,q \rangle$.
Подскажите, как это делать. Я пыталась применить алгоритм для вычисления пересечения идеалов, но получается очень громоздка.

[Karan]

Ну у Вас такие многочлены, что в любом случае получится громоздко. Приведите Ваши вычисления, может, кто-нибудь подскажет, где можно сделать лучше.

[EXE]

AniTia, а Вы воспользуйтесь возможностями мат пакетов, например, Mathematica или Maple.
Соответствующий раздел найдёте по справке.