Magma V2.19-8 Tue Aug 20 2013 16:14:05 on localhost [Seed = 2050745926] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s035 geometric_solution 3.57156449 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 2310 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 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 2.410752450857 0.114075877333 0 2 2 0 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.923171110614 0.304067005755 1 1 3 3 2310 0132 0132 3201 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 1 0 -1 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.364673956248 0.243683096990 4 2 5 2 0132 2310 0132 0132 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 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.953766581082 0.524956651466 3 5 5 5 0132 0213 3012 1230 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 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.968160891124 1.006340236252 4 4 4 3 3012 1230 0213 0132 0 0 0 0 0 1 0 -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 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.968160891124 1.006340236252 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 467962687183935191/58134351086658008*c_0101_2^14 + 1396739238720460471/29067175543329004*c_0101_2^13 + 1398314732825175349/29067175543329004*c_0101_2^12 - 23527505935617271589/58134351086658008*c_0101_2^11 - 95816340134203879301/58134351086658008*c_0101_2^10 + 13811117571698972729/14533587771664502*c_0101_2^9 + 38716219851425523504/7266793885832251*c_0101_2^8 - 73290000116155803213/58134351086658008*c_0101_2^7 - 347295275589401999501/58134351086658008*c_0101_2^6 + 97688334810308261851/58134351086658008*c_0101_2^5 + 143229318088805584005/58134351086658008*c_0101_2^4 - 72122360070184632391/58134351086658008*c_0101_2^3 - 15983983629628805405/58134351086658008*c_0101_2^2 + 11728878724024401791/58134351086658008*c_0101_2 + 519649958815789337/58134351086658008, c_0011_0 - 1, c_0011_3 - 174111442911202/7266793885832251*c_0101_2^14 - 759527590088587/7266793885832251*c_0101_2^13 + 571532786538981/7266793885832251*c_0101_2^12 + 10234603525581348/7266793885832251*c_0101_2^11 + 22051147719547614/7266793885832251*c_0101_2^10 - 74566614609126333/7266793885832251*c_0101_2^9 - 78287648104155308/7266793885832251*c_0101_2^8 + 179458512057132461/7266793885832251*c_0101_2^7 + 83462020991233086/7266793885832251*c_0101_2^6 - 161960121968866807/7266793885832251*c_0101_2^5 - 20699699604111242/7266793885832251*c_0101_2^4 + 46531178661326443/7266793885832251*c_0101_2^3 - 13412313455210997/7266793885832251*c_0101_2^2 - 4226649403659296/7266793885832251*c_0101_2 + 4956861161187779/7266793885832251, c_0011_5 - 543037379496780/7266793885832251*c_0101_2^14 - 3857450578563956/7266793885832251*c_0101_2^13 - 6779591935002024/7266793885832251*c_0101_2^12 + 24387854720374313/7266793885832251*c_0101_2^11 + 142755245781846815/7266793885832251*c_0101_2^10 + 55661145552979425/7266793885832251*c_0101_2^9 - 456161430417623797/7266793885832251*c_0101_2^8 - 300384173051188511/7266793885832251*c_0101_2^7 + 542995493322252337/7266793885832251*c_0101_2^6 + 308729494293607600/7266793885832251*c_0101_2^5 - 300336283022616116/7266793885832251*c_0101_2^4 - 81772857402305139/7266793885832251*c_0101_2^3 + 90926936874110553/7266793885832251*c_0101_2^2 + 5574031593941120/7266793885832251*c_0101_2 - 8128983795385569/7266793885832251, c_0101_0 + 577483181161118/7266793885832251*c_0101_2^14 + 3639010529877910/7266793885832251*c_0101_2^13 + 4224426677055295/7266793885832251*c_0101_2^12 - 30023175025755999/7266793885832251*c_0101_2^11 - 129773622025932774/7266793885832251*c_0101_2^10 + 47246834019786546/7266793885832251*c_0101_2^9 + 476494908697264461/7266793885832251*c_0101_2^8 - 15842110425106926/7266793885832251*c_0101_2^7 - 668586766500599407/7266793885832251*c_0101_2^6 + 51091560219307408/7266793885832251*c_0101_2^5 + 406235507600019721/7266793885832251*c_0101_2^4 - 93064487084629004/7266793885832251*c_0101_2^3 - 92152349973054765/7266793885832251*c_0101_2^2 + 36752128170918000/7266793885832251*c_0101_2 + 5959098947142650/7266793885832251, c_0101_1 - 721240181248442/7266793885832251*c_0101_2^14 - 4159938250582868/7266793885832251*c_0101_2^13 - 3429550641686222/7266793885832251*c_0101_2^12 + 37473821320020310/7266793885832251*c_0101_2^11 + 141927910213865280/7266793885832251*c_0101_2^10 - 114482829602313404/7266793885832251*c_0101_2^9 - 476224814104341071/7266793885832251*c_0101_2^8 + 161455765683653314/7266793885832251*c_0101_2^7 + 568389290259468254/7266793885832251*c_0101_2^6 - 118317194200924160/7266793885832251*c_0101_2^5 - 275882541995716237/7266793885832251*c_0101_2^4 + 37664579047361765/7266793885832251*c_0101_2^3 + 60432534521119267/7266793885832251*c_0101_2^2 - 4551565701736737/7266793885832251*c_0101_2 - 10119360768006653/7266793885832251, c_0101_2^15 + 6*c_0101_2^14 + 6*c_0101_2^13 - 51*c_0101_2^12 - 207*c_0101_2^11 + 120*c_0101_2^10 + 696*c_0101_2^9 - 163*c_0101_2^8 - 847*c_0101_2^7 + 233*c_0101_2^6 + 423*c_0101_2^5 - 197*c_0101_2^4 - 79*c_0101_2^3 + 53*c_0101_2^2 + 3*c_0101_2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB