macsyma on Sun, 04 Aug 2019 03:54:31 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: nfgaloisconj

Thank you, Bill.

> Bill Allombert on Sat, 03 Aug 2019 00:44:27 +0200
> I created a git branch 'bill-nfsplitting' that implement this.
> This adds a flag to nfpslitting to also get the embedding:

To compute G the Galois group of a polynomial,
I used nfsplitting, nfisincl after preparing the order of G (by GAP library, etc), 
but this improvement makes the work unnecessary.

Here are some timing data.

? tst(n)=if(Mod(n,8),1,1/2)*eulerphi(n)*n;
? for(n=2,37,printf([n,tst(n)]));

? for(n=2,37,f=x^n-2;nfisincl(f,nfsplitting(f)));
time = 24min, 27,362 ms.

? for(n=2,37,f=x^n-2;nfisincl(f,nfsplitting(f,tst(n))));
time = 15min, 30,959 ms.

? for(n=2,37,nfsplitting(x^n-2,,1));
time = 15min, 45,167 ms.

? for(n=2,37,nfsplitting(x^n-2,tst(n),1));
time = 15min, 46,036 ms.

By the way, nfsplitting(linear,,1) seems to return a polynomial not a list.

> Bill Allombert on Sat, 03 Aug 2019 23:06:23 +0200
> K=matinverseimage(matconcat([Colrev(r,d)|r<-R]),Colrev(x,d));

Thank you for your coefficients method.

To tell the truth, 
the algorithm of G12 was published on my blog (in Japanese) about a month ago.
I posted to this forum to find a better way than this,
with your suggestions some improvements have been made, I am very grateful.