next up previous contents
Next: 2.4.3 Gaussian algorithm Up: 2.4 Applications Previous: 2.4.1 Submodule

2.4.2 Euclidian algorithm

Lemma 2..13   If < is a wellordering and $ I=\{f,g\}\subseteq K[x]$ then the computation of the standard basis of I yields the greatest common divisor of f and g.

SINGULAR example:

ring R=32003,x,dp;
poly f=(x^3+5)^2*(x-2)*(x^2+x+2)^4;
poly g=(x^3+5)*(x^2-3)*(x^2+x+2);
ideal I=f,g;
// and the expected result:

| ZCA Home | Reports |