-
Notifications
You must be signed in to change notification settings - Fork 0
/
ica_mono64_t12r8c4d4.magma
52 lines (48 loc) · 21.6 KB
/
ica_mono64_t12r8c4d4.magma
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
// [{x0: 9784331746762330056*x4 + 3734870611573924684*x5 + 16104840467185498941*x6 + 3265764628588623755*x7 + 13940192873344825628, y0: 9784331746762330056*y4 + 3734870611573924684*y5 + 16104840467185498941*y6 + 3265764628588623755*y7 + 17084377351630680566, x1: 17689384804779105057*x4 + 17636301759336031532*x5 + 6263567895514755713*x6 + 6228076324433630972*x7 + 11378185048572819911, y1: 17689384804779105057*y4 + 17636301759336031532*y5 + 6263567895514755713*y6 + 6228076324433630972*y7 + 795980702155136328, x2: 3568291694260558778*x4 + 9711728337224637922*x5 + 1173690824534933838*x6 + 16435066389418572622*x7 + 17249049468488539400, y2: 3568291694260558778*y4 + 9711728337224637922*y5 + 1173690824534933838*y6 + 16435066389418572622*y7 + 12277029146886515966, x3: 17513007127623776452*x4 + 5946535579053143621*x5 + 404449599146208466*x6 + 15514985986935067099*x7 + 2537645697379696038, y3: 17513007127623776452*y4 + 5946535579053143621*y5 + 404449599146208466*y6 + 15514985986935067099*y7 + 12446157533615167002}];
// [2, 2, 2, 2, 4, 4, 4, 4];
p := 18446744069414584321;
R<x4,y4,x5,y5,x6,y6,x7,y7> := PolynomialRing(GF(p),8, "grevlex");
I := ideal<R |
16935428837899377181*x4^2 + 1511315231515207140*y4^2 + 15576270455143091828*x4*x5 + 7924605026907324653*x5^2 + 2870473614271492493*y4*y5 + 10522139042507259668*y5^2 + 8193151796135725230*x4*x6 + 216348111075034303*x5*x6 + 5798561677559092433*x6^2 + 10253592273278859091*y4*y6 + 18230395958339550018*y5*y6 + 12648182391855491888*y6^2 + 4564201446384195747*x4*x7 + 10986263128929795370*x5*x7 + 8841136949977856543*x6*x7 + 10638987825501196219*x7^2 + 13882542623030388574*y4*y7 + 7460480940484788951*y5*y7 + 9605607119436727778*y6*y7 + 7807756243913388102*y7^2 + 13663752635431947089*x4 + 3899696590949768354*y4 + 5898463432027701430*x5 + 6731652385931650266*y5 + 16798159251492089304*x6 + 17983804016258099017*y6 + 8480731971804466705*x7 + 16458121234306983508*y7 + 6494423826156761288,
11778154545857486936*x4^2 + 6668589523557097385*y4^2 + 6395733088726094246*x4*x5 + 8135945413813193415*x5^2 + 12051010980688490075*y4*y5 + 10310798655601390906*y5^2 + 15000354011325960678*x4*x6 + 1569979262137812972*x5*x6 + 4198961822360819567*x6^2 + 3446390058088623643*y4*y6 + 16876764807276771349*y5*y6 + 14247782247053764754*y6^2 + 12480453243915519881*x4*x7 + 3469936168383828307*x5*x7 + 439139382355012307*x6*x7 + 17698984911850802343*x7^2 + 5966290825499064440*y4*y7 + 14976807901030756014*y5*y7 + 18007604687059572014*y6*y7 + 747759157563781978*y7^2 + 10747673399759284373*x4 + 18159042757984793767*y4 + 13800327517948027412*x5 + 6086838665088902914*y5 + 2979287120275548812*x6 + 12507753003152677606*y6 + 15535372390310003407*x7 + 1738056892327693562*y7 + 10528502197182882699,
3262900833267625586*x4^2 + 15183843236146958735*y4^2 + 4451790372708657702*x4*x5 + 12623098204726130845*x5^2 + 13994953696705926619*y4*y5 + 5823645864688453476*y5^2 + 15118530733065066291*x4*x6 + 9704851822616835051*x5*x6 + 12320947172713064039*x6^2 + 3328213336349518030*y4*y6 + 8741892246797749270*y5*y6 + 6125796896701520282*y6^2 + 12726918779574011605*x4*x7 + 3759089061260492011*x5*x7 + 6010199384481180417*x6*x7 + 5866608278670013148*x7^2 + 5719825289840572716*y4*y7 + 14687655008154092310*y5*y7 + 12436544684933403904*y6*y7 + 12580135790744571173*y7^2 + 12359379371782700491*x4 + 2165912751998892071*y4 + 3355110106686872540*x5 + 8405932875208039544*y5 + 17567525034363465450*x6 + 4987264884776863788*y6 + 7075682392931924776*x7 + 16237327849754601181*y7 + 6250288324285328481,
11157971247585112805*x4^2 + 7288772821829471516*y4^2 + 15850094711214309166*x4*x5 + 5756762207119117994*x5^2 + 2596649358200275155*y4*y5 + 12689981862295466327*y5^2 + 14185280392828083712*x4*x6 + 2907505070987301200*x5*x6 + 6280475976955225621*x6^2 + 4261463676586500609*y4*y6 + 15539238998427283121*y5*y6 + 12166268092459358700*y6^2 + 10048003858871750759*x4*x7 + 7043356323362406946*x5*x7 + 16700454829282157245*x6*x7 + 7503571243603141587*x7^2 + 8398740210542833562*y4*y7 + 11403387746052177375*y5*y7 + 1746289240132427076*y6*y7 + 10943172825811442734*y7^2 + 15062892601646576385*x4 + 721307823725865018*y4 + 773084662775066800*x5 + 9814323404316401703*y5 + 12657004357106268416*x6 + 4190534756655068325*y6 + 6015201275185729962*x7 + 701600856411753008*y7 + 1453528480275612452,
18267410764749971842*x4^4 + 179333304664612479*y4^4 + 16119132221665500131*x4^3*x5 + 2468940828964719845*x4^2*x5^2 + 1537815287445094275*x4*x5^3 + 7305875422551256091*x5^4 + 2327611847749084190*y4^3*y5 + 15977803240449864476*y4^2*y5^2 + 16908928781969490046*y4*y5^3 + 11140868646863328230*y5^4 + 18199540540714490984*x4^3*x6 + 6085471672937351700*x4^2*x5*x6 + 13117365519924253730*x4*x5^2*x6 + 5473253555778517566*x5^3*x6 + 6965437448952829791*x4^2*x6^2 + 3573167748720935062*x4*x5*x6^2 + 637164655067347662*x5^2*x6^2 + 8020491794507285218*x4*x6^3 + 7068926620864959789*x5*x6^3 + 11246107320890493389*x6^4 + 247203528700093337*y4^3*y6 + 12361272396477232621*y4^2*y5*y6 + 5329378549490330591*y4*y5^2*y6 + 12973490513636066755*y5^3*y6 + 11481306620461754530*y4^2*y6^2 + 14873576320693649259*y4*y5*y6^2 + 17809579414347236659*y5^2*y6^2 + 10426252274907299103*y4*y6^3 + 11377817448549624532*y5*y6^3 + 7200636748524090932*y6^4 + 6937153556996224611*x4^3*x7 + 4702636529467637731*x4^2*x5*x7 + 15989190752871104003*x4*x5^2*x7 + 6404174766055060269*x5^3*x7 + 11251804052492041708*x4^2*x6*x7 + 13595124970125245299*x4*x5*x6*x7 + 2502790463817332384*x5^2*x6*x7 + 2679513077042815464*x4*x6^2*x7 + 5991959254548123540*x5*x6^2*x7 + 6181185852214615956*x6^3*x7 + 10429031180850055447*x4^2*x7^2 + 604588255241592596*x4*x5*x7^2 + 1989980370663360964*x5^2*x7^2 + 8370593156094144840*x4*x6*x7^2 + 16876717554135412135*x5*x6*x7^2 + 2962325576617782022*x6^2*x7^2 + 9753641145040637768*x4*x7^3 + 17121601993222278848*x5*x7^3 + 18370581242960257931*x6*x7^3 + 5760036778545204353*x7^4 + 11509590512418359710*y4^3*y7 + 13744107539946946590*y4^2*y5*y7 + 2457553316543480318*y4*y5^2*y7 + 12042569303359524052*y5^3*y7 + 7194940016922542613*y4^2*y6*y7 + 4851619099289339022*y4*y5*y6*y7 + 15943953605597251937*y5^2*y6*y7 + 15767230992371768857*y4*y6^2*y7 + 12454784814866460781*y5*y6^2*y7 + 12265558217199968365*y6^3*y7 + 8017712888564528874*y4^2*y7^2 + 17842155814172991725*y4*y5*y7^2 + 16456763698751223357*y5^2*y7^2 + 10076150913320439481*y4*y6*y7^2 + 1570026515279172186*y5*y6*y7^2 + 15484418492796802299*y6^2*y7^2 + 8693102924373946553*y4*y7^3 + 1325142076192305473*y5*y7^3 + 76162826454326390*y6*y7^3 + 12686707290869379968*y7^4 + 3171816693995509295*x4^3 + 13106569521359757331*y4^3 + 17027843268948595722*x4^2*x5 + 6612618150812623114*x4*x5^2 + 9339952713251943297*x5^3 + 6229346354237828178*y4^2*y5 + 3898441032196823957*y4*y5^2 + 1604443921768336354*y5^3 + 1700831240626429299*x4^2*x6 + 6358963823895937531*x4*x5*x6 + 712113735182921490*x5^2*x6 + 7069377498663859496*x4*x6^2 + 6680966375174293526*x5*x6^2 + 12675192274723695038*x6^3 + 13641435784762174207*y4^2*y6 + 4131034941042964177*y4*y5*y6 + 6853051059733100246*y5^2*y6 + 3544907748415818776*y4*y6^2 + 2688841814924667049*y5*y6^2 + 11957717657954556474*y6^3 + 28414713672583245*x4^2*x7 + 6589955297159634612*x4*x5*x7 + 6439571850334245538*x5^2*x7 + 1420823731509046571*x4*x6*x7 + 1346752051848987047*x5*x6*x7 + 5497121370143182192*x6^2*x7 + 12609710292899339325*x4*x7^2 + 5504361726976108420*x5*x7^2 + 3993906541328377768*x6*x7^2 + 10737233556792931117*x7^3 + 5728994398821189848*y4^2*y7 + 4416129356251626184*y4*y5*y7 + 17415240275807160958*y5^2*y7 + 11410542290045672832*y4*y6*y7 + 13206857334338718718*y5*y6*y7 + 8331597280763658820*y6^2*y7 + 16509753414347383844*y4*y7^2 + 7251534226859747382*y5*y7^2 + 610564014264313592*y6*y7^2 + 4261139545637396115*y7^3 + 8788297413194104101*x4^2 + 8925493899504123207*y4^2 + 5421230309667818419*x4*x5 + 17170667405068866044*x5^2 + 497614521985029190*y4*y5 + 3224359045843928778*y5^2 + 6275125144160243942*x4*x6 + 2411196787392867851*x5*x6 + 17159444821765745645*x6^2 + 3003365225780437345*y4*y6 + 2319799618401796172*y5*y6 + 689986766248862729*y6^2 + 11849029461407263654*x4*x7 + 9293614643755885638*x5*x7 + 14119939888175066240*x6*x7 + 13038827756243970166*x7^2 + 12352774360344015069*y4*y7 + 7873958872586602376*y5*y7 + 1741543358561439831*y6*y7 + 11963566897362606569*y7^2 + 10495352901870559418*x4 + 3788168356740376624*y4 + 9519054427937900561*x5 + 13865622753393621328*y5 + 256563505392101931*x6 + 4120270415756566645*y6 + 6079587888747765431*x7 + 2183769770271684816*y7 + 6233679519942446279,
17557686381292852134*x4^4 + 889057688121732187*y4^4 + 10416712344637412923*x4^3*x5 + 9199087441759620333*x4^2*x5^2 + 2917720649607518811*x4*x5^3 + 16876221914004322521*x5^4 + 8030031724777171398*y4^3*y5 + 9247656627654963988*y4^2*y5^2 + 15529023419807065510*y4*y5^3 + 1570522155410261800*y5^4 + 6453135725032976353*x4^3*x6 + 1845417311007829448*x4^2*x5*x6 + 7603943908794737503*x4*x5^2*x6 + 14689835168243744885*x5^3*x6 + 7420779985686878292*x4^2*x6^2 + 1636909720663350104*x4*x5*x6^2 + 1223220032821347313*x5^2*x6^2 + 2571423116967652423*x4*x6^3 + 13188295546499152953*x5*x6^3 + 9863975062093358079*x6^4 + 11993608344381607968*y4^3*y6 + 16601326758406754873*y4^2*y5*y6 + 10842800160619846818*y4*y5^2*y6 + 3756908901170839436*y5^3*y6 + 11025964083727706029*y4^2*y6^2 + 16809834348751234217*y4*y5*y6^2 + 17223524036593237008*y5^2*y6^2 + 15875320952446931898*y4*y6^3 + 5258448522915431368*y5*y6^3 + 8582769007321226242*y6^4 + 1061346367614718979*x4^3*x7 + 5112406018350472805*x4^2*x5*x7 + 2318272389622802661*x4*x5^2*x7 + 7053445506802125134*x5^3*x7 + 10702011216001634084*x4^2*x6*x7 + 8746746927940588794*x4*x5*x6*x7 + 13258603457562384102*x5^2*x6*x7 + 8148203707791902080*x4*x6^2*x7 + 3580074429219996056*x5*x6^2*x7 + 9466919908672999422*x6^3*x7 + 1651505184731745605*x4^2*x7^2 + 7868291612277171499*x4*x5*x7^2 + 17799812579225286730*x5^2*x7^2 + 172727738720601237*x4*x6*x7^2 + 8554259620237078618*x5*x6*x7^2 + 17119083993212071379*x6^2*x7^2 + 17826695647825787227*x4*x7^3 + 15996983450808782999*x5*x7^3 + 10823383609203202151*x6*x7^3 + 12229863352605412046*x7^4 + 17385397701799865342*y4^3*y7 + 13334338051064111516*y4^2*y5*y7 + 16128471679791781660*y4*y5^2*y7 + 11393298562612459187*y5^3*y7 + 7744732853412950237*y4^2*y6*y7 + 9699997141473995527*y4*y5*y6*y7 + 5188140611852200219*y5^2*y6*y7 + 10298540361622682241*y4*y6^2*y7 + 14866669640194588265*y5*y6^2*y7 + 8979824160741584899*y6^3*y7 + 16795238884682838716*y4^2*y7^2 + 10578452457137412822*y4*y5*y7^2 + 646931490189297591*y5^2*y7^2 + 18274016330693983084*y4*y6*y7^2 + 9892484449177505703*y5*y6*y7^2 + 1327660076202512942*y6^2*y7^2 + 620048421588797094*y4*y7^3 + 2449760618605801322*y5*y7^3 + 7623360460211382170*y6*y7^3 + 6216880716809172275*y7^4 + 3033386597752812153*x4^3 + 11729370841330247015*y4^3 + 15749241398953301035*x4^2*x5 + 16381411281284005832*x4*x5^2 + 12566531748250881306*x5^3 + 16442995067111954943*y4^2*y5 + 1567502733407557823*y4*y5^2 + 15045691052900348415*y5^3 + 8414698821350865084*x4^2*x6 + 14054323227917592848*x4*x5*x6 + 16516415566518295045*x5^2*x6 + 15664161966086653534*x4*x6^2 + 8639088990421056092*x5*x6^2 + 17377525595943013351*x6^3 + 10545877686442455100*y4^2*y6 + 17341717671500525170*y4*y5*y6 + 11672250581363263281*y5^2*y6 + 12820543539552788961*y4*y6^2 + 4434001173348982205*y5*y6^2 + 5824050908225394229*y6^3 + 8051569533697204101*x4^2*x7 + 17351483504570070036*x4*x5*x7 + 4725295709620582389*x5^2*x7 + 14185070058585608135*x4*x6*x7 + 12859498240849896160*x5*x6*x7 + 7223514381523343126*x6^2*x7 + 8302153343477201165*x4*x7^2 + 6451440868695085532*x5*x7^2 + 9556516410173854863*x6*x7^2 + 790995403441441036*x7^3 + 5938939343115725881*y4^2*y7 + 14444802998201655734*y4*y5*y7 + 13822040139693698105*y5^2*y7 + 6003690479656079949*y4*y6*y7 + 15667320252801477096*y5*y6*y7 + 1390287468787841733*y6^2*y7 + 18374716379694351795*y4*y7^2 + 10741366050906845893*y5*y7^2 + 8861766256221021804*y6*y7^2 + 7871322954611377434*y7^3 + 17462197872670103372*x4^2 + 10254905394840270176*y4^2 + 9342997691208849664*x4*x5 + 8766939201059869753*x5^2 + 6413201019073277015*y4*y5 + 1405254324966985193*y5^2 + 12241150684264396375*x4*x6 + 11281692729969632631*x5*x6 + 13712793926858318536*x6^2 + 4640517096910556706*y4*y6 + 1785877275512181339*y5*y6 + 10446469249490812824*y6^2 + 14219099746636972887*x4*x7 + 17929482493473676846*x5*x7 + 12349800221955716543*x6*x7 + 14293883997495606173*x7^2 + 15602265171223444600*y4*y7 + 13998653220713621616*y5*y7 + 1038746225804056023*y6*y7 + 526006663731489395*y7^2 + 14093540802683539868*x4 + 13378269308355382382*y4 + 12441114386155526746*x5 + 32305955531679597*y5 + 15600376338100796805*x6 + 14274812327286238552*y6 + 14363352009335425886*x7 + 5599984768937487170*y7 + 15593768742810626053,
6659644183266373083*x4^4 + 11787099886148211238*y4^4 + 2619466699980510904*x4^3*x5 + 8596743319580366660*x4^2*x5^2 + 9204244557498347716*x4*x5^3 + 12052636269327469632*x5^4 + 15827277369434073417*y4^3*y5 + 9850000749834217661*y4^2*y5^2 + 9242499511916236605*y4*y5^3 + 6394107800087114689*y5^4 + 7945607498410584883*x4^3*x6 + 8774697241148171587*x4^2*x5*x6 + 355743990493517629*x4*x5^2*x6 + 8004084943921965681*x5^3*x6 + 12352900560804451269*x4^2*x6^2 + 11762330509168622964*x4*x5*x6^2 + 6411280364762847915*x5^2*x6^2 + 17771242314748574159*x4*x6^3 + 6474333530873838443*x5*x6^3 + 16794656503030447536*x6^4 + 10501136571003999438*y4^3*y6 + 9672046828266412734*y4^2*y5*y6 + 18091000078921066692*y4*y5^2*y6 + 10442659125492618640*y5^3*y6 + 6093843508610133052*y4^2*y6^2 + 6684413560245961357*y4*y5*y6^2 + 12035463704651736406*y5^2*y6^2 + 675501754666010162*y4*y6^3 + 11972410538540745878*y5*y6^3 + 1652087566384136785*y6^4 + 8382735962617379616*x4^3*x7 + 8701492712400457350*x4^2*x5*x7 + 3507079106766493692*x4*x5^2*x7 + 3363446617692215717*x5^3*x7 + 5495088979426946446*x4^2*x6*x7 + 15537813637628607082*x4*x5*x6*x7 + 5526319614483671012*x5^2*x6*x7 + 12415989899341803067*x4*x6^2*x7 + 17038189857143983748*x5*x6^2*x7 + 6984103163366063612*x6^3*x7 + 9653847040476866063*x4^2*x7^2 + 17959232169628338247*x4*x5*x7^2 + 39599946922874736*x5^2*x7^2 + 5577900677035393963*x4*x6*x7^2 + 6716300665049236093*x5*x6*x7^2 + 10964959099084840550*x6^2*x7^2 + 10388276135506645804*x4*x7^3 + 8023564181841964136*x5*x7^3 + 1214868947552788454*x6*x7^3 + 2196171233298818019*x7^4 + 10064008106797204705*y4^3*y7 + 9745251357014126971*y4^2*y5*y7 + 14939664962648090629*y4*y5^2*y7 + 15083297451722368604*y5^3*y7 + 12951655089987637875*y4^2*y6*y7 + 2908930431785977239*y4*y5*y6*y7 + 12920424454930913309*y5^2*y6*y7 + 6030754170072781254*y4*y6^2*y7 + 1408554212270600573*y5*y6^2*y7 + 11462640906048520709*y6^3*y7 + 8792897028937718258*y4^2*y7^2 + 487511899786246074*y4*y5*y7^2 + 18407144122491709585*y5^2*y7^2 + 12868843392379190358*y4*y6*y7^2 + 11730443404365348228*y5*y6*y7^2 + 7481784970329743771*y6^2*y7^2 + 8058467933907938517*y4*y7^3 + 10423179887572620185*y5*y7^3 + 17231875121861795867*y6*y7^3 + 16250572836115766302*y7^4 + 6651634202372120848*x4^3 + 3653055660642908321*y4^3 + 9164990863733390039*x4^2*x5 + 7468352465766365254*x4*x5^2 + 12119988682007740859*x5^3 + 14681938480769318271*y4^2*y5 + 17051394382482277920*y4*y5^2 + 9472210004108614188*y5^3 + 5893682903056101425*x4^2*x6 + 9226884363813762606*x4*x5*x6 + 17677635295245072091*x5^2*x6 + 11966329277317629007*x4*x6^2 + 9286413973437821741*x5*x6^2 + 11456860007277867727*x6^3 + 16199420843647362501*y4^2*y6 + 8496267372430735533*y4*y5*y6 + 7543500816177762611*y5^2*y6 + 5503544154168314807*y4*y6^2 + 6510326616080017679*y5*y6^2 + 8420018738238065136*y6^3 + 17054787373422457312*x4^2*x7 + 1012149122125817248*x4*x5*x7 + 11250261414450370900*x5^2*x7 + 3832878003607787353*x4*x6*x7 + 17849751855657682345*x5*x6*x7 + 7083344799321965482*x6^2*x7 + 6746008118887379807*x4*x7^2 + 5586294398119766388*x5*x7^2 + 12975523167055454328*x6*x7^2 + 3203783660672071259*x7^3 + 17667868059562497377*y4^2*y7 + 822040424339432460*y4*y5*y7 + 7956095427907489479*y5^2*y7 + 6232047777438074385*y4*y6*y7 + 8397502837246449747*y5*y6*y7 + 16451316714291427320*y6^2*y7 + 17411449368648387599*y4*y7^2 + 8313209990288153759*y5*y7^2 + 8777052078952280455*y6*y7^2 + 10161719705991028375*y7^3 + 10337357788310355671*x4^2 + 582704485743155296*y4^2 + 13896936256110036936*x4*x5 + 5899146461615339194*x5^2 + 15904676035859632507*y4*y5 + 6599220303807047766*y5^2 + 17022077097382923041*x4*x6 + 4604637058821651390*x5*x6 + 5281243224038983387*x6^2 + 12486347145580550336*y4*y6 + 13723650684214601831*y5*y6 + 3975314750008508289*y6^2 + 73367872889408461*x4*x7 + 11120473509323178163*x5*x7 + 4040277172138968181*x6*x7 + 14357071339693586973*x7^2 + 10647232862455258901*y4*y7 + 118382683845165504*y5*y7 + 18206012598952645171*y6*y7 + 3698891312613542705*y7^2 + 1381478290954481246*x4 + 17928000959646021762*y4 + 17640061369982101526*x5 + 4387652749283755917*y5 + 3287488729400948127*x6 + 14206085539451428280*y6 + 13738504909380826376*x7 + 770299272199633979*y7 + 4098898564111228255,
1139974169625604768*x4^4 + 17306769899788979553*y4^4 + 8430547967868528187*x4^3*x5 + 9228828501852927928*x4^2*x5^2 + 12722783592113969188*x4*x5^3 + 2086765092375988788*x5^4 + 10016196101546056134*y4^3*y5 + 9217915567561656393*y4^2*y5^2 + 5723960477300615133*y4*y5^3 + 16359978977038595533*y5^4 + 1333784247620289516*x4^3*x6 + 14458261635466653917*x4^2*x5*x6 + 17673836593156284929*x4*x5^2*x6 + 16276255011930576633*x5^3*x6 + 17673631302317649756*x4^2*x6^2 + 2572539566789920625*x4*x5*x6^2 + 15010981907760783543*x5^2*x6^2 + 5348530500616172065*x4*x6^3 + 713773746930447456*x5*x6^3 + 16390197974586905707*x6^4 + 17112959821794294805*y4^3*y6 + 3988482433947930404*y4^2*y5*y6 + 772907476258299392*y4*y5^2*y6 + 2170489057484007688*y5^3*y6 + 773112767096934565*y4^2*y6^2 + 15874204502624663696*y4*y5*y6^2 + 3435762161653800778*y5^2*y6^2 + 13098213568798412256*y4*y6^3 + 17732970322484136865*y5*y6^3 + 2056546094827678614*y6^4 + 2278124642615202833*x4^3*x7 + 10855707196253576468*x4^2*x5*x7 + 12962715247444451836*x4*x5^2*x7 + 8647840727419505121*x5^3*x7 + 5752649924317893735*x4^2*x6*x7 + 4107519706508967515*x4*x5*x6*x7 + 5963143878267746407*x5^2*x6*x7 + 16971149497603533332*x4*x6^2*x7 + 15525105367485697412*x5*x6^2*x7 + 10390951645007099842*x6^3*x7 + 16528992686847286176*x4^2*x7^2 + 15528837713388605421*x4*x5*x7^2 + 2763840108913861098*x5^2*x7^2 + 11832525869728111890*x4*x6*x7^2 + 2742529496601303755*x5*x6*x7^2 + 8899932041265778571*x6^2*x7^2 + 17782872798240546832*x4*x7^3 + 6048337378451578915*x5*x7^3 + 17627801996274965135*x6*x7^3 + 8663218089679325597*x7^4 + 16168619426799381488*y4^3*y7 + 7591036873161007853*y4^2*y5*y7 + 5484028821970132485*y4*y5^2*y7 + 9798903341995079200*y5^3*y7 + 12694094145096690586*y4^2*y6*y7 + 14339224362905616806*y4*y5*y6*y7 + 12483600191146837914*y5^2*y6*y7 + 1475594571811050989*y4*y6^2*y7 + 2921638701928886909*y5*y6^2*y7 + 8055792424407484479*y6^3*y7 + 1917751382567298145*y4^2*y7^2 + 2917906356025978900*y4*y5*y7^2 + 15682903960500723223*y5^2*y7^2 + 6614218199686472431*y4*y6*y7^2 + 15704214572813280566*y5*y6*y7^2 + 9546812028148805750*y6^2*y7^2 + 663871271174037489*y4*y7^3 + 12398406690963005406*y5*y7^3 + 818942073139619186*y6*y7^3 + 9783525979735258724*y7^4 + 16156208480049963205*x4^3 + 15784697900062048847*y4^3 + 297971951686467466*x4^2*x5 + 1083155211345265124*x4*x5^2 + 8924802885450595619*x5^3 + 5441508107488048892*y4^2*y5 + 1527129101968192040*y4*y5^2 + 17545215384871689470*y5^3 + 5771600521687698418*x4^2*x6 + 13814541733292875628*x4*x5*x6 + 8979909334273519526*x5^2*x6 + 11931556900518248939*x4*x6^2 + 468395818441318710*x5*x6^2 + 1288153163126765990*x6^3 + 8519420158573965031*y4^2*y6 + 17526706210392354056*y4*y5*y6 + 452027855515044025*y5^2*y6 + 8767955082958699638*y4*y6^2 + 13523435870200018699*y5*y6^2 + 17433737011793459152*y6^3 + 7738364788564181921*x4^2*x7 + 13923766648709090836*x4*x5*x7 + 9224295069995522238*x5^2*x7 + 16294231399358957297*x4*x6*x7 + 2785007562930951848*x5*x6*x7 + 4758413167286476199*x6^2*x7 + 17461320831390029929*x4*x7^2 + 8225409855645717474*x5*x7^2 + 9894145877348364755*x6*x7^2 + 1899259164288216076*x7^3 + 6938897130039889965*y4^2*y7 + 13234832849532560067*y4*y5*y7 + 1377585667725245842*y5^2*y7 + 15022315912340633033*y4*y6*y7 + 8024036421822519398*y5*y6*y7 + 6281068667665695874*y6^2*y7 + 4518812171198292585*y4*y7^2 + 8051287475347564429*y5*y7^2 + 15586014430014291186*y6*y7^2 + 13162134522091053874*y7^3 + 11496136030221222234*x4^2 + 2343996416620397565*y4^2 + 9838936701119072481*x4*x5 + 2179046930686396594*x5^2 + 10810110236656169306*y4*y5 + 11858470363396561256*y5^2 + 10395547176084712394*x4*x6 + 2346239846463969790*x5*x6 + 17682820421459507137*x6^2 + 5397580722246902748*y4*y6 + 15105890740175209012*y5*y6 + 13714402923072788873*y6^2 + 1298153717187826164*x4*x7 + 17056342832909098450*x5*x7 + 7436770422170273515*x6*x7 + 17446885037956106810*x7^2 + 4398905413719162669*y4*y7 + 2218975137611824701*y5*y7 + 17250042094343023248*y6*y7 + 12662308792570959055*y7^2 + 1074424207035786907*x4 + 7940999395483915377*y4 + 7278024538578435432*x5 + 7383494014879768297*y5 + 5012664972270146631*x6 + 6079337431383735291*y6 + 3120322859460335551*x7 + 8845347285720445800*y7 + 8175128205372578248
>;
SetNthreads(8);
printf "---------------\nDREG computation\n---------------\n";
function SolvingDegree( system_of_polynomials )
gb := GroebnerBasis(system_of_polynomials);
maxdeg, idx := Maximum([Degree(p) : p in gb]);
step := -1;
have_groebner := false;
while have_groebner eq false do
step := step + 1;
time gb_ := GroebnerBasis(system_of_polynomials, maxdeg + step);
have_groebner := gb eq gb_;
end while;
return maxdeg + step;
end function;
SetVerbose("Faugere",0);
time dreg := SolvingDegree(Basis(I));
dreg;
SetVerbose("Faugere",2);
SetVerbose("FGLM",3);
printf "---------------\nGB computation\n---------------\n";
time GB, dregs := GroebnerBasis(I : Al := "Direct", Faugere := true);
dregs;
#GB;
[Degree(f) : f in GB];
printf "---------------\nFGLM computation\n---------------\n";
I := ChangeOrder(I,"lex");
time GB_lex := GroebnerBasis(I: Al := "FGLM");
#GB_lex;
[Degree(f) : f in GB_lex];
printf "---------------\nVARIETY computation\n---------------\n";
time V := Variety(I);
V;
#V;
// exit;