Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 3903419449] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1358 geometric_solution 5.22516288 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.118700439586 0.547423219605 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032068216276 0.815194865957 4 1 5 3 0132 0132 0132 2031 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 -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.405899697877 0.454115018247 5 2 4 1 1023 1302 2310 0132 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 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 0 0 0 0 0 0 0 0 0 0 0 0.405899697877 0.454115018247 2 3 6 6 0132 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 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.522532945879 1.775500200917 5 3 5 2 2031 1023 1302 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 -1 1 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601593553342 0.535176565821 6 4 4 6 3201 3201 0132 2310 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 -0.588580107610 0.440320167007 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 82839006445279670507770637681137200112/1269944907778839514370348918\ 4161471569*c_0101_4^19 + 332060925492365471350544421415953954232/12\ 699449077788395143703489184161471569*c_0101_4^18 + 76152527177080880722629091416113604329/1269944907778839514370348918\ 4161471569*c_0101_4^17 - 1337115040091530347097373466981082929697/1\ 2699449077788395143703489184161471569*c_0101_4^16 + 93615765289809257288588299608246890928/5521499599038432671175430080\ 07020503*c_0101_4^15 - 2861731619424288998081131040677327155085/126\ 99449077788395143703489184161471569*c_0101_4^14 + 957105584644075805638662983329126967809/126994490777883951437034891\ 84161471569*c_0101_4^13 + 223928767831898338549804806596291673988/1\ 2699449077788395143703489184161471569*c_0101_4^12 - 4197995600885829678546409302159197255349/12699449077788395143703489\ 184161471569*c_0101_4^11 + 8898554620451336016180683728242644971245\ /12699449077788395143703489184161471569*c_0101_4^10 - 10658438663157227806262281192951850254037/1269944907778839514370348\ 9184161471569*c_0101_4^9 + 1278797913140062835346404626844460885071\ 3/12699449077788395143703489184161471569*c_0101_4^8 - 7624601785707639520028088992910378306573/12699449077788395143703489\ 184161471569*c_0101_4^7 + 623985763081117263822114957775190133714/1\ 2699449077788395143703489184161471569*c_0101_4^6 + 6239425244163051922333592639381393159609/12699449077788395143703489\ 184161471569*c_0101_4^5 - 10077706517578197340730571337481058883809\ /12699449077788395143703489184161471569*c_0101_4^4 + 8559163744544690937282264272051897211766/12699449077788395143703489\ 184161471569*c_0101_4^3 - 223307614688752105016987112975199674219/5\ 52149959903843267117543008007020503*c_0101_4^2 + 2017397114718834406303586166280104174395/12699449077788395143703489\ 184161471569*c_0101_4 - 392268489716220184107759548360633641069/126\ 99449077788395143703489184161471569, c_0011_0 - 1, c_0011_3 + 73435367698531977348892406733830240/552149959903843267117543\ 008007020503*c_0101_4^19 - 115905779851862341373843774155420928/552\ 149959903843267117543008007020503*c_0101_4^18 - 533403572487028299726008227708607458/552149959903843267117543008007\ 020503*c_0101_4^17 + 332379285195116436862359724773997341/552149959\ 903843267117543008007020503*c_0101_4^16 - 197430280243145106909055653525361951/552149959903843267117543008007\ 020503*c_0101_4^15 + 704593136175784400424537146937516414/552149959\ 903843267117543008007020503*c_0101_4^14 + 2707577785693332645394798708334337818/55214995990384326711754300800\ 7020503*c_0101_4^13 + 2018525717092237259785565187369691162/5521499\ 59903843267117543008007020503*c_0101_4^12 + 6522197194044166111200480690454045271/55214995990384326711754300800\ 7020503*c_0101_4^11 + 3574157515737084785291523624030615297/5521499\ 59903843267117543008007020503*c_0101_4^10 + 4747674573258631230409488620999345641/55214995990384326711754300800\ 7020503*c_0101_4^9 + 2558725542169223073996468533660998940/55214995\ 9903843267117543008007020503*c_0101_4^8 - 3743355791331422180413936465886271878/55214995990384326711754300800\ 7020503*c_0101_4^7 + 2210240465191809726081086255849065167/55214995\ 9903843267117543008007020503*c_0101_4^6 - 5322520866345086717085545680156104811/55214995990384326711754300800\ 7020503*c_0101_4^5 - 586932861804844929410754840221829160/552149959\ 903843267117543008007020503*c_0101_4^4 + 556280224855131109850960650549901012/552149959903843267117543008007\ 020503*c_0101_4^3 - 2529111961779639016804336452885545077/552149959\ 903843267117543008007020503*c_0101_4^2 + 1541848072929275833354970532130998248/55214995990384326711754300800\ 7020503*c_0101_4 - 648939971651119993650455313420113010/55214995990\ 3843267117543008007020503, c_0011_6 - 41863683482452657952369725229867584/552149959903843267117543\ 008007020503*c_0101_4^19 + 110614381032407169142589326373667136/552\ 149959903843267117543008007020503*c_0101_4^18 + 273535705511125443353481958998678540/552149959903843267117543008007\ 020503*c_0101_4^17 - 637453400503358618293492880229170426/552149959\ 903843267117543008007020503*c_0101_4^16 + 120596644087799847738537129085639060/552149959903843267117543008007\ 020503*c_0101_4^15 + 130863261731875465570709902768391143/552149959\ 903843267117543008007020503*c_0101_4^14 - 1465912684630389094566357253652761587/55214995990384326711754300800\ 7020503*c_0101_4^13 + 715716159195074840134915991159085070/55214995\ 9903843267117543008007020503*c_0101_4^12 - 1785242112190854063611889881899909152/55214995990384326711754300800\ 7020503*c_0101_4^11 + 1510131049602447141336905113960532758/5521499\ 59903843267117543008007020503*c_0101_4^10 + 972899138220535937703000299192053514/552149959903843267117543008007\ 020503*c_0101_4^9 - 1147750660856475441339134306490612373/552149959\ 903843267117543008007020503*c_0101_4^8 + 4601135659496397649936825781449682851/55214995990384326711754300800\ 7020503*c_0101_4^7 - 4824335334291954737814081604097486861/55214995\ 9903843267117543008007020503*c_0101_4^6 + 2902802451058183238073362058584240954/55214995990384326711754300800\ 7020503*c_0101_4^5 - 268412067520331582092013371156488714/552149959\ 903843267117543008007020503*c_0101_4^4 - 3167457672279551261513827525010410722/55214995990384326711754300800\ 7020503*c_0101_4^3 + 2876316854404101304650949179765203991/55214995\ 9903843267117543008007020503*c_0101_4^2 - 2411782184550125798265531842333052383/55214995990384326711754300800\ 7020503*c_0101_4 + 939187218752674418923899346238865590/55214995990\ 3843267117543008007020503, c_0101_0 - 368849093270017373638837352308408320/55214995990384326711754\ 3008007020503*c_0101_4^19 + 1417880165916023487136120058514470128/5\ 52149959903843267117543008007020503*c_0101_4^18 + 584739760488743093308323322471832280/552149959903843267117543008007\ 020503*c_0101_4^17 - 5901604835035476849109456239541487841/55214995\ 9903843267117543008007020503*c_0101_4^16 + 8592419286289808499672582651186198506/55214995990384326711754300800\ 7020503*c_0101_4^15 - 11168007881973515844902454097292275749/552149\ 959903843267117543008007020503*c_0101_4^14 + 2153303888597917656807789984722581929/55214995990384326711754300800\ 7020503*c_0101_4^13 + 1764433550184406941190989454289627966/5521499\ 59903843267117543008007020503*c_0101_4^12 - 18480049804773589973107067598282734881/5521499599038432671175430080\ 07020503*c_0101_4^11 + 36820548590418561905977329796560072975/55214\ 9959903843267117543008007020503*c_0101_4^10 - 40662153492036173004612762249660603628/5521499599038432671175430080\ 07020503*c_0101_4^9 + 49080057788302439160765036120290577059/552149\ 959903843267117543008007020503*c_0101_4^8 - 24569825641870957875153898416620789461/5521499599038432671175430080\ 07020503*c_0101_4^7 - 3359393737724050509637403186978053934/5521499\ 59903843267117543008007020503*c_0101_4^6 + 27449257669541812504039111331855792975/5521499599038432671175430080\ 07020503*c_0101_4^5 - 41813514263213393019386824076133929206/552149\ 959903843267117543008007020503*c_0101_4^4 + 29790871844163150556721830615757213620/5521499599038432671175430080\ 07020503*c_0101_4^3 - 17013144881068546179515742484367718458/552149\ 959903843267117543008007020503*c_0101_4^2 + 5135507619881883565477792256198195044/55214995990384326711754300800\ 7020503*c_0101_4 + 16081676280139736103981171393240651/552149959903\ 843267117543008007020503, c_0101_1 - 123734499086402345916760709818632048/55214995990384326711754\ 3008007020503*c_0101_4^19 + 435364591504260881802377569525405784/55\ 2149959903843267117543008007020503*c_0101_4^18 + 389191331348770526715197296541760945/552149959903843267117543008007\ 020503*c_0101_4^17 - 1912570626174587846177881565371643667/55214995\ 9903843267117543008007020503*c_0101_4^16 + 1793259087902638396110472239494811525/55214995990384326711754300800\ 7020503*c_0101_4^15 - 3018259318429747871486661805077424079/5521499\ 59903843267117543008007020503*c_0101_4^14 + 239185698158566646461271777874676553/552149959903843267117543008007\ 020503*c_0101_4^13 + 957448271048487796735236465060184903/552149959\ 903843267117543008007020503*c_0101_4^12 - 4331023271618505199690410910175019997/55214995990384326711754300800\ 7020503*c_0101_4^11 + 12790849356476567241832144564914535755/552149\ 959903843267117543008007020503*c_0101_4^10 - 6135812912433802653680080730528687509/55214995990384326711754300800\ 7020503*c_0101_4^9 + 16483466117378521874127621945299432088/5521499\ 59903843267117543008007020503*c_0101_4^8 - 2632274819422044345167875770536561565/55214995990384326711754300800\ 7020503*c_0101_4^7 - 1453033791915631168494616397635069271/55214995\ 9903843267117543008007020503*c_0101_4^6 + 5910880570830343356717693630994342237/55214995990384326711754300800\ 7020503*c_0101_4^5 - 12453603519358248775409055083662410271/5521499\ 59903843267117543008007020503*c_0101_4^4 + 5694100067201700975322455112627697484/55214995990384326711754300800\ 7020503*c_0101_4^3 - 5009928574480420522942301133270039132/55214995\ 9903843267117543008007020503*c_0101_4^2 + 790625419117744074887681397663410343/552149959903843267117543008007\ 020503*c_0101_4 + 255853276750586545206633671198665298/552149959903\ 843267117543008007020503, c_0101_2 + 254085451610450945499534727994328944/55214995990384326711754\ 3008007020503*c_0101_4^19 - 831932179132869509203724775568354744/55\ 2149959903843267117543008007020503*c_0101_4^18 - 783349415450694606322314891577984897/552149959903843267117543008007\ 020503*c_0101_4^17 + 3329092810386127451770832317018902957/55214995\ 9903843267117543008007020503*c_0101_4^16 - 4360179332863627488346229473271336671/55214995990384326711754300800\ 7020503*c_0101_4^15 + 6376183068983151477130917420131413445/5521499\ 59903843267117543008007020503*c_0101_4^14 + 724472649061411182232068125750525669/552149959903843267117543008007\ 020503*c_0101_4^13 + 1319474501069484172696685873940158739/55214995\ 9903843267117543008007020503*c_0101_4^12 + 14229059477687229503716944383527960525/5521499599038432671175430080\ 07020503*c_0101_4^11 - 16802908589843648900596261526254836152/55214\ 9959903843267117543008007020503*c_0101_4^10 + 23816939972454669629633553831914777358/5521499599038432671175430080\ 07020503*c_0101_4^9 - 25527673750279506966612577529639274603/552149\ 959903843267117543008007020503*c_0101_4^8 + 10119631600834907267376967161031984916/5521499599038432671175430080\ 07020503*c_0101_4^7 + 73255904089548971377832513825561683/552149959\ 903843267117543008007020503*c_0101_4^6 - 17239792362952320335007479522948620007/5521499599038432671175430080\ 07020503*c_0101_4^5 + 19752077712034019695597285068883071493/552149\ 959903843267117543008007020503*c_0101_4^4 - 15482870194857756064548822977873046978/5521499599038432671175430080\ 07020503*c_0101_4^3 + 9535663578804772308175060881956800772/5521499\ 59903843267117543008007020503*c_0101_4^2 - 2727215750598715089444025486616754484/55214995990384326711754300800\ 7020503*c_0101_4 + 834478967566805650757516862706598082/55214995990\ 3843267117543008007020503, c_0101_4^20 - 7/2*c_0101_4^19 - 31/16*c_0101_4^18 + 25/2*c_0101_4^17 - 345/16*c_0101_4^16 + 551/16*c_0101_4^15 - 143/16*c_0101_4^14 + 105/8*c_0101_4^13 + 921/16*c_0101_4^12 - 1245/16*c_0101_4^11 + 2085/16*c_0101_4^10 - 147*c_0101_4^9 + 375/4*c_0101_4^8 - 681/16*c_0101_4^7 - 237/4*c_0101_4^6 + 795/8*c_0101_4^5 - 1689/16*c_0101_4^4 + 621/8*c_0101_4^3 - 143/4*c_0101_4^2 + 219/16*c_0101_4 - 23/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB