bridge/class-master/depend/pari/src/basemath/galconj.c
/* Let Sp be as computed with sympol_aut_evalmod
 * Let Tmod be the factorisation of T mod p.
 * Return the factorisation of the minimal polynomial of S mod p w.r.t. Tmod */
Let Sp be as computed with sympol_aut_evalmod
Let Tmod be the factorisation of T mod p.
Return the factorisation of the minimal polynomial of S mod p w.r.t. Tmod
Let Sp be as computed with sympol_aut_evalmod Let Tmod be the factorisation of T mod p . Return the factorisation of the minimal polynomial of S mod p w . r . t . Tmod
static GEN
fixedfieldfactmod(GEN Sp, GEN p, GEN Tmod)
{
  long i, l = lg(Tmod);
  GEN F = cgetg(l,t_VEC);
  for(i=1; i<l; i++)
  {
    GEN Ti = gel(Tmod,i);
    gel(F,i) = FpXQ_minpoly(FpX_rem(Sp,Ti,p), Ti,p);
  }
  return F;
}
static GEN fixedfieldfactmod ( GEN Sp , GEN p , GEN Tmod ) { long i , l = lg ( Tmod ) ; GEN F = cgetg ( l , t_VEC ) ; for ( i = 1 ; i < l ; i ++ ) { GEN Ti = gel ( Tmod , i ) ; gel ( F , i ) = FpXQ_minpoly ( FpX_rem ( Sp , Ti , p ) , Ti , p ) ; } return F ; }
Let Sp be as computed with sympol_aut_evalmod
 Let Tmod be the factorisation of T mod p.
 Return the factorisation of the minimal polynomial of S mod p w.r.t.
Let Sp be as computed with sympol_aut_evalmod Let Tmod be the factorisation of T mod p . Return the factorisation of the minimal polynomial of S mod p w . r . t .