Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2867541611] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0316 geometric_solution 4.35134673 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.318747570182 0.068631066777 0 0 2 2 0132 2310 2310 0132 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 0 1 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.242030311886 0.606216385975 3 1 1 3 0132 3201 0132 1023 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 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 1.232148925587 0.604149746583 2 4 5 2 0132 0132 0132 1023 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 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.256413563387 0.289675160724 6 3 5 5 0132 0132 3201 2031 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 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.125756071722 0.829720276215 4 4 6 3 2310 1302 2310 0132 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 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.125756071722 0.829720276215 4 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 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.821432710758 1.178161010631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(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_3']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 55298190506838809/111065670753889*c_0101_6^23 - 996780412078052603/111065670753889*c_0101_6^21 + 1131102949988885004/111065670753889*c_0101_6^19 + 17561363020566770617/111065670753889*c_0101_6^17 - 42307715826595064177/111065670753889*c_0101_6^15 - 61120331889420963317/111065670753889*c_0101_6^13 + 265317226125657243715/111065670753889*c_0101_6^11 - 172949419568267995834/111065670753889*c_0101_6^9 - 122783030645680798416/111065670753889*c_0101_6^7 + 81742712174628888316/111065670753889*c_0101_6^5 + 45049248941912681650/111065670753889*c_0101_6^3 + 1968727693935927587/111065670753889*c_0101_6, c_0011_0 - 1, c_0011_2 + 23400154223212/111065670753889*c_0101_6^22 - 385933326538288/111065670753889*c_0101_6^20 - 109613522416519/111065670753889*c_0101_6^18 + 7208874721192331/111065670753889*c_0101_6^16 - 6867813391460708/111065670753889*c_0101_6^14 - 35378959172986016/111065670753889*c_0101_6^12 + 57045903654382355/111065670753889*c_0101_6^10 + 9363700888230038/111065670753889*c_0101_6^8 - 29355475277168066/111065670753889*c_0101_6^6 - 9710560405810532/111065670753889*c_0101_6^4 - 90109514940135/111065670753889*c_0101_6^2 - 29710112024983/111065670753889, c_0011_5 - 13806031300844/111065670753889*c_0101_6^23 + 249248551241167/111065670753889*c_0101_6^21 - 289591365900339/111065670753889*c_0101_6^19 - 4372713977708948/111065670753889*c_0101_6^17 + 10681838737294723/111065670753889*c_0101_6^15 + 14898916697201878/111065670753889*c_0101_6^13 - 66520024606478351/111065670753889*c_0101_6^11 + 45235319813688448/111065670753889*c_0101_6^9 + 28562800837291302/111065670753889*c_0101_6^7 - 20525887297202029/111065670753889*c_0101_6^5 - 10566676247440644/111065670753889*c_0101_6^3 - 404158480334126/111065670753889*c_0101_6, c_0101_0 + 40126510168480/111065670753889*c_0101_6^23 - 722439420868826/111065670753889*c_0101_6^21 + 807897568134578/111065670753889*c_0101_6^19 + 12715472493761283/111065670753889*c_0101_6^17 - 30420790827591895/111065670753889*c_0101_6^15 - 44165286612838117/111065670753889*c_0101_6^13 + 190463723894495222/111065670753889*c_0101_6^11 - 125351003035244239/111065670753889*c_0101_6^9 - 83715387310942619/111065670753889*c_0101_6^7 + 57188126203144769/111065670753889*c_0101_6^5 + 30066613209563601/111065670753889*c_0101_6^3 + 937540903923142/111065670753889*c_0101_6, c_0101_1 + 7012191634001/111065670753889*c_0101_6^22 - 114178561291799/111065670753889*c_0101_6^20 - 59584806713671/111065670753889*c_0101_6^18 + 2190583349286093/111065670753889*c_0101_6^16 - 1542986758463251/111065670753889*c_0101_6^14 - 11694764874376522/111065670753889*c_0101_6^12 + 14711836077952207/111065670753889*c_0101_6^10 + 9666909991955160/111065670753889*c_0101_6^8 - 9839333181395730/111065670753889*c_0101_6^6 - 6812130625894597/111065670753889*c_0101_6^4 - 636147506876362/111065670753889*c_0101_6^2 + 68955665437626/111065670753889, c_0101_3 - 17111544212761/111065670753889*c_0101_6^22 + 280973018606415/111065670753889*c_0101_6^20 + 100727958976058/111065670753889*c_0101_6^18 - 5267546660658705/111065670753889*c_0101_6^16 + 4650997087816397/111065670753889*c_0101_6^14 + 26281782538555957/111065670753889*c_0101_6^12 - 40067632144125560/111065670753889*c_0101_6^10 - 10101352982402318/111065670753889*c_0101_6^8 + 22200447370760946/111065670753889*c_0101_6^6 + 8342843015291120/111065670753889*c_0101_6^4 - 218729430714831/111065670753889*c_0101_6^2 - 36367470536577/111065670753889, c_0101_6^24 - 18*c_0101_6^22 + 20*c_0101_6^20 + 318*c_0101_6^18 - 757*c_0101_6^16 - 1123*c_0101_6^14 + 4768*c_0101_6^12 - 3014*c_0101_6^10 - 2286*c_0101_6^8 + 1424*c_0101_6^6 + 845*c_0101_6^4 + 54*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB