`cr_gcda'
---------

cr_gcda(POLY1,POLY2)
     :: 代数体上の 1 変数多項式の GCD

RETURN
     多項式

POLY1  POLY2
     多項式

   * `sp' で定義されている.

   * 2 つの 1 変数多項式の GCD を求める.

     [76] X=x^6+3*x^5+6*x^4+x^3-3*x^2+12*x+16$
     [77] Y=x^6+6*x^5+24*x^4+8*x^3-48*x^2+384*x+1024$
     [78] A=newalg(X);
     (#0)
     [79] cr_gcda(X,subst(Y,x,x+A));
     x+(-#0)

参照
     *Note `gr hgr gr_mod': gr hgr gr_mod, *Note `asq af af_noalg': asq
     af af_noalg

