Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3970789412] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1570 geometric_solution 5.35173457 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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 1.507944263099 0.261629441926 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 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 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114072338818 0.365362361273 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653050063797 0.391095471133 2 5 4 6 0132 0132 3201 0132 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360388821549 1.002999759094 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 1 -1 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 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.360388821549 1.002999759094 5 3 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535531714486 0.387138673750 6 4 3 6 3201 0132 0132 2310 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 -0.317274788550 0.883008898873 ==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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 27345903026302660440108366586298880853400/3380104825501770379114719\ 0375449626339761*c_0110_5^24 + 267556438350883423295799238272739341\ 693563/11267016085005901263715730125149875446587*c_0110_5^22 - 8641183899051082737225811936187139025027975/33801048255017703791147\ 190375449626339761*c_0110_5^20 + 1759588240509975735986671545404789\ 5714980148/33801048255017703791147190375449626339761*c_0110_5^18 + 327161833290440274708414414014452873955366672/338010482550177037911\ 47190375449626339761*c_0110_5^16 - 926508618715124461372113313382020301523462865/112670160850059012637\ 15730125149875446587*c_0110_5^14 + 9770973520863572886871386431894388388084267982/33801048255017703791\ 147190375449626339761*c_0110_5^12 - 5855526053979310014284174102566230536650170907/11267016085005901263\ 715730125149875446587*c_0110_5^10 + 15916621134640056582938120466766785229359988996/3380104825501770379\ 1147190375449626339761*c_0110_5^8 - 8530607544919488936761669910392574540853804096/33801048255017703791\ 147190375449626339761*c_0110_5^6 + 4217045635212545425990245971094301604243107744/33801048255017703791\ 147190375449626339761*c_0110_5^4 - 1306950110129500873397439046338621950357887084/33801048255017703791\ 147190375449626339761*c_0110_5^2 + 12196850598245423292387677069556710787840935/3755672028335300421238\ 576708383291815529, c_0011_0 - 1, c_0011_1 + 175394983917669596948420449283/28394919630183353911574737920\ 45723*c_0110_5^24 - 1662783919013476423975249415849/946497321006111\ 797052491264015241*c_0110_5^22 + 50800575750364740980108681225581/2\ 839491963018335391157473792045723*c_0110_5^20 - 64401643559866443339141934415194/2839491963018335391157473792045723\ *c_0110_5^18 - 2179044656469560718905640278184965/28394919630183353\ 91157473792045723*c_0110_5^16 + 5290746063992245522629279444534973/\ 946497321006111797052491264015241*c_0110_5^14 - 47294090065096741910844937793485886/2839491963018335391157473792045\ 723*c_0110_5^12 + 20896338603574472227445726777164729/9464973210061\ 11797052491264015241*c_0110_5^10 - 23001044695091786246611168822350409/2839491963018335391157473792045\ 723*c_0110_5^8 - 493067432893664659744173745344725/2839491963018335\ 391157473792045723*c_0110_5^6 - 4453250023656056045525891432893192/\ 2839491963018335391157473792045723*c_0110_5^4 - 3605232740100680358582269466754472/28394919630183353911574737920457\ 23*c_0110_5^2 + 200675609759913148608360472489948/31549910700203726\ 5684163754671747, c_0011_4 + 18035377889462080676120887913472194/351727869459081204902676\ 27862070370801*c_0110_5^25 - 177421753041575524616610077474149745/1\ 1724262315302706830089209287356790267*c_0110_5^23 + 5781866338327980246495341784847442113/35172786945908120490267627862\ 070370801*c_0110_5^21 - 12463035625771919987456615662389033967/3517\ 2786945908120490267627862070370801*c_0110_5^19 - 214463681197745488138185270273739056098/351727869459081204902676278\ 62070370801*c_0110_5^17 + 622829242131993460797953419574677643458/1\ 1724262315302706830089209287356790267*c_0110_5^15 - 6714846316807588803368857372297482176177/35172786945908120490267627\ 862070370801*c_0110_5^13 + 4147960470579117920184812000997432085300\ /11724262315302706830089209287356790267*c_0110_5^11 - 11798828793972029529276559367737875426025/3517278694590812049026762\ 7862070370801*c_0110_5^9 + 6442663800738191249091716906608661048839\ /35172786945908120490267627862070370801*c_0110_5^7 - 3067411845567916098543739100190455691973/35172786945908120490267627\ 862070370801*c_0110_5^5 + 996851390896778126628284139650575602856/3\ 5172786945908120490267627862070370801*c_0110_5^3 - 1402932391751621959649714192363241235/13026958128114118700099121430\ 39643363*c_0110_5, c_0101_0 + 30295519427022504100617036760887025/351727869459081204902676\ 27862070370801*c_0110_5^25 - 299233703840119495456851489294326848/1\ 1724262315302706830089209287356790267*c_0110_5^23 + 9820374687775590579851301476496861959/35172786945908120490267627862\ 070370801*c_0110_5^21 - 22136024260346207487891729725850271067/3517\ 2786945908120490267627862070370801*c_0110_5^19 - 357319401480493859422288083547394439193/351727869459081204902676278\ 62070370801*c_0110_5^17 + 1060352802575553862125134762082643158065/\ 11724262315302706830089209287356790267*c_0110_5^15 - 11672386342374803590880118613044446446420/3517278694590812049026762\ 7862070370801*c_0110_5^13 + 746118495304584958647207938093362347572\ 0/11724262315302706830089209287356790267*c_0110_5^11 - 22717264766303703921081502352706357002225/3517278694590812049026762\ 7862070370801*c_0110_5^9 + 1373714075266829883383287544195893495124\ 0/35172786945908120490267627862070370801*c_0110_5^7 - 6711601998892219880326214140286184409439/35172786945908120490267627\ 862070370801*c_0110_5^5 + 2421255669437941644567619751065396487786/\ 35172786945908120490267627862070370801*c_0110_5^3 - 37200387841479898311076169264725296745/3908087438434235610029736429\ 118930089*c_0110_5, c_0101_2 + 32136909527709549001976677525066993/351727869459081204902676\ 27862070370801*c_0110_5^25 - 316700787378845641203725752120152262/1\ 1724262315302706830089209287356790267*c_0110_5^23 + 10353248586771521499740770851732693872/3517278694590812049026762786\ 2070370801*c_0110_5^21 - 22781422546741580432993165430442339655/351\ 72786945908120490267627862070370801*c_0110_5^19 - 380613667341200749928377168897102619041/351727869459081204902676278\ 62070370801*c_0110_5^17 + 1116305610408173675664206726153184716954/\ 11724262315302706830089209287356790267*c_0110_5^15 - 12154705993501320355922806325480707034746/3517278694590812049026762\ 7862070370801*c_0110_5^13 + 763707547655143896738152827208694370262\ 9/11724262315302706830089209287356790267*c_0110_5^11 - 22517543310519392260995457394954575031288/3517278694590812049026762\ 7862070370801*c_0110_5^9 + 1304016854731511722331604733733642089621\ 1/35172786945908120490267627862070370801*c_0110_5^7 - 6319428353528138206798341316810458051107/35172786945908120490267627\ 862070370801*c_0110_5^5 + 2213731185275410506691936454648437280024/\ 35172786945908120490267627862070370801*c_0110_5^3 - 9532013859690610980141794402006955111/13026958128114118700099121430\ 39643363*c_0110_5, c_0101_3 + 832855310202905790219841029842/28394919630183353911574737920\ 45723*c_0110_5^24 - 8218453893440103776665185701705/946497321006111\ 797052491264015241*c_0110_5^22 + 269183304840600241916011589181388/\ 2839491963018335391157473792045723*c_0110_5^20 - 598277496232970488584745764219049/283949196301833539115747379204572\ 3*c_0110_5^18 - 9866771903998011341700206293058309/2839491963018335\ 391157473792045723*c_0110_5^16 + 2906673569226356089239393379274195\ 8/946497321006111797052491264015241*c_0110_5^14 - 317259861497044068516418473496197233/283949196301833539115747379204\ 5723*c_0110_5^12 + 199411730130070704908583161703340024/94649732100\ 6111797052491264015241*c_0110_5^10 - 583705982260503965697400762002049975/283949196301833539115747379204\ 5723*c_0110_5^8 + 327812127007274826002870960025225505/283949196301\ 8335391157473792045723*c_0110_5^6 - 155448997144183718798004437240781100/283949196301833539115747379204\ 5723*c_0110_5^4 + 53060733314063490421210426061358289/2839491963018\ 335391157473792045723*c_0110_5^2 - 438556882883868199880593870837250/315499107002037265684163754671747\ , c_0110_5^26 - 30*c_0110_5^24 + 335*c_0110_5^22 - 848*c_0110_5^20 - 11548*c_0110_5^18 + 109392*c_0110_5^16 - 423097*c_0110_5^14 + 873492*c_0110_5^12 - 997100*c_0110_5^10 + 687254*c_0110_5^8 - 354866*c_0110_5^6 + 146999*c_0110_5^4 - 34632*c_0110_5^2 + 2511 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB