Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 3499183153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0563 geometric_solution 4.57951172 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.744353391098 0.186368227414 0 2 2 0 3201 0132 1023 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 1 0 -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 1.560509414431 0.900739861077 3 1 1 4 0132 0132 1023 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 -1 0 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.097796212684 0.262587538161 2 4 5 4 0132 2310 0132 0321 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 2 -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.326625443522 1.459307144055 5 3 2 3 0132 0321 0132 3201 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 -1 0 0 0 0 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326625443522 1.459307144055 4 6 6 3 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 -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.575615879312 0.201334518355 5 5 6 6 2310 0132 1230 3012 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 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 1.333447190094 0.811840922948 ==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_0101_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : 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_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), '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_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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2084338582564241582/141321106828192753*c_0101_6^13 + 5160814494992665252/141321106828192753*c_0101_6^12 + 95423248404233418070/141321106828192753*c_0101_6^11 + 317459354221893520585/141321106828192753*c_0101_6^10 + 336274271979760207565/141321106828192753*c_0101_6^9 - 399181278667962775370/141321106828192753*c_0101_6^8 - 1315817602663790738882/141321106828192753*c_0101_6^7 - 1525486747249998690445/141321106828192753*c_0101_6^6 - 194872005532113516699/20188729546884679*c_0101_6^5 - 902110989387397991946/141321106828192753*c_0101_6^4 - 296038433356931354011/141321106828192753*c_0101_6^3 - 56581083238067981807/141321106828192753*c_0101_6^2 - 17620164272573205209/141321106828192753*c_0101_6 - 6910187126973027187/141321106828192753, c_0011_0 - 1, c_0011_1 - 21332764174759/284348303477249*c_0101_6^13 + 56307968966968/284348303477249*c_0101_6^12 + 955643730126453/284348303477249*c_0101_6^11 + 3137342064500278/284348303477249*c_0101_6^10 + 3410672861760627/284348303477249*c_0101_6^9 - 3474707679206708/284348303477249*c_0101_6^8 - 12509489463876354/284348303477249*c_0101_6^7 - 16294033710603163/284348303477249*c_0101_6^6 - 15182884555101015/284348303477249*c_0101_6^5 - 10563969657014227/284348303477249*c_0101_6^4 - 4459951196674293/284348303477249*c_0101_6^3 - 519190009390168/284348303477249*c_0101_6^2 - 284663978325641/284348303477249*c_0101_6 + 68455673274080/284348303477249, c_0011_4 - 13513107995696/284348303477249*c_0101_6^13 - 6369801755228/284348303477249*c_0101_6^12 + 729849370219622/284348303477249*c_0101_6^11 + 3845792635176483/284348303477249*c_0101_6^10 + 7686361420595586/284348303477249*c_0101_6^9 + 2110541310976871/284348303477249*c_0101_6^8 - 17719360599668905/284348303477249*c_0101_6^7 - 32479174733165638/284348303477249*c_0101_6^6 - 31225545926276728/284348303477249*c_0101_6^5 - 24321986232481023/284348303477249*c_0101_6^4 - 12033086323191750/284348303477249*c_0101_6^3 - 1549171541133091/284348303477249*c_0101_6^2 + 261736128818191/284348303477249*c_0101_6 - 92469985465472/284348303477249, c_0101_0 + 104072386048924/284348303477249*c_0101_6^13 - 247320424277901/284348303477249*c_0101_6^12 - 4767071635179706/284348303477249*c_0101_6^11 - 16408835234305341/284348303477249*c_0101_6^10 - 19342123031485715/284348303477249*c_0101_6^9 + 15865987098018047/284348303477249*c_0101_6^8 + 67068690139990711/284348303477249*c_0101_6^7 + 89055889308501524/284348303477249*c_0101_6^6 + 84104991844776810/284348303477249*c_0101_6^5 + 57152691891725394/284348303477249*c_0101_6^4 + 23488239460221678/284348303477249*c_0101_6^3 + 4607991168751899/284348303477249*c_0101_6^2 - 133831370154550/284348303477249*c_0101_6 + 219959761836412/284348303477249, c_0101_3 + 27405638975028/284348303477249*c_0101_6^13 - 42480649880532/284348303477249*c_0101_6^12 - 1323623836292749/284348303477249*c_0101_6^11 - 5326698265543832/284348303477249*c_0101_6^10 - 7980012751166925/284348303477249*c_0101_6^9 + 2330954953000326/284348303477249*c_0101_6^8 + 23641479371335656/284348303477249*c_0101_6^7 + 34784408958808858/284348303477249*c_0101_6^6 + 31009030490993403/284348303477249*c_0101_6^5 + 22637225973925452/284348303477249*c_0101_6^4 + 10217241368868475/284348303477249*c_0101_6^3 + 1107650483495631/284348303477249*c_0101_6^2 + 618324135417057/284348303477249*c_0101_6 + 209976376343805/284348303477249, c_0101_5 + 161237973194018/284348303477249*c_0101_6^13 - 348569772815138/284348303477249*c_0101_6^12 - 7547141471859101/284348303477249*c_0101_6^11 - 26748225317485211/284348303477249*c_0101_6^10 - 31997135433291376/284348303477249*c_0101_6^9 + 27581491656560296/284348303477249*c_0101_6^8 + 114800830942765314/284348303477249*c_0101_6^7 + 140925816464340058/284348303477249*c_0101_6^6 + 124380572059338014/284348303477249*c_0101_6^5 + 84663024705824663/284348303477249*c_0101_6^4 + 28408187256142745/284348303477249*c_0101_6^3 + 2854264482312076/284348303477249*c_0101_6^2 + 373473469676970/284348303477249*c_0101_6 + 364408970365687/284348303477249, c_0101_6^14 - 2*c_0101_6^13 - 47*c_0101_6^12 - 174*c_0101_6^11 - 232*c_0101_6^10 + 121*c_0101_6^9 + 730*c_0101_6^8 + 1027*c_0101_6^7 + 978*c_0101_6^6 + 709*c_0101_6^5 + 313*c_0101_6^4 + 70*c_0101_6^3 + 10*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB