Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 1545453753] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0603 geometric_solution 4.61394110 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 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.178177928868 0.440920195101 0 3 2 2 0132 0132 1230 0132 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 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.369512722231 1.196448550440 3 0 1 1 0132 0132 0132 3012 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 -1 1 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.369512722231 1.196448550440 2 1 4 4 0132 0132 0132 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 -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 -1.116063059608 0.743489859071 5 3 5 3 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.006095158582 1.787232267004 4 4 6 6 0132 3201 0132 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 -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.195164352781 0.128099753057 6 5 6 5 2031 2310 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 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.427369660867 2.419023508239 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 450564738324950196230714086160/969441687805834669334118859*c_0101_4\ ^14 + 2684681658084099433953901491169/969441687805834669334118859*c\ _0101_4^13 - 16229911425573978070377904641657/969441687805834669334\ 118859*c_0101_4^12 - 56516421152108211043896640543308/9694416878058\ 34669334118859*c_0101_4^11 + 210341294068273053021433876435422/9694\ 41687805834669334118859*c_0101_4^10 + 235139038221451633900308843557817/969441687805834669334118859*c_010\ 1_4^9 - 978351929885041382227891678869675/9694416878058346693341188\ 59*c_0101_4^8 + 608170249256481606820876890502919/96944168780583466\ 9334118859*c_0101_4^7 + 370274094597569699272321735078449/969441687\ 805834669334118859*c_0101_4^6 - 474759573741740234789953040872330/9\ 69441687805834669334118859*c_0101_4^5 - 47676527396519100666548866683618/969441687805834669334118859*c_0101\ _4^4 + 139405195262227308427856997924668/96944168780583466933411885\ 9*c_0101_4^3 + 20264041904029073189502003880469/9694416878058346693\ 34118859*c_0101_4^2 - 10933393819996662025767137111909/969441687805\ 834669334118859*c_0101_4 - 2168799884914503894453077489364/96944168\ 7805834669334118859, c_0011_0 - 1, c_0011_4 + 3328980641039359466993082376/440655312639015758788235845*c_0\ 101_4^14 + 29874715277978055654460248968/44065531263901575878823584\ 5*c_0101_4^13 - 24086453384615438238427927602/440655312639015758788\ 235845*c_0101_4^12 - 437879440140676440378637397622/440655312639015\ 758788235845*c_0101_4^11 + 199830092864485510716625207561/440655312\ 639015758788235845*c_0101_4^10 + 1580108518628941208692503078633/44\ 0655312639015758788235845*c_0101_4^9 - 2231089763355427215525566972058/440655312639015758788235845*c_0101_\ 4^8 + 105550062521078381267664438449/88131062527803151757647169*c_0\ 101_4^7 + 176559885637024939506489172586/88131062527803151757647169\ *c_0101_4^6 - 465599072549646504985127483089/4406553126390157587882\ 35845*c_0101_4^5 - 123362757577303173139876734774/44065531263901575\ 8788235845*c_0101_4^4 + 51923724696879793342922009738/4406553126390\ 15758788235845*c_0101_4^3 + 1291683369795155400051924620/8813106252\ 7803151757647169*c_0101_4^2 + 50308837546930539177896952/4406553126\ 39015758788235845*c_0101_4 - 544962450413380079179681254/4406553126\ 39015758788235845, c_0011_6 - 2229672300413964991504767476/440655312639015758788235845*c_0\ 101_4^14 - 19853074014051661949731979453/44065531263901575878823584\ 5*c_0101_4^13 + 17613557700196315452944471257/440655312639015758788\ 235845*c_0101_4^12 + 292840160803527055569361368142/440655312639015\ 758788235845*c_0101_4^11 - 155078620701111927740152670551/440655312\ 639015758788235845*c_0101_4^10 - 1059078350810446242102041759983/44\ 0655312639015758788235845*c_0101_4^9 + 1574842809521709362450370606618/440655312639015758788235845*c_0101_\ 4^8 - 84580884167635620161054122783/88131062527803151757647169*c_01\ 01_4^7 - 124770699120817308654110186213/88131062527803151757647169*\ c_0101_4^6 + 378316914097042158802277989429/44065531263901575878823\ 5845*c_0101_4^5 + 70780192952760942126654725719/4406553126390157587\ 88235845*c_0101_4^4 - 48889547817657229419760022038/440655312639015\ 758788235845*c_0101_4^3 - 693980090355912944069848092/8813106252780\ 3151757647169*c_0101_4^2 + 402249513940829647432719283/440655312639\ 015758788235845*c_0101_4 + 457295870025344956363789824/440655312639\ 015758788235845, c_0101_0 - 2215376848977539799686577156/440655312639015758788235845*c_0\ 101_4^14 - 18923398261484785640690426823/44065531263901575878823584\ 5*c_0101_4^13 + 24797241671825093807466142642/440655312639015758788\ 235845*c_0101_4^12 + 286070099352930479893949344867/440655312639015\ 758788235845*c_0101_4^11 - 259867739735772466392691526126/440655312\ 639015758788235845*c_0101_4^10 - 1017295586520750832757490673873/44\ 0655312639015758788235845*c_0101_4^9 + 1944544108523323571462223985723/440655312639015758788235845*c_0101_\ 4^8 - 181359384750760507667919982338/88131062527803151757647169*c_0\ 101_4^7 - 106596183091818649682148158866/88131062527803151757647169\ *c_0101_4^6 + 560998854960687064952498477939/4406553126390157587882\ 35845*c_0101_4^5 + 5562115084929750775020887614/4406553126390157587\ 88235845*c_0101_4^4 - 86577367294686883236739099063/440655312639015\ 758788235845*c_0101_4^3 - 309037944986592619930274234/8813106252780\ 3151757647169*c_0101_4^2 + 3575255645411010568458207953/44065531263\ 9015758788235845*c_0101_4 + 881971515747170098842758759/44065531263\ 9015758788235845, c_0101_1 - 17393546287857578908333429421/440655312639015758788235845*c_\ 0101_4^14 - 151704096777044077981059067093/440655312639015758788235\ 845*c_0101_4^13 + 164724001407333214297303726507/440655312639015758\ 788235845*c_0101_4^12 + 2251967354878870180283622726472/44065531263\ 9015758788235845*c_0101_4^11 - 1614684097662537647034124275996/4406\ 55312639015758788235845*c_0101_4^10 - 7931279610852828687186635924903/440655312639015758788235845*c_0101_\ 4^9 + 13664482397626812253378005413893/440655312639015758788235845*\ c_0101_4^8 - 1176595640677451114078607276543/8813106252780315175764\ 7169*c_0101_4^7 - 684723217522807123823750155919/881310625278031517\ 57647169*c_0101_4^6 + 3174259117361883797111092957524/4406553126390\ 15758788235845*c_0101_4^5 + 118974324362433579792680314584/44065531\ 2639015758788235845*c_0101_4^4 - 354109341084949185452595736468/440\ 655312639015758788235845*c_0101_4^3 - 1806924361094729279194422235/88131062527803151757647169*c_0101_4^2 + 7594901052920121465830526658/440655312639015758788235845*c_0101_4 + 2922099787827136025718582819/440655312639015758788235845, c_0101_3 + 32514431223621997500367775264/440655312639015758788235845*c_\ 0101_4^14 + 284757210125179083655213386902/440655312639015758788235\ 845*c_0101_4^13 - 297339076640346070463645151183/440655312639015758\ 788235845*c_0101_4^12 - 4217494595875601637188624998133/44065531263\ 9015758788235845*c_0101_4^11 + 2863438283954553671367215905629/4406\ 55312639015758788235845*c_0101_4^10 + 14886064635520206719885775197122/440655312639015758788235845*c_0101\ _4^9 - 24978390216930196781486591884457/440655312639015758788235845\ *c_0101_4^8 + 2050560484419019452757030499189/881310625278031517576\ 47169*c_0101_4^7 + 1303916517212473606011582397857/8813106252780315\ 1757647169*c_0101_4^6 - 5602343964582567163561286403721/44065531263\ 9015758788235845*c_0101_4^5 - 366234024813931476717179248641/440655\ 312639015758788235845*c_0101_4^4 + 609714505089580933865386080277/440655312639015758788235845*c_0101_4\ ^3 + 5683817815353888464680239119/88131062527803151757647169*c_0101\ _4^2 - 11214231388812307656666868237/440655312639015758788235845*c_\ 0101_4 - 5213426692656574511179342626/440655312639015758788235845, c_0101_4^15 + 155/17*c_0101_4^14 - 6*c_0101_4^13 - 2262/17*c_0101_4^12 + 704/17*c_0101_4^11 + 8335/17*c_0101_4^10 - 10259/17*c_0101_4^9 + 618/17*c_0101_4^8 + 5385/17*c_0101_4^7 - 1708/17*c_0101_4^6 - 1264/17*c_0101_4^5 + 15*c_0101_4^4 + 132/17*c_0101_4^3 - 1/17*c_0101_4^2 - 5/17*c_0101_4 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB