Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 3263389432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0102 geometric_solution 3.63233505 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694673811959 0.021394616458 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 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 0 0 1 -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 0.371816868569 0.083107077154 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 0 0 0 -1 0 0 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 -6.287027939650 5.345667844368 2 2 4 4 0132 3201 3201 0132 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 -1 0 1 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.128877667598 0.165074867352 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 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.973592979928 1.983039285758 6 4 6 6 3201 0132 3012 2310 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 -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.002402644091 0.989143084093 5 5 4 5 3201 1230 0132 2310 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 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.002402644091 0.989143084093 ==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_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 41837093730146831255879/248744232945495961243*c_0101_3^20 - 103422274498691621549013/248744232945495961243*c_0101_3^19 - 555325061337639283470604/248744232945495961243*c_0101_3^18 + 4012403935702315941911744/248744232945495961243*c_0101_3^17 + 2185231094686496040663387/248744232945495961243*c_0101_3^16 - 34526372885467456621956052/248744232945495961243*c_0101_3^15 + 3855831149905289372673287/248744232945495961243*c_0101_3^14 + 119639001904273916108228090/248744232945495961243*c_0101_3^13 - 39518966526968774475209389/248744232945495961243*c_0101_3^12 - 207162589309404952476230995/248744232945495961243*c_0101_3^11 + 79972024754845646889977640/248744232945495961243*c_0101_3^10 + 202135373301647494512532533/248744232945495961243*c_0101_3^9 - 68849772608481161307272661/248744232945495961243*c_0101_3^8 - 116570545893767986343913878/248744232945495961243*c_0101_3^7 + 25524483686627336829575473/248744232945495961243*c_0101_3^6 + 38779243467466899601460009/248744232945495961243*c_0101_3^5 - 2219806737658100899041580/248744232945495961243*c_0101_3^4 - 6654516066150253928073711/248744232945495961243*c_0101_3^3 - 523835118887059698727403/248744232945495961243*c_0101_3^2 + 389328817080571254849796/248744232945495961243*c_0101_3 + 56847733019174168412591/248744232945495961243, c_0011_0 - 1, c_0011_4 - 153942058825286274560/248744232945495961243*c_0101_3^20 + 619616930204562254767/248744232945495961243*c_0101_3^19 + 1422681954118612633689/248744232945495961243*c_0101_3^18 - 17811745978309296414316/248744232945495961243*c_0101_3^17 + 15172365317956678669414/248744232945495961243*c_0101_3^16 + 135973509306078593038743/248744232945495961243*c_0101_3^15 - 208360467212147518906906/248744232945495961243*c_0101_3^14 - 389510497131970320156863/248744232945495961243*c_0101_3^13 + 787073681407253487638136/248744232945495961243*c_0101_3^12 + 443121025644388311002278/248744232945495961243*c_0101_3^11 - 1321293176907625534315275/248744232945495961243*c_0101_3^10 - 142567807858836365949429/248744232945495961243*c_0101_3^9 + 1144084238481616613965707/248744232945495961243*c_0101_3^8 - 89390538642188276769629/248744232945495961243*c_0101_3^7 - 527206356800606433278028/248744232945495961243*c_0101_3^6 + 71780929002130484342145/248744232945495961243*c_0101_3^5 + 122784207990988999197666/248744232945495961243*c_0101_3^4 - 13320335448831310930994/248744232945495961243*c_0101_3^3 - 13665349886613777572356/248744232945495961243*c_0101_3^2 + 809078491630186945733/248744232945495961243*c_0101_3 + 429977195699424223146/248744232945495961243, c_0011_6 + 12055922251160983556/248744232945495961243*c_0101_3^20 - 41764065200936460413/248744232945495961243*c_0101_3^19 - 65800777533107292234/248744232945495961243*c_0101_3^18 + 1144906338283539639911/248744232945495961243*c_0101_3^17 - 1305550406563255101240/248744232945495961243*c_0101_3^16 - 4330811735064082784883/248744232945495961243*c_0101_3^15 + 12783946174148312836333/248744232945495961243*c_0101_3^14 - 16526270437388071142648/248744232945495961243*c_0101_3^13 - 27835844137714032173398/248744232945495961243*c_0101_3^12 + 103202647852905264887487/248744232945495961243*c_0101_3^11 - 12950812495016438640220/248744232945495961243*c_0101_3^10 - 175813570323141429754310/248744232945495961243*c_0101_3^9 + 84196678070195327148938/248744232945495961243*c_0101_3^8 + 134180011314334504518073/248744232945495961243*c_0101_3^7 - 82635599598423276956405/248744232945495961243*c_0101_3^6 - 48208538846664326923814/248744232945495961243*c_0101_3^5 + 31519254391815463363345/248744232945495961243*c_0101_3^4 + 6949316338948529913679/248744232945495961243*c_0101_3^3 - 3966606504053919874233/248744232945495961243*c_0101_3^2 - 374291191618596304897/248744232945495961243*c_0101_3 + 192735453657165148293/248744232945495961243, c_0101_0 - 404856898702629274104/248744232945495961243*c_0101_3^20 + 1335034169909253148969/248744232945495961243*c_0101_3^19 + 4404584445747751705525/248744232945495961243*c_0101_3^18 - 42794432926562240937932/248744232945495961243*c_0101_3^17 + 12495242760862117548588/248744232945495961243*c_0101_3^16 + 336399154547318887273411/248744232945495961243*c_0101_3^15 - 309239551860593210174610/248744232945495961243*c_0101_3^14 - 1005549205020105632830899/248744232945495961243*c_0101_3^13 + 1231276771163594207896791/248744232945495961243*c_0101_3^12 + 1311963019149886757467029/248744232945495961243*c_0101_3^11 - 1990982005961736650608210/248744232945495961243*c_0101_3^10 - 782891358329160286944732/248744232945495961243*c_0101_3^9 + 1539436971690584373741835/248744232945495961243*c_0101_3^8 + 196330547698192589262793/248744232945495961243*c_0101_3^7 - 552383808301760569684060/248744232945495961243*c_0101_3^6 - 27754339586711223791780/248744232945495961243*c_0101_3^5 + 62069170093182034835505/248744232945495961243*c_0101_3^4 + 14692672044173702828382/248744232945495961243*c_0101_3^3 + 4795029459417757194364/248744232945495961243*c_0101_3^2 - 1878553558158706117082/248744232945495961243*c_0101_3 - 1026697847965788728964/248744232945495961243, c_0101_1 - 541201883272435861827/248744232945495961243*c_0101_3^20 + 2163583098394038818610/248744232945495961243*c_0101_3^19 + 4859959255874382462670/248744232945495961243*c_0101_3^18 - 62093511082042389557370/248744232945495961243*c_0101_3^17 + 54451299345029002938700/248744232945495961243*c_0101_3^16 + 461819256401583952645469/248744232945495961243*c_0101_3^15 - 738598914495413992151393/248744232945495961243*c_0101_3^14 - 1238730425870736486463487/248744232945495961243*c_0101_3^13 + 2785674541319417971431234/248744232945495961243*c_0101_3^12 + 1131795855384647284071570/248744232945495961243*c_0101_3^11 - 4661525146162409893074732/248744232945495961243*c_0101_3^10 + 190916679707509199288868/248744232945495961243*c_0101_3^9 + 4039735464963780286858480/248744232945495961243*c_0101_3^8 - 922942773939631354224739/248744232945495961243*c_0101_3^7 - 1906670538551894498677763/248744232945495961243*c_0101_3^6 + 537475945682481139839487/248744232945495961243*c_0101_3^5 + 487489547633281643180790/248744232945495961243*c_0101_3^4 - 107405590843952917116725/248744232945495961243*c_0101_3^3 - 68042711482088112231492/248744232945495961243*c_0101_3^2 + 6565975747687394719891/248744232945495961243*c_0101_3 + 3728429431830079143720/248744232945495961243, c_0101_2 + 160498438385787167923/248744232945495961243*c_0101_3^20 - 827109320179007916829/248744232945495961243*c_0101_3^19 - 926258823190349109102/248744232945495961243*c_0101_3^18 + 20628166637550129311918/248744232945495961243*c_0101_3^17 - 34420297684368884955300/248744232945495961243*c_0101_3^16 - 139822407085671991280740/248744232945495961243*c_0101_3^15 + 364763841359494254699699/248744232945495961243*c_0101_3^14 + 298337267728577173510004/248744232945495961243*c_0101_3^13 - 1265624020737387505592352/248744232945495961243*c_0101_3^12 - 10661429097621643740975/248744232945495961243*c_0101_3^11 + 1968516705390096376764303/248744232945495961243*c_0101_3^10 - 586437558402055158766673/248744232945495961243*c_0101_3^9 - 1549948971280656589320645/248744232945495961243*c_0101_3^8 + 654284968161280006203733/248744232945495961243*c_0101_3^7 + 625625324395665939030181/248744232945495961243*c_0101_3^6 - 272647451938498135621169/248744232945495961243*c_0101_3^5 - 117978774255107127756415/248744232945495961243*c_0101_3^4 + 39491465063867036349272/248744232945495961243*c_0101_3^3 + 9996864967978086820878/248744232945495961243*c_0101_3^2 - 1724586073740081508145/248744232945495961243*c_0101_3 - 135483438536700063147/248744232945495961243, c_0101_3^21 - 3*c_0101_3^20 - 12*c_0101_3^19 + 103*c_0101_3^18 + 2*c_0101_3^17 - 856*c_0101_3^16 + 527*c_0101_3^15 + 2838*c_0101_3^14 - 2465*c_0101_3^13 - 4545*c_0101_3^12 + 4587*c_0101_3^11 + 3971*c_0101_3^10 - 4317*c_0101_3^9 - 2039*c_0101_3^8 + 2187*c_0101_3^7 + 658*c_0101_3^6 - 585*c_0101_3^5 - 145*c_0101_3^4 + 78*c_0101_3^3 + 19*c_0101_3^2 - 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB