Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 3204391529] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1514 geometric_solution 5.31628618 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271134845212 0.530569675613 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.104997802037 0.676239123448 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.001407060696 1.017565887468 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.001407060696 1.017565887468 2 3 6 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512225877746 1.205545639278 3 5 5 2 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.205290526608 0.883892070553 4 6 6 4 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.728695300253 0.482128031375 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 25784692454527187190431065699036/44323416928557310087033521617*c_01\ 01_2^23 + 36828770341563843614367850300938/443234169285573100870335\ 21617*c_0101_2^22 - 267776488374790679563715829090936/4432341692855\ 7310087033521617*c_0101_2^21 - 166207385746225592087016244100730/44\ 323416928557310087033521617*c_0101_2^20 + 1423387055697340765154035297786110/44323416928557310087033521617*c_\ 0101_2^19 + 94041373981494028216075707195568/4432341692855731008703\ 3521617*c_0101_2^18 - 5189068430297634064418275154986303/4432341692\ 8557310087033521617*c_0101_2^17 - 145188287222060312572238274334322\ 7/44323416928557310087033521617*c_0101_2^16 + 11222112864194170358471269897700584/44323416928557310087033521617*c\ _0101_2^15 + 2905631599838765053098583985393982/4432341692855731008\ 7033521617*c_0101_2^14 - 25917996917035810796272893284061817/443234\ 16928557310087033521617*c_0101_2^13 - 8382646432331102327271433660267235/44323416928557310087033521617*c_\ 0101_2^12 + 31695687748197516732169254792524479/4432341692855731008\ 7033521617*c_0101_2^11 + 8577646236455203678444912875119846/4432341\ 6928557310087033521617*c_0101_2^10 - 14481705441397134299275161128647981/44323416928557310087033521617*c\ _0101_2^9 + 14956064083669986958911961525015265/4432341692855731008\ 7033521617*c_0101_2^8 + 12553172613409055856450345136608071/4432341\ 6928557310087033521617*c_0101_2^7 - 16288013630282186494350758340102269/44323416928557310087033521617*c\ _0101_2^6 - 10794816030197424712834912833960917/4432341692855731008\ 7033521617*c_0101_2^5 + 4134297030950873695391687777927116/44323416\ 928557310087033521617*c_0101_2^4 + 3442375237642980698748719467941268/44323416928557310087033521617*c_\ 0101_2^3 + 88760888806114644020696205726818/44323416928557310087033\ 521617*c_0101_2^2 - 369094874448601730422877535978415/4432341692855\ 7310087033521617*c_0101_2 - 57300095442082612140617823697774/443234\ 16928557310087033521617, c_0011_0 - 1, c_0011_2 + 7004339402014015387630081991/1927105083850317829871022679*c_\ 0101_2^23 + 10412210298729583048555856531/1927105083850317829871022\ 679*c_0101_2^22 - 72194827154545568193557719702/1927105083850317829\ 871022679*c_0101_2^21 - 49396122413030017179816212283/1927105083850\ 317829871022679*c_0101_2^20 + 384520319236161168190057244899/192710\ 5083850317829871022679*c_0101_2^19 + 47955444326982780861016863047/1927105083850317829871022679*c_0101_2\ ^18 - 1410890255889153965206892275070/1927105083850317829871022679*\ c_0101_2^17 - 474756583485071086434931030544/1927105083850317829871\ 022679*c_0101_2^16 + 3035572418557325790735308775161/19271050838503\ 17829871022679*c_0101_2^15 + 961192974147492101858057153118/1927105\ 083850317829871022679*c_0101_2^14 - 7021992354835895624335788029327/1927105083850317829871022679*c_0101\ _2^13 - 2678019152568975320991573863517/192710508385031782987102267\ 9*c_0101_2^12 + 8536121857445472801157836680118/1927105083850317829\ 871022679*c_0101_2^11 + 2810043271130165345192567021117/19271050838\ 50317829871022679*c_0101_2^10 - 3898293742595990078140426831764/192\ 7105083850317829871022679*c_0101_2^9 + 3849038020761444080610087372232/1927105083850317829871022679*c_0101\ _2^8 + 3718963322658608116422039125968/1927105083850317829871022679\ *c_0101_2^7 - 4254044051548248600348194105216/192710508385031782987\ 1022679*c_0101_2^6 - 3185751873269811797714463696537/19271050838503\ 17829871022679*c_0101_2^5 + 1031587145714375543029704218888/1927105\ 083850317829871022679*c_0101_2^4 + 1014240941869088543414882407706/1927105083850317829871022679*c_0101\ _2^3 + 45026409094888770117234900496/1927105083850317829871022679*c\ _0101_2^2 - 109820109835563569520351246118/192710508385031782987102\ 2679*c_0101_2 - 19459021467801379707348299734/192710508385031782987\ 1022679, c_0011_5 - 7520078827917991098274102437/1927105083850317829871022679*c_\ 0101_2^23 - 10436996952502704560164318212/1927105083850317829871022\ 679*c_0101_2^22 + 78639689666790309495265371486/1927105083850317829\ 871022679*c_0101_2^21 + 45557670575101868992068776873/1927105083850\ 317829871022679*c_0101_2^20 - 418090923678580342154458225989/192710\ 5083850317829871022679*c_0101_2^19 - 12178558676308270603174500052/1927105083850317829871022679*c_0101_2\ ^18 + 1519962780303412720806979022190/1927105083850317829871022679*\ c_0101_2^17 + 366838929446380613879044549253/1927105083850317829871\ 022679*c_0101_2^16 - 3311575878220779679279054309039/19271050838503\ 17829871022679*c_0101_2^15 - 735816201639627632508895743103/1927105\ 083850317829871022679*c_0101_2^14 + 7634390031925103993298337829845/1927105083850317829871022679*c_0101\ _2^13 + 2179422691040198327132162222670/192710508385031782987102267\ 9*c_0101_2^12 - 9441735954910714622871447371476/1927105083850317829\ 871022679*c_0101_2^11 - 2230555047589952132576161917570/19271050838\ 50317829871022679*c_0101_2^10 + 4427487704531282301030902568105/192\ 7105083850317829871022679*c_0101_2^9 - 4436343064868627014945727626577/1927105083850317829871022679*c_0101\ _2^8 - 3518811557427591156065727157159/1927105083850317829871022679\ *c_0101_2^7 + 4959921337733431674411045645577/192710508385031782987\ 1022679*c_0101_2^6 + 3059711210683409913540786451360/19271050838503\ 17829871022679*c_0101_2^5 - 1366330202469064105884110491544/1927105\ 083850317829871022679*c_0101_2^4 - 1019853474931535847616769951880/1927105083850317829871022679*c_0101\ _2^3 + 5725008677814219725343084522/1927105083850317829871022679*c_\ 0101_2^2 + 116196440754500192782457035272/1927105083850317829871022\ 679*c_0101_2 + 15938000587143236992467012294/1927105083850317829871\ 022679, c_0011_6 - 47924342521288275445697209/1927105083850317829871022679*c_01\ 01_2^23 - 131449480821080455777103949/1927105083850317829871022679*\ c_0101_2^22 + 384420225986885153233196910/1927105083850317829871022\ 679*c_0101_2^21 + 835247401628404526821915895/192710508385031782987\ 1022679*c_0101_2^20 - 2124852854080122969779615813/1927105083850317\ 829871022679*c_0101_2^19 - 2532193155408732357174657265/19271050838\ 50317829871022679*c_0101_2^18 + 8614599948898484966647808629/192710\ 5083850317829871022679*c_0101_2^17 + 10255397161599742517040120896/1927105083850317829871022679*c_0101_2\ ^16 - 12303982249721133816893178609/1927105083850317829871022679*c_\ 0101_2^15 - 13727387376935078361775304418/1927105083850317829871022\ 679*c_0101_2^14 + 34272874468830516812498466366/1927105083850317829\ 871022679*c_0101_2^13 + 39491102121220429291670481913/1927105083850\ 317829871022679*c_0101_2^12 - 19909760477226209601747648941/1927105\ 083850317829871022679*c_0101_2^11 + 428307544942050408184769368/1927105083850317829871022679*c_0101_2^1\ 0 - 4143462167805515212608773567/1927105083850317829871022679*c_010\ 1_2^9 - 96009027603418733470358201818/1927105083850317829871022679*\ c_0101_2^8 - 56821801261949667592438162851/192710508385031782987102\ 2679*c_0101_2^7 + 15507329200829301219525925421/1927105083850317829\ 871022679*c_0101_2^6 - 19455343398654502511681185141/19271050838503\ 17829871022679*c_0101_2^5 + 590369540365781287538115084/19271050838\ 50317829871022679*c_0101_2^4 + 38532742965914251226850334338/192710\ 5083850317829871022679*c_0101_2^3 + 8153089434091888802888698187/1927105083850317829871022679*c_0101_2^\ 2 - 7767665420249318262177837247/1927105083850317829871022679*c_010\ 1_2 - 2337164318523105327724719516/1927105083850317829871022679, c_0101_0 - 2699535401709799281184918217/1927105083850317829871022679*c_\ 0101_2^23 - 3753027607001428208106886467/19271050838503178298710226\ 79*c_0101_2^22 + 28267408397222840698618177139/19271050838503178298\ 71022679*c_0101_2^21 + 16450610079925661729013006532/19271050838503\ 17829871022679*c_0101_2^20 - 150560990772633277248482822857/1927105\ 083850317829871022679*c_0101_2^19 - 4643607684212518922020789221/1927105083850317829871022679*c_0101_2^\ 18 + 548177442593464608525781098214/1927105083850317829871022679*c_\ 0101_2^17 + 131269084857372969575050466967/192710508385031782987102\ 2679*c_0101_2^16 - 1196707290042907315552715434966/1927105083850317\ 829871022679*c_0101_2^15 - 263568915693657676591568982367/192710508\ 3850317829871022679*c_0101_2^14 + 2758351770243552273362742592163/1\ 927105083850317829871022679*c_0101_2^13 + 782136591403100916898701976500/1927105083850317829871022679*c_0101_\ 2^12 - 3429106685077059928086149497726/1927105083850317829871022679\ *c_0101_2^11 - 795151751266355424962648181348/192710508385031782987\ 1022679*c_0101_2^10 + 1636154522839603611679466770994/1927105083850\ 317829871022679*c_0101_2^9 - 1600323563064650084419670095334/192710\ 5083850317829871022679*c_0101_2^8 - 1277691631326892985499019645091/1927105083850317829871022679*c_0101\ _2^7 + 1804016055564765007362405674837/1927105083850317829871022679\ *c_0101_2^6 + 1096227915232498684352065698381/192710508385031782987\ 1022679*c_0101_2^5 - 516726351154395481772533354803/192710508385031\ 7829871022679*c_0101_2^4 - 378111431169932196204310391120/192710508\ 3850317829871022679*c_0101_2^3 + 5235425584040122052117426136/19271\ 05083850317829871022679*c_0101_2^2 + 46942386406449143700127324801/1927105083850317829871022679*c_0101_2 + 6047109460152203825775174495/1927105083850317829871022679, c_0101_1 + 7562088231430741325225716876/1927105083850317829871022679*c_\ 0101_2^23 + 11040925558968996487060562891/1927105083850317829871022\ 679*c_0101_2^22 - 78097886097727806877153780881/1927105083850317829\ 871022679*c_0101_2^21 - 51043812787722933078943601495/1927105083850\ 317829871022679*c_0101_2^20 + 415063576135193133830106640280/192710\ 5083850317829871022679*c_0101_2^19 + 39684154561520207886120089316/1927105083850317829871022679*c_0101_2\ ^18 - 1516574795374895521588115306693/1927105083850317829871022679*\ c_0101_2^17 - 470937370343458350542107115727/1927105083850317829871\ 022679*c_0101_2^16 + 3261069390641564142278822539726/19271050838503\ 17829871022679*c_0101_2^15 + 940745087818644765903956699967/1927105\ 083850317829871022679*c_0101_2^14 - 7544123851381428585388238947462/1927105083850317829871022679*c_0101\ _2^13 - 2669828671385444144985880323215/192710508385031782987102267\ 9*c_0101_2^12 + 9143659064203502093067520363352/1927105083850317829\ 871022679*c_0101_2^11 + 2732888380116957193326951939725/19271050838\ 50317829871022679*c_0101_2^10 - 4103282741750955651361968728434/192\ 7105083850317829871022679*c_0101_2^9 + 4322833579902353703011276164384/1927105083850317829871022679*c_0101\ _2^8 + 3815839581590114416631581514891/1927105083850317829871022679\ *c_0101_2^7 - 4612461720765171660966350423159/192710508385031782987\ 1022679*c_0101_2^6 - 3239868397451919461265657015954/19271050838503\ 17829871022679*c_0101_2^5 + 1105228456328330599291528681392/1927105\ 083850317829871022679*c_0101_2^4 + 1003797120930281378495330577064/1927105083850317829871022679*c_0101\ _2^3 + 44165471132613401188890608142/1927105083850317829871022679*c\ _0101_2^2 - 103797558638197884225685976358/192710508385031782987102\ 2679*c_0101_2 - 19047510886014718232860250026/192710508385031782987\ 1022679, c_0101_2^24 + c_0101_2^23 - 11*c_0101_2^22 - 2*c_0101_2^21 + 58*c_0101_2^20 - 20*c_0101_2^19 - 203*c_0101_2^18 + 30*c_0101_2^17 + 460*c_0101_2^16 - 74*c_0101_2^15 - 1055*c_0101_2^14 + 106*c_0101_2^13 + 1372*c_0101_2^12 - 195*c_0101_2^11 - 709*c_0101_2^10 + 822*c_0101_2^9 + 241*c_0101_2^8 - 843*c_0101_2^7 - 148*c_0101_2^6 + 343*c_0101_2^5 + 65*c_0101_2^4 - 55*c_0101_2^3 - 16*c_0101_2^2 + 4*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB