Bill Allombert on Sat, 03 Aug 2019 19:38:28 +0200

 Re: nfgaloisconj

• To: pari-users@pari.math.u-bordeaux.fr
• Subject: Re: nfgaloisconj
• From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
• Date: Sat, 3 Aug 2019 19:38:26 +0200
• Delivery-date: Sat, 03 Aug 2019 19:38:28 +0200
• Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
• References: <249836670.1957831.1564451085430.JavaMail.yahoo.ref@jws704101.mail.ssk.yahoo.co.jp> <249836670.1957831.1564451085430.JavaMail.yahoo@jws704101.mail.ssk.yahoo.co.jp>
• User-agent: NeoMutt/20170113 (1.7.2)

```On Tue, Jul 30, 2019 at 10:44:45AM +0900, macsyma wrote:
> Thank you, Bill.
>
> > what it does
>
> In my code, G1 is a permutation representation, G2 is a polynomial
> representation of G the Galois group of f over Q. The principle is
> directly linked to Q-automorphism, that for each m_j in G, the
> permutation of the roots of f is obtained by replacing alpha the
> primitive element in the root representation of f with m_j(alpha) the
> image of alpha that is a root of g. One can consider alpha =
> polroots(g)[1], m_j(alpha) = polroots(g)[i] in G12 code.

Could you tell me why you replaced

K=lindep(concat(x,R)); K = K[2..-1]/-K[1];

by

K=matinverseimage(matconcat(vector(d,i,subst(R,v,i))~),[1..d]~);

?

Cheers,
Bill.

```

• Follow-Ups: