Skip to content

Instantly share code, notes, and snippets.

@edgarcosta

edgarcosta/gist:fd2067b50f0e76bd3440e184f0d6b077

Created April 27, 2018 05:03
Show Gist options
  • Save edgarcosta/fd2067b50f0e76bd3440e184f0d6b077 to your computer and use it in GitHub Desktop.
Save edgarcosta/fd2067b50f0e76bd3440e184f0d6b077 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Batch 0
Testing 9 curves
[x^2, x^3 + x + 1, ['RR']] : PASS
[x^5 + 2*x^4 + 2*x^3 + x^2, x + 1, ['RR']] : PASS
[x^4 + x^2, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 - 40*x^3 + 22*x^2 + 389*x - 608, x^2 + x + 1, ['RR']] : PASS
[x^5 + x^4, x^3 + x + 1, ['M_2(RR)']] : PASS
[2*x^5 + x^4 - 12*x^3 + 17*x - 9, x^3 + x, ['RR']] : PASS
[x^5 - 9*x^4 + 14*x^3 - 19*x^2 + 11*x - 6, 1, ['RR']] : PASS
[x^2 + x, x^3 + 1, ['RR']] : PASS
[-x^3 - x^2, x^3 + x^2 + x + 1, ['RR']] : PASS
Batch 0: PASS!
Batch 1
Testing 12 curves
[x^5 - x^4 + x^3, x^4 + 1, ['RR', 'RR']] : PASS
[-x^6 + x^2 - x, x^4 + 1, ['RR']] : PASS
[x^7 - 8*x^5 - 4*x^4 + 18*x^3 - 3*x^2 - 16*x + 8, x^4 + x^3 + x^2 + 1, ['RR']] : PASS
[x^3 + x^2, x^4 + x^3 + x + 1, ['RR']] : PASS
[-x^5 + x^3 + x^2, x^4 + x + 1, ['RR']] : PASS
[-x^7 - x^5 + x^2, x^4 + x^3 + x + 1, ['RR']] : PASS
[-x^2 - x, x^4 + x^3 + x + 1, ['RR']] : PASS
[x^3 + x^2 + x, x^4 + x^3 + x^2 + 1, ['RR']] : PASS
[x^7 + x^6 + x^5 + x^3 + x^2 + x, x^4 + x^2 + 1, ['M_2(RR)', 'RR']] : PASS
[x^7 - 2*x^6 + 5*x^5 - 2*x^4 + x^3 + 4*x^2 + 2*x, x^2 + 1, ['RR']] : PASS
[-x^7 + 2*x^6 - 2*x^5 + 3*x^4 + x^3 + 2*x^2 + x, x^4 + x^3 + x + 1, ['RR', 'RR']] : PASS
[x^7 + x^6 - x^4 - x^2 - x, x^4 + x^2 + x + 1, ['RR']] : PASS
Batch 1: PASS!
Batch 2
Testing 5 curves
[21*x^7 + 37506*x^5 + 933261*x^3 + 5841759*x, 0, ['CC', 'CC', 'CC']] : PASS
[x^7 + 6*x^5 + 9*x^3 + x, 0, ['CC', 'CC', 'CC']] : PASS
[16*x^7 + 357*x^5 - 819*x^3 + 448*x, 0, ['CC', 'CC', 'CC']] : PASS
[-4*x^8 + 105*x^6 - 945*x^4 + 2100*x^2 - 5895*x + 420, x^4, ['CC', 'CC', 'CC']] : PASS
[x^7 - 14*x^6 + 210*x^5 - 658*x^4 + 245*x^3 + 588*x^2 + 637*x - 686, 0, ['RR', 'RR', 'RR']] : PASS
Batch 2: PASS!
Batch 3
Testing 164 curves
[2*x^5 - 3*x^4 + x^3 + x^2 - x, 1, ['M_2(RR)']] : PASS
[-x^4 + 2*x^2 - 2, x^3, ['M_2(RR)']] : PASS
[x^6 - 3*x^5 + x^4 + 3*x^3 - x^2 - x, 1, ['RR', 'RR']] : PASS
[x^6 - 12*x^4 + 48*x^2 - 65, x, ['CC', 'RR']] : PASS
[5*x^6 - 4*x^5 - 5*x^4 + 14*x^3 - 5*x^2 - 4*x + 5, x^3 + 1, ['CC', 'RR']] : PASS
[-x^2 - 1, x^3 + x, ['RR', 'RR']] : PASS
[-x^5, x^3 + x + 1, ['RR', 'RR']] : PASS
[-x^6 - 19*x^4 - 152*x^2 - 414, x^3 + x, ['RR', 'RR']] : PASS
[7*x^6 - 21*x^5 + 34*x^3 - 2*x^2 - 19*x - 5, x^2 + x, ['RR', 'RR']] : PASS
[-2*x^4 + 3*x^2 - 2, x^3 + x, ['RR', 'RR']] : PASS
[-x^4 - 8*x^2 + 23, x^3 + x, ['RR', 'RR']] : PASS
[-x^4 - 3*x^3 - 4*x^2 - 3*x - 1, x^3, ['RR', 'RR']] : PASS
[x^5 - 20*x^4 + 99*x^3 - 20*x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[-2*x^4 + 4*x^2 - 9*x - 14, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 - x^3 - 2*x^2 + 3*x - 1, x^3, ['RR', 'RR']] : PASS
[8*x^6 + 19*x^5 + 39*x^4 + 41*x^3 + 39*x^2 + 19*x + 8, x^3 + 1, ['RR', 'RR']] : PASS
[x^5, 1, ['CC', 'CC']] : PASS
[-5*x^6 + 11*x^5 - 20*x^4 + 20*x^3 - 20*x^2 + 11*x - 5, x^2 + x, ['RR', 'RR']] : PASS
[-x^6 - 3*x^5 - 7*x^4 - 9*x^3 - 9*x^2 - 5*x - 2, 1, ['RR', 'RR']] : PASS
[-x^3, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[x^5 - x^4 - 5*x^3 + 6*x^2 + 12*x - 10, x^3, ['RR', 'RR']] : PASS
[-x^3 - x, x^3 + x^2 + x + 1, ['M_2(RR)']] : PASS
[x^5 - 3*x^4 - 5*x^3 + 5*x^2 + 9*x + 3, x^3, ['CC', 'RR']] : PASS
[x^5 + x^3 + x, x^2 + x, ['RR', 'RR']] : PASS
[-x^6 - 10*x^4 - 40*x^2 - 55, x^3 + x, ['RR', 'RR']] : PASS
[x^6, 1, ['M_2(CC)']] : PASS
[-x^4 - 3*x^3 - x^2, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[-2*x^3 - 2*x^2 + 3*x - 1, x^3 + x^2 + x, ['RR', 'RR']] : PASS
[x^2 + 1, x^3 + x, ['RR', 'RR']] : PASS
[x^5 + 7*x^4 - 43*x^2 + 51*x - 17, x^2 + x, ['RR', 'RR']] : PASS
[-x^6 + x^5 - 3*x^4 + 2*x^3 - 3*x^2 + x - 1, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + 2*x^4 - 3*x^3 + 2*x^2 - x, x^2 + 1, ['RR', 'RR']] : PASS
[x^5 - x^4 + 2*x^3 - x^2 + x, 0, ['CC', 'RR']] : PASS
[x^5 - 3*x^4 + 2*x^2 - x, x^2 + x, ['M_2(RR)']] : PASS
[-x^6 - 3*x^5 - 5*x^4 - 5*x^3 - 4*x^2 - 2*x - 1, 1, ['RR', 'RR']] : PASS
[-x^5 - 3*x^2 + 3*x - 1, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[x^3 - 3*x^2 + 3*x - 1, x^3, ['CC', 'RR']] : PASS
[-x^6 - 13*x^4 - 56*x^2 - 79, x, ['RR', 'RR']] : PASS
[-5*x^4 + 24*x^2 - 34, x^3 + x, ['CC', 'RR']] : PASS
[x^4 + x^2, x^3 + x^2 + x + 1, ['CC', 'RR']] : PASS
[x^5 + 2*x^4 + 2*x^3 + x^2, x^3 + x + 1, ['M_2(RR)']] : PASS
[-x^4 + x^3 + 3*x^2 + x, x^3 + x + 1, ['M_2(RR)']] : PASS
[x^5 + 3*x^4 + 3*x^3 + 3*x^2 + x, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 - 3*x^3 - 4*x^2 - x, 0, ['M_2(RR)']] : PASS
[-x^6 + x^4 - x^2, 1, ['RR', 'RR']] : PASS
[x^5 - x^4 + 2*x^3 - x^2 + x, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 - 6*x^3 - 8*x^2 + 4, x^3 + 1, ['RR', 'RR']] : PASS
[-x^4 - 2*x^3 + 4*x^2 + 4*x - 6, x^3, ['RR', 'RR']] : PASS
[3*x^4 + x^3 + 5*x^2 - 15*x - 10, x^3 + x^2, ['RR', 'RR']] : PASS
[-x^6 + 3*x^5 - 3*x^4 - x, x^2 + x + 1, ['RR', 'RR']] : PASS
[x^5 - x^4 - 2*x^3 + x^2 + x, 0, ['RR', 'RR']] : PASS
[-x^4 - 3*x^2 + 3*x - 1, x^3 + x^2 + x, ['RR', 'RR']] : PASS
[x^5 + x^4, x^3 + x + 1, ['M_2(RR)']] : PASS
[2*x^6 - 6*x^5 + 12*x^4 - 14*x^3 + 11*x^2 - 5*x + 1, 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + 5*x^2 + 12*x + 8, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + 2*x^3 + x^2 + x, x^2 + x, ['CC', 'RR']] : PASS
[x^3 + 3*x^2 + 3*x + 1, x^3, ['CC', 'RR']] : PASS
[-6*x^6 - 4*x^5 - 4*x^4 - 5*x^3 - 2*x^2 - x - 1, 1, ['RR', 'RR']] : PASS
[x^4 - x^2 - x - 1, x^3 + x^2 + 1, ['RR', 'RR']] : PASS
[3*x^3 - 2*x^2 + 6*x + 2, x^3 + x, ['RR', 'RR']] : PASS
[x^5 - 7*x^3 - 16*x^2 - 15*x - 5, x^3, ['RR', 'RR']] : PASS
[-2*x^4 - 2*x^3 + 4*x^2 + 6*x + 2, x^3, ['RR', 'RR']] : PASS
[-x^4 - x^2, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + x^3 + x^2 + x, x^3 + 1, ['RR', 'RR']] : PASS
[x^3, x^3 + 1, ['M_2(RR)']] : PASS
[x^5 + 2*x^4 + 3*x^3 + 2*x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[x^5 + 2*x^3 + 4*x^2 + 2*x, x^2 + 1, ['RR', 'RR']] : PASS
[3*x^5 + 4*x^4 + 7*x^3 + 4*x^2 + 3*x, x^2 + x, ['RR', 'RR']] : PASS
[x^6 - 15*x^4 + 56*x^2 - 73, x^3 + x, ['RR', 'RR']] : PASS
[x^3 - x, x^3 + x^2 + 1, ['RR', 'RR']] : PASS
[x^6 + 2*x^3 - x, x^3 + 1, ['RR', 'RR']] : PASS
[1, x^3 + x, ['RR', 'RR']] : PASS
[x^4 + x^3 + x^2, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + x^3 + x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[x^6 + 16*x^4 + 72*x^2 + 105, x^3 + x, ['RR', 'RR']] : PASS
[-2*x^4 + 7, x^3 + x, ['CC', 'RR']] : PASS
[x^5 - 3*x^3 + 4*x - 2, x^3, ['RR', 'RR']] : PASS
[8*x^6 - 31*x^4 + 37*x^2 - 15, x^3 + x, ['RR', 'RR']] : PASS
[-6*x^6 + 22*x^5 - 45*x^4 + 55*x^3 - 45*x^2 + 22*x - 6, x^3 + 1, ['RR', 'RR']] : PASS
[x^6 - 14*x^4 + 48*x^2 - 57, x^3 + x, ['RR', 'RR']] : PASS
[-15*x^6 + 32*x^5 - 53*x^4 + 64*x^3 - 53*x^2 + 32*x - 15, x^2 + x, ['RR', 'RR']] : PASS
[-5*x^6 - 19*x^4 - 21*x^2 - 7, x, ['RR', 'RR']] : PASS
[-8*x^4 + 72*x^2 - 226, x^3 + x, ['CC', 'RR']] : PASS
[x^5 - 2*x^4 + 2*x^3 - 2*x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[2*x^5 + 2*x^4 + 2*x^3 + x^2, x^3 + x + 1, ['RR', 'RR']] : PASS
[x^6 - 3*x^5 + 8*x^4 - 11*x^3 + 13*x^2 - 8*x + 4, 1, ['RR', 'RR']] : PASS
[-x^4 + x^2 - 8*x - 10, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[-2*x^4 + x^3 + 10*x^2 + 3*x - 6, x^3 + 1, ['RR', 'RR']] : PASS
[6*x^6 + 7*x^5 + 19*x^4 + 13*x^3 + 19*x^2 + 7*x + 6, x^2 + x, ['RR', 'RR']] : PASS
[x^5 + 2*x^3 + x, x^2 + x, ['RR', 'RR']] : PASS
[x^5 + 4*x^4 + 4*x^3 - x^2 + 3, x^2 + x, ['RR', 'RR']] : PASS
[2*x^5 + 2*x^4 + x^3 + x^2, x^3 + x + 1, ['RR', 'RR']] : PASS
[-x^5 + 3*x^4 - 8*x^2 + 7, x^2 + x, ['RR', 'RR']] : PASS
[x^3 + 3*x^2 + 3*x + 1, x^3 + x^2 + x, ['RR', 'RR']] : PASS
[3*x^4 + 11*x^2 + 11, x^3, ['CC', 'RR']] : PASS
[15*x^6 + 28*x^5 + 62*x^4 + 59*x^3 + 62*x^2 + 28*x + 15, x^2 + x, ['RR', 'RR']] : PASS
[2*x^5 + 51*x^4 - 214*x^3 + 196*x^2 - 69*x + 8, x^2 + x + 1, ['RR', 'RR']] : PASS
[x^4 + x^2, x^3 + 1, ['RR', 'RR']] : PASS
[-2*x^4 + 3*x^2 - 3, x^3 + x, ['RR', 'RR']] : PASS
[x^3 + 1, x^3 + 1, ['M_2(RR)']] : PASS
[x^5 - x^4 + 2*x^3 - x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[-x^4 - x^3 + 2*x^2 + 3*x + 1, x^3, ['CC', 'RR']] : PASS
[-x^6 + 2*x^4 + 4*x^3 + 2*x^2 - 1, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[x^5 - 3*x^4 + 3*x^2 + x, 0, ['RR', 'RR']] : PASS
[x^6 + 8*x^4 + 16*x^2 + 1, x, ['RR', 'RR']] : PASS
[x^4 + x^3 + 3*x^2 + x + 2, x^3 + x^2 + x, ['RR', 'RR']] : PASS
[x^6 + x^4 - x^2, 1, ['RR', 'RR']] : PASS
[x^6 + 10*x^4 + 32*x^2 + 33, x, ['RR', 'RR']] : PASS
[x^5 - 3*x^4 + 4*x^3 - 3*x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[x^4 + x^3 + x^2, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[-x^6 - 9*x^4 - 32*x^2 - 39, x^3 + x, ['RR', 'RR']] : PASS
[-x^6 - 5*x^5 + 3*x^4 + 56*x^3 - 7*x^2 - 195*x + 131, x^3 + 1, ['RR', 'RR']] : PASS
[-x^6 - 3*x^5 - 6*x^4 - 7*x^3 - 6*x^2 - 3*x - 1, 1, ['CC', 'RR']] : PASS
[6*x^6 + 20*x^4 + 21*x^2 + 7, x, ['RR', 'RR']] : PASS
[10*x^6 - 24*x^5 + 34*x^4 - 29*x^3 + 17*x^2 - 6*x + 1, 1, ['RR', 'RR']] : PASS
[-x^4 - x^3 - x^2, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 - 4*x^3 - x^2 + 3*x - 1, x^2 + x, ['RR', 'RR']] : PASS
[2*x^5 + 5*x^4 + 7*x^3 + 5*x^2 + 2*x, x^2 + x, ['RR', 'RR']] : PASS
[x^5 + x^4 - 3*x^3 - x^2 + 3*x - 1, x^3, ['RR', 'RR']] : PASS
[x^5 + 3*x^4 + 3*x^3 - 15*x - 9, x^3 + x, ['RR', 'RR']] : PASS
[-x^6 + 6*x^4 - 16*x^2 + 7, x^3 + x, ['CC', 'RR']] : PASS
[17*x^6 - 43*x^4 + 35*x^2 - 10, x^2 + 1, ['RR', 'RR']] : PASS
[x^2 + x, x^3 + x + 1, ['RR', 'RR']] : PASS
[x^5 + 3*x^4 + x^3 - 2*x^2 - x, x^2 + x, ['M_2(RR)']] : PASS
[-6*x^4 - 5*x^3 + 28*x^2 + 60*x + 34, x^3 + x, ['RR', 'RR']] : PASS
[-x^6 + 2*x^5 - 5*x^4 + 4*x^3 - 5*x^2 + 2*x - 1, x^2 + x, ['RR', 'RR']] : PASS
[-x^6 - 11*x^4 - 40*x^2 - 47, x, ['RR', 'RR']] : PASS
[-4*x^4 + 8*x^2 + 30, x^3 + x, ['RR', 'RR']] : PASS
[-x^4 - x^2, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[6*x^6 + 16*x^5 + 31*x^4 + 35*x^3 + 31*x^2 + 16*x + 6, x^2 + x, ['RR', 'RR']] : PASS
[-x^6 + 7*x^4 - 2*x^3 - 21*x^2 + x + 18, x^3 + x^2 + 1, ['RR', 'RR']] : PASS
[-1, x^3 + x, ['RR', 'RR']] : PASS
[x^6 - x^4, 1, ['RR', 'RR']] : PASS
[-2*x^2 + 2, x^3, ['RR', 'RR']] : PASS
[10*x^5 - 18*x^4 + 8*x^3 + x^2 - x, x, ['RR', 'RR']] : PASS
[-x^6 + 7*x^4 - 24*x^2 + 23, x^3 + x, ['CC', 'RR']] : PASS
[-x^6 + 17*x^4 - 136*x^2 + 350, x^3 + x, ['RR', 'RR']] : PASS
[-1, x^3 + 1, ['M_2(RR)']] : PASS
[-x^5 - 7*x^4 + 37*x^2 - 45*x + 15, x^2 + x, ['RR', 'RR']] : PASS
[x^4 + x^3 + 2*x^2 + x + 1, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[-x^6 - 3*x^3 - 1, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[x^5 - x^4 - 6*x^3 - x^2 + x, x^3 + 1, ['RR', 'RR']] : PASS
[2*x^5 + 2*x^4 + 6*x^3 - 2*x^2 - x, x^2 + 1, ['RR', 'RR']] : PASS
[-2*x^4 + 5*x^2 - 3, x^3, ['RR', 'RR']] : PASS
[2*x^4 + 6*x^2 + 6, x^3, ['CC', 'RR']] : PASS
[-5*x^4 + 7*x^3 + 25*x^2 - 75*x + 54, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + 9*x^4 + 23*x^3 + 9*x^2 + x, x^2 + x, ['CC', 'RR']] : PASS
[-2*x^6 - 6*x^5 - 10*x^4 - 10*x^3 - 7*x^2 - 3*x - 1, 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + x^3 - x - 1, x^3 + x + 1, ['RR', 'RR']] : PASS
[x^5 - 7*x^4 + 14*x^3 - 7*x^2 + x, 0, ['CC', 'RR']] : PASS
[-x^6 + 8*x^4 - 16*x^2 - 1, x, ['RR', 'RR']] : PASS
[-2*x^4 + 6*x^2 - 7, x^3, ['RR', 'RR']] : PASS
[-x^6 + 2*x^5 - 3*x^4 + 2*x^3 - 3*x^2 + 2*x - 1, x^2 + x, ['RR', 'RR']] : PASS
[x^6 + 15*x^4 + 64*x^2 + 89, x^3 + x, ['RR', 'RR']] : PASS
[-5*x^4 + 24*x^2 - 41, x^3 + x, ['CC', 'RR']] : PASS
[-x^6 - 2*x^4 - 2*x^2 - 1, x^2 + x, ['RR', 'RR']] : PASS
[2*x^4 + 7*x^2 + 5, x^3 + x, ['RR', 'RR']] : PASS
[-x^5 + x^4 + x^2 - x, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + 20*x^4 + 104*x^3 + 20*x^2 + x, x^2 + x, ['RR', 'RR']] : PASS
[x^3, x^3 + x^2 + x + 1, ['RR', 'RR']] : PASS
[-10*x^6 + 23*x^5 - 47*x^4 + 50*x^3 - 47*x^2 + 23*x - 10, x^3 + 1, ['RR', 'RR']] : PASS
[-10*x^6 + 18*x^5 - 23*x^4 + 36*x^3 - 23*x^2 + 18*x - 10, x^3 + 1, ['RR', 'RR']] : PASS
[x^5 + x^4 + 2*x^3 + x^2 + x, x^3 + 1, ['RR', 'RR']] : PASS
[-x^6 + 4*x^4 - 6*x^2 + 3, x, ['RR', 'RR']] : PASS
Batch 3: PASS!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment