bridge/class-master/depend/pari/src/modules/algebras.c
/* Caveat: factorizations are not sorted wrt cmp_prime_ideal: Lpr comes first */
factorizations are not sorted wrt cmp_prime_ideal: Lpr comes first
factorizations are not sorted wrt cmp_prime_ideal : Lpr comes first
static GEN
computecnd(GEN rnf, GEN Lpr)
{
  GEN id, nf, fa, Le, P,E;
  long n = rnf_get_degree(rnf);
  nf = rnf_get_nf(rnf);
  id = rnf_get_idealdisc(rnf);
  Le = nfmakecoprime(nf, &id, Lpr);
  fa = idealfactor(nf, id); 
  P =  colconcat(Lpr,gel(fa,1));
  E =  colconcat(Le, gel(fa,2));
  fa = mkmat2(P, gdiventgs(E, eulerphiu(n)));
  return mkvec2(fa, clean_factor(fa));
}
static GEN computecnd ( GEN rnf , GEN Lpr ) { GEN id , nf , fa , Le , P , E ; long n = rnf_get_degree ( rnf ) ; nf = rnf_get_nf ( rnf ) ; id = rnf_get_idealdisc ( rnf ) ; Le = nfmakecoprime ( nf , & id , Lpr ) ; fa = idealfactor ( nf , id ) ; P = colconcat ( Lpr , gel ( fa , 1 ) ) ; E = colconcat ( Le , gel ( fa , 2 ) ) ; fa = mkmat2 ( P , gdiventgs ( E , eulerphiu ( n ) ) ) ; return mkvec2 ( fa , clean_factor ( fa ) ) ; }
Caveat: factorizations are not sorted wrt cmp_prime_ideal: Lpr comes first
Caveat : factorizations are not sorted wrt cmp_prime_ideal : Lpr comes first
/* part of D_{L/K} coprime with Lpr */