Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3018993493] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1876 geometric_solution 5.50461563 oriented_manifold CS_known 0.0000000000000002 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 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.397853292309 0.246192301073 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784617585183 0.878497843731 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.075320468573 0.948715364570 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.075320468573 0.948715364570 3 2 4 4 2310 0132 1230 3012 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 -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.249815722905 1.153718178124 6 3 6 2 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376090728151 1.505117363726 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433787036238 0.149198496966 ==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' : d['c_0101_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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_0'], 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : 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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(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_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 96891102737095872253927/5899672150107556316690*c_0101_5^26 + 536754126116060707228957/1179934430021511263338*c_0101_5^24 - 25069827065037685016286979/5899672150107556316690*c_0101_5^22 + 93730468478374228259817579/5899672150107556316690*c_0101_5^20 - 95210214601200576975033819/5899672150107556316690*c_0101_5^18 - 64030945149519896441876816/2949836075053778158345*c_0101_5^16 + 89566598519390696290208829/5899672150107556316690*c_0101_5^14 + 67162582865366865686865028/2949836075053778158345*c_0101_5^12 - 90793731038139865893673834/2949836075053778158345*c_0101_5^10 + 146235448341647352885582183/5899672150107556316690*c_0101_5^8 - 9077904048029726874425124/589967215010755631669*c_0101_5^6 + 34141107982991095695299639/5899672150107556316690*c_0101_5^4 - 8061104186729532422317563/5899672150107556316690*c_0101_5^2 + 644223841910871158824457/2949836075053778158345, c_0011_0 - 1, c_0011_1 - 144131381487231571037/589967215010755631669*c_0101_5^26 + 3918906897456307672398/589967215010755631669*c_0101_5^24 - 35294904334896127080319/589967215010755631669*c_0101_5^22 + 121374846054966013260343/589967215010755631669*c_0101_5^20 - 79010204192443182806244/589967215010755631669*c_0101_5^18 - 233865637582042324975977/589967215010755631669*c_0101_5^16 + 17233365896891419871322/589967215010755631669*c_0101_5^14 + 214064196250673767938968/589967215010755631669*c_0101_5^12 - 165696073997950544712043/589967215010755631669*c_0101_5^10 + 126444032070053939490286/589967215010755631669*c_0101_5^8 - 64215708919270908057638/589967215010755631669*c_0101_5^6 + 14678267977541811839640/589967215010755631669*c_0101_5^4 - 3040696086067235891095/589967215010755631669*c_0101_5^2 + 425928753689463348393/589967215010755631669, c_0011_3 + 29797960424476201163/589967215010755631669*c_0101_5^27 - 886154101815502268553/589967215010755631669*c_0101_5^25 + 9356590229268778649424/589967215010755631669*c_0101_5^23 - 43549686969783128372498/589967215010755631669*c_0101_5^21 + 79118225953722884345140/589967215010755631669*c_0101_5^19 + 9879138324293150360791/589967215010755631669*c_0101_5^17 - 125107786334326305933811/589967215010755631669*c_0101_5^15 - 45788776481477960201003/589967215010755631669*c_0101_5^13 + 136419923070226015651659/589967215010755631669*c_0101_5^11 - 107159840689161885412223/589967215010755631669*c_0101_5^9 + 83207855069530884982685/589967215010755631669*c_0101_5^7 - 36288214582924276132770/589967215010755631669*c_0101_5^5 + 8467480290813189186681/589967215010755631669*c_0101_5^3 - 1945283317735462282406/589967215010755631669*c_0101_5, c_0101_0 - 53297575325975304679/589967215010755631669*c_0101_5^27 + 1553300618573324737965/589967215010755631669*c_0101_5^25 - 15894473063382399658203/589967215010755631669*c_0101_5^23 + 70690130150809823681984/589967215010755631669*c_0101_5^21 - 119654594052435024805675/589967215010755631669*c_0101_5^19 - 20004251969131985276759/589967215010755631669*c_0101_5^17 + 169353416411219366826656/589967215010755631669*c_0101_5^15 + 48232299193145681200535/589967215010755631669*c_0101_5^13 - 213892480654204492276226/589967215010755631669*c_0101_5^11 + 182507409286577732423559/589967215010755631669*c_0101_5^9 - 128874913496941231812101/589967215010755631669*c_0101_5^7 + 61781766863508181446620/589967215010755631669*c_0101_5^5 - 14898390079274697370697/589967215010755631669*c_0101_5^3 + 2433687991983565393872/589967215010755631669*c_0101_5, c_0101_1 + 136904359584955584442/589967215010755631669*c_0101_5^26 - 3779694172401477627218/589967215010755631669*c_0101_5^24 + 35087067691950133240490/589967215010755631669*c_0101_5^22 - 129432581119987984763300/589967215010755631669*c_0101_5^20 + 124312131140404498678194/589967215010755631669*c_0101_5^18 + 187383939399650253950277/589967215010755631669*c_0101_5^16 - 108152571328288769364190/589967215010755631669*c_0101_5^14 - 187215065752732577319931/589967215010755631669*c_0101_5^12 + 242158321994761018491100/589967215010755631669*c_0101_5^10 - 196883297022224153432675/589967215010755631669*c_0101_5^8 + 114266846342034701422751/589967215010755631669*c_0101_5^6 - 39189013912618660904200/589967215010755631669*c_0101_5^4 + 8215494161158973647682/589967215010755631669*c_0101_5^2 - 517521512568917336902/589967215010755631669, c_0101_4 - 19718774968358551424/589967215010755631669*c_0101_5^27 + 595626953143647446687/589967215010755631669*c_0101_5^25 - 6454262623777487533416/589967215010755631669*c_0101_5^23 + 31397493170536624848226/589967215010755631669*c_0101_5^21 - 62941469188718041841001/589967215010755631669*c_0101_5^19 + 7589936668500394178516/589967215010755631669*c_0101_5^17 + 94842874229943285262214/589967215010755631669*c_0101_5^15 + 6768880616639037332401/589967215010755631669*c_0101_5^13 - 109465503602678013280944/589967215010755631669*c_0101_5^11 + 102392036034874275290173/589967215010755631669*c_0101_5^9 - 68470439852150946103260/589967215010755631669*c_0101_5^7 + 33090311320526538819323/589967215010755631669*c_0101_5^5 - 9460641655482918614227/589967215010755631669*c_0101_5^3 + 1556780836156857063860/589967215010755631669*c_0101_5, c_0101_5^28 - 28*c_0101_5^26 + 267*c_0101_5^24 - 1043*c_0101_5^22 + 1253*c_0101_5^20 + 1100*c_0101_5^18 - 1380*c_0101_5^16 - 1237*c_0101_5^14 + 2323*c_0101_5^12 - 1951*c_0101_5^10 + 1277*c_0101_5^8 - 542*c_0101_5^6 + 140*c_0101_5^4 - 24*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB