Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2328565331] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1820 geometric_solution 5.47953481 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 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.523262870763 0.278815457670 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 -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.988258555458 0.514305663604 1 4 5 3 0132 0132 0132 2310 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 0 0 0 0 0 0 0 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.377408630751 1.072929681870 2 5 4 1 3201 1023 1023 0132 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 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 0 0 0 0.377408630751 1.072929681870 4 2 3 4 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.939704690567 0.833922798697 3 6 6 2 1023 0132 3201 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.113544427638 0.553364332518 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.333613972421 0.650156948539 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 9553954952629553350621/31643648780275094675*c_0101_6^26 + 174120305446710918822392/31643648780275094675*c_0101_6^24 + 6065553799065406549514/180820850173000541*c_0101_6^22 + 344044364340931964077486/6328729756055018935*c_0101_6^20 - 10386117039872714764187093/31643648780275094675*c_0101_6^18 + 1101279448124328638732827/31643648780275094675*c_0101_6^16 + 11472778015376340760819581/31643648780275094675*c_0101_6^14 + 6743809058696573668497081/31643648780275094675*c_0101_6^12 - 18927529550161657196893724/31643648780275094675*c_0101_6^10 + 4454269742000998958000327/31643648780275094675*c_0101_6^8 + 671008132838651708281697/4520521254325013525*c_0101_6^6 - 52244648396501511170898/645788750617859075*c_0101_6^4 + 495961173576402927363563/31643648780275094675*c_0101_6^2 - 44419154689410151558419/31643648780275094675, c_0011_0 - 1, c_0011_1 + 1915960927644181/25831550024714363*c_0101_6^26 + 239090824049489691/180820850173000541*c_0101_6^24 + 1382854228174862372/180820850173000541*c_0101_6^22 + 1631770916842067153/180820850173000541*c_0101_6^20 - 16810051432460214157/180820850173000541*c_0101_6^18 + 4484970257553772143/180820850173000541*c_0101_6^16 + 24021220314741475646/180820850173000541*c_0101_6^14 + 9717307536593884963/180820850173000541*c_0101_6^12 - 5361670115698932603/25831550024714363*c_0101_6^10 + 2704086243744491743/180820850173000541*c_0101_6^8 + 11999555848315727255/180820850173000541*c_0101_6^6 - 2387285095368051269/180820850173000541*c_0101_6^4 - 148815352046197149/180820850173000541*c_0101_6^2 + 136594251343547576/180820850173000541, c_0011_3 + 87635335232658366/1265745951211003787*c_0101_6^27 + 1107875772408516049/1265745951211003787*c_0101_6^25 + 59396038270109133/180820850173000541*c_0101_6^23 - 46266076267376638576/1265745951211003787*c_0101_6^21 - 234460168042288987492/1265745951211003787*c_0101_6^19 + 427567739463323662010/1265745951211003787*c_0101_6^17 + 392406188814625875579/1265745951211003787*c_0101_6^15 - 302033400306325836598/1265745951211003787*c_0101_6^13 - 809919342819644880448/1265745951211003787*c_0101_6^11 + 508752162761217121050/1265745951211003787*c_0101_6^9 + 4186008628104682049/25831550024714363*c_0101_6^7 - 23396547296492848704/180820850173000541*c_0101_6^5 + 23069233283270033959/1265745951211003787*c_0101_6^3 - 1029658731361763821/1265745951211003787*c_0101_6, c_0101_0 - 866781788818163660/1265745951211003787*c_0101_6^27 - 15735517912377835739/1265745951211003787*c_0101_6^25 - 13580669112562306837/180820850173000541*c_0101_6^23 - 147007272959654215697/1265745951211003787*c_0101_6^21 + 968357650096554437677/1265745951211003787*c_0101_6^19 - 131867058383963143525/1265745951211003787*c_0101_6^17 - 1128823556368168972510/1265745951211003787*c_0101_6^15 - 623521127132219114969/1265745951211003787*c_0101_6^13 + 1834520677474074938394/1265745951211003787*c_0101_6^11 - 356285582550812469748/1265745951211003787*c_0101_6^9 - 67962985976722672341/180820850173000541*c_0101_6^7 + 30020604530345335838/180820850173000541*c_0101_6^5 - 41615544225028862633/1265745951211003787*c_0101_6^3 + 5671363978140213791/1265745951211003787*c_0101_6, c_0101_1 + 744395789139160569/1265745951211003787*c_0101_6^26 + 13750709118907701446/1265745951211003787*c_0101_6^24 + 12299257994136339108/180820850173000541*c_0101_6^22 + 155096844138903359915/1265745951211003787*c_0101_6^20 - 772653567501509989493/1265745951211003787*c_0101_6^18 - 111203525582938742955/1265745951211003787*c_0101_6^16 + 867992111434287767593/1265745951211003787*c_0101_6^14 + 754642377822182651504/1265745951211003787*c_0101_6^12 - 1279792807631985360986/1265745951211003787*c_0101_6^10 + 21927811649260625408/1265745951211003787*c_0101_6^8 + 52174732145566859795/180820850173000541*c_0101_6^6 - 15069393067263816409/180820850173000541*c_0101_6^4 + 10445828549632904962/1265745951211003787*c_0101_6^2 - 653811674590005749/1265745951211003787, c_0101_4 + 415711814344429441/180820850173000541*c_0101_6^27 + 7533089365675281805/180820850173000541*c_0101_6^25 + 45357765353022689662/180820850173000541*c_0101_6^23 + 9894497048238527863/25831550024714363*c_0101_6^21 - 464978153851389657635/180820850173000541*c_0101_6^19 + 82729338148249723810/180820850173000541*c_0101_6^17 + 527609183371070265391/180820850173000541*c_0101_6^15 + 266489266589387349558/180820850173000541*c_0101_6^13 - 879803409308415219141/180820850173000541*c_0101_6^11 + 228550825719729765239/180820850173000541*c_0101_6^9 + 218992746749522188602/180820850173000541*c_0101_6^7 - 122351822106775149382/180820850173000541*c_0101_6^5 + 3247993631691727477/25831550024714363*c_0101_6^3 - 1765555342432993533/180820850173000541*c_0101_6, c_0101_6^28 + 18*c_0101_6^26 + 107*c_0101_6^24 + 155*c_0101_6^22 - 1128*c_0101_6^20 + 359*c_0101_6^18 + 1178*c_0101_6^16 + 437*c_0101_6^14 - 2143*c_0101_6^12 + 908*c_0101_6^10 + 391*c_0101_6^8 - 378*c_0101_6^6 + 111*c_0101_6^4 - 16*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB