Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 4054871350] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0256 geometric_solution 4.29426073 oriented_manifold CS_known 0.0000000000000002 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.537208098499 0.148893689588 0 2 2 0 3201 0132 1023 0132 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 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 1.301299057460 0.283779077132 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652457478201 0.826085474343 2 4 4 5 0132 2310 3201 0132 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 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.226409409719 0.527387541031 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 1 -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 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.226409409719 0.527387541031 4 6 3 6 1023 0132 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 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 1.634956712669 1.994725207322 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.386138330235 0.243265830688 ==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_3']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 462250130471136275862849/22923800149228681914620*c_0110_6^16 + 1588770627874597046100507/45847600298457363829240*c_0110_6^15 - 3915788686348438300258993/22923800149228681914620*c_0110_6^14 + 4347928740651402088906325/9169520059691472765848*c_0110_6^13 + 2038985059210546109187869/4584760029845736382924*c_0110_6^12 - 49999046010415525812585437/45847600298457363829240*c_0110_6^11 + 221388703844064448388733389/45847600298457363829240*c_0110_6^10 - 434599367415426204036486953/45847600298457363829240*c_0110_6^9 - 24330611872239677517928625/2292380014922868191462*c_0110_6^8 + 257136759279243573897931653/22923800149228681914620*c_0110_6^7 + 396258094672274718612634667/45847600298457363829240*c_0110_6^6 + 268126901815112026845817987/45847600298457363829240*c_0110_6^5 - 1190421198243492021537263/1993373926019885383880*c_0110_6^4 - 363246769778523424740270929/45847600298457363829240*c_0110_6^3 - 30209602227401257053715827/11461900074614340957310*c_0110_6^2 + 3634211628016974827844473/9169520059691472765848*c_0110_6 + 8517364395240194452351717/45847600298457363829240, c_0011_0 - 1, c_0011_1 - 2096149321000573680/49834348150497134597*c_0110_6^16 + 4419662721685816226/49834348150497134597*c_0110_6^15 - 19397835860719370551/49834348150497134597*c_0110_6^14 + 56629170204746486339/49834348150497134597*c_0110_6^13 + 24822117817904984915/49834348150497134597*c_0110_6^12 - 125461681887404585598/49834348150497134597*c_0110_6^11 + 549636289730478153883/49834348150497134597*c_0110_6^10 - 1189705120659798273555/49834348150497134597*c_0110_6^9 - 659383339614532108917/49834348150497134597*c_0110_6^8 + 1476511497406710709434/49834348150497134597*c_0110_6^7 + 364817485145557509761/49834348150497134597*c_0110_6^6 + 303393301966390412135/49834348150497134597*c_0110_6^5 - 260904557465562108724/49834348150497134597*c_0110_6^4 - 697846283973933103678/49834348150497134597*c_0110_6^3 + 107719842667790658564/49834348150497134597*c_0110_6^2 + 166639250584221809834/49834348150497134597*c_0110_6 - 12538266388128337599/49834348150497134597, c_0011_4 + 9048607856545993103/49834348150497134597*c_0110_6^16 - 17886871936778472035/49834348150497134597*c_0110_6^15 + 82292086252241885935/49834348150497134597*c_0110_6^14 - 235625104789862724460/49834348150497134597*c_0110_6^13 - 129459079139735756642/49834348150497134597*c_0110_6^12 + 498889326423077712906/49834348150497134597*c_0110_6^11 - 2314078831081479671234/49834348150497134597*c_0110_6^10 + 4883501050435348844458/49834348150497134597*c_0110_6^9 + 3246815953466155220283/49834348150497134597*c_0110_6^8 - 5404871629532965067993/49834348150497134597*c_0110_6^7 - 2090037883848504342694/49834348150497134597*c_0110_6^6 - 2197580869027605190892/49834348150497134597*c_0110_6^5 + 702021832896535338867/49834348150497134597*c_0110_6^4 + 2969514077328692124655/49834348150497134597*c_0110_6^3 + 309068446421985845532/49834348150497134597*c_0110_6^2 - 179333470133049636860/49834348150497134597*c_0110_6 - 14862582079786421925/49834348150497134597, c_0101_0 - 912060702068389035/49834348150497134597*c_0110_6^16 + 1581644101335393610/49834348150497134597*c_0110_6^15 - 6926326869663687206/49834348150497134597*c_0110_6^14 + 19744091593433173663/49834348150497134597*c_0110_6^13 + 27945796232268135330/49834348150497134597*c_0110_6^12 - 73605210045626383106/49834348150497134597*c_0110_6^11 + 215506471951293888955/49834348150497134597*c_0110_6^10 - 393314033786102956604/49834348150497134597*c_0110_6^9 - 692733355228390809694/49834348150497134597*c_0110_6^8 + 1022301811569017149581/49834348150497134597*c_0110_6^7 + 496307537698006296856/49834348150497134597*c_0110_6^6 - 101109205870208805048/49834348150497134597*c_0110_6^5 - 137915254535713475738/49834348150497134597*c_0110_6^4 - 629750303332508058386/49834348150497134597*c_0110_6^3 - 48373775026739523048/49834348150497134597*c_0110_6^2 + 173794032431043116221/49834348150497134597*c_0110_6 + 29950653407751462338/49834348150497134597, c_0101_2 - 1576564856308093650/49834348150497134597*c_0110_6^16 + 1741677013999333789/49834348150497134597*c_0110_6^15 - 10818573114708212803/49834348150497134597*c_0110_6^14 + 26389889414223180896/49834348150497134597*c_0110_6^13 + 67153673453038337711/49834348150497134597*c_0110_6^12 - 94352132988169937287/49834348150497134597*c_0110_6^11 + 335049353641453812775/49834348150497134597*c_0110_6^10 - 459430717307697819717/49834348150497134597*c_0110_6^9 - 1539984562991074128094/49834348150497134597*c_0110_6^8 + 1043266016245115773753/49834348150497134597*c_0110_6^7 + 1055316029324315557882/49834348150497134597*c_0110_6^6 + 288641338410968264780/49834348150497134597*c_0110_6^5 + 279772076684751256257/49834348150497134597*c_0110_6^4 - 798738121269357110728/49834348150497134597*c_0110_6^3 - 274979106096549721766/49834348150497134597*c_0110_6^2 + 147381076734581066968/49834348150497134597*c_0110_6 + 20074341250541700532/49834348150497134597, c_0101_3 - 5310052583574881045/49834348150497134597*c_0110_6^16 + 10540959423595735014/49834348150497134597*c_0110_6^15 - 48253113189899868477/49834348150497134597*c_0110_6^14 + 138294192657646637989/49834348150497134597*c_0110_6^13 + 76331441397570218331/49834348150497134597*c_0110_6^12 - 298147544569245617679/49834348150497134597*c_0110_6^11 + 1363135042348443444795/49834348150497134597*c_0110_6^10 - 2871452144236799969530/49834348150497134597*c_0110_6^9 - 1920807485380340195245/49834348150497134597*c_0110_6^8 + 3295403412058278158473/49834348150497134597*c_0110_6^7 + 1144047587735640003444/49834348150497134597*c_0110_6^6 + 1224777195478398301729/49834348150497134597*c_0110_6^5 - 374695917261637707042/49834348150497134597*c_0110_6^4 - 1820783069605454866805/49834348150497134597*c_0110_6^3 - 96666488938438948466/49834348150497134597*c_0110_6^2 + 136678410686464782010/49834348150497134597*c_0110_6 + 3042124239052931379/49834348150497134597, c_0110_6^17 - 2*c_0110_6^16 + 9*c_0110_6^15 - 26*c_0110_6^14 - 15*c_0110_6^13 + 59*c_0110_6^12 - 255*c_0110_6^11 + 540*c_0110_6^10 + 382*c_0110_6^9 - 677*c_0110_6^8 - 263*c_0110_6^7 - 197*c_0110_6^6 + 105*c_0110_6^5 + 374*c_0110_6^4 + 27*c_0110_6^3 - 43*c_0110_6^2 - 4*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB