Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 2766485572] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0648 geometric_solution 4.63521367 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255263361684 0.065198026400 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 0 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.933038769766 0.242963370313 3 0 3 0 0132 2310 2310 0132 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.270092587561 1.526978113384 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 2 -1 0 0 1 -1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.064323301852 0.960044042944 6 5 5 3 0132 1023 2031 0132 0 0 0 0 0 1 1 -2 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 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.355184906484 0.763785605573 4 6 3 4 1023 2310 0132 1302 0 0 0 0 0 0 1 -1 -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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355184906484 0.763785605573 4 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 -1 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 0 1 -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.049839874225 0.980064408753 ==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_0011_4']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 62871545226881573618/2975834537557462797*c_0101_4^18 - 771307813273600296562/2975834537557462797*c_0101_4^17 + 3601352806112918785798/2975834537557462797*c_0101_4^16 - 7436664431365497329555/2975834537557462797*c_0101_4^15 + 1833414087895335581502/991944845852487599*c_0101_4^14 - 3357082940043622923113/2975834537557462797*c_0101_4^13 + 20882626930030778386841/2975834537557462797*c_0101_4^12 - 30028171936657725480233/2975834537557462797*c_0101_4^11 + 300609729338848618472/2975834537557462797*c_0101_4^10 + 11760162404714298717980/2975834537557462797*c_0101_4^9 - 12494189552170283644468/2975834537557462797*c_0101_4^8 + 9304687527777295353307/2975834537557462797*c_0101_4^7 + 17724758293984006236886/2975834537557462797*c_0101_4^6 - 1075023339180757165376/2975834537557462797*c_0101_4^5 - 15709173668155680039151/2975834537557462797*c_0101_4^4 - 899933476161605227039/2975834537557462797*c_0101_4^3 + 1429141291163363212167/991944845852487599*c_0101_4^2 + 380453703126243772/15580285536950067*c_0101_4 - 80901586051049726910/991944845852487599, c_0011_0 - 1, c_0011_2 + 86981978329595/225801239665943*c_0101_4^18 - 1032612143078675/225801239665943*c_0101_4^17 + 4589070504601362/225801239665943*c_0101_4^16 - 8665718651918138/225801239665943*c_0101_4^15 + 5096263341863213/225801239665943*c_0101_4^14 - 4575971199653878/225801239665943*c_0101_4^13 + 28745164405427332/225801239665943*c_0101_4^12 - 31559571683311303/225801239665943*c_0101_4^11 - 6334152255604843/225801239665943*c_0101_4^10 + 5744478456646835/225801239665943*c_0101_4^9 - 13228829474354590/225801239665943*c_0101_4^8 + 8450248068211186/225801239665943*c_0101_4^7 + 24843469569336568/225801239665943*c_0101_4^6 + 10832436899229358/225801239665943*c_0101_4^5 - 13948269097282611/225801239665943*c_0101_4^4 - 6105707710906315/225801239665943*c_0101_4^3 + 632784776246737/225801239665943*c_0101_4^2 + 553126628750081/225801239665943*c_0101_4 + 261844964397406/225801239665943, c_0011_4 + 3305309863082075/129384110328585339*c_0101_4^18 - 18507784501831000/129384110328585339*c_0101_4^17 - 77635844013783104/129384110328585339*c_0101_4^16 + 833775301858866181/129384110328585339*c_0101_4^15 - 724173671258121271/43128036776195113*c_0101_4^14 + 1573048887906580525/129384110328585339*c_0101_4^13 - 207481414531275280/129384110328585339*c_0101_4^12 + 5808048246651826564/129384110328585339*c_0101_4^11 - 9575774898919696705/129384110328585339*c_0101_4^10 + 460835650648650638/129384110328585339*c_0101_4^9 + 1921113434229913709/129384110328585339*c_0101_4^8 - 3579462921312858167/129384110328585339*c_0101_4^7 + 4003554062986494301/129384110328585339*c_0101_4^6 + 5951332562733352777/129384110328585339*c_0101_4^5 + 181790012670456122/129384110328585339*c_0101_4^4 - 4485357424700734318/129384110328585339*c_0101_4^3 - 191666815162868373/43128036776195113*c_0101_4^2 + 3616052036552740/677403718997829*c_0101_4 + 13425515275948716/43128036776195113, c_0101_0 + 24754935798776597/43128036776195113*c_0101_4^18 - 919554932104394929/129384110328585339*c_0101_4^17 + 4358318266650639482/129384110328585339*c_0101_4^16 - 9276215707601946788/129384110328585339*c_0101_4^15 + 7543468403536297408/129384110328585339*c_0101_4^14 - 1618948155318443227/43128036776195113*c_0101_4^13 + 25375695078867613066/129384110328585339*c_0101_4^12 - 38490300826354177456/129384110328585339*c_0101_4^11 + 4659417989864658265/129384110328585339*c_0101_4^10 + 13047545275875847055/129384110328585339*c_0101_4^9 - 15407776498495232575/129384110328585339*c_0101_4^8 + 12609339151188750296/129384110328585339*c_0101_4^7 + 19329353901467750875/129384110328585339*c_0101_4^6 - 3271465293889287377/129384110328585339*c_0101_4^5 - 18661000323465261968/129384110328585339*c_0101_4^4 + 553910237256040970/129384110328585339*c_0101_4^3 + 5039097946571430596/129384110328585339*c_0101_4^2 + 52138296198501/225801239665943*c_0101_4 - 256566753589963111/129384110328585339, c_0101_1 + 150269840424604388/129384110328585339*c_0101_4^18 - 1828313256025651814/129384110328585339*c_0101_4^17 + 2810818076513191613/43128036776195113*c_0101_4^16 - 17036421636358524094/129384110328585339*c_0101_4^15 + 11928329880986393878/129384110328585339*c_0101_4^14 - 7748896602331007732/129384110328585339*c_0101_4^13 + 16535708513772254562/43128036776195113*c_0101_4^12 - 22376230965600092732/43128036776195113*c_0101_4^11 - 1015174394009183409/43128036776195113*c_0101_4^10 + 24566548705982035045/129384110328585339*c_0101_4^9 - 28506593084470798730/129384110328585339*c_0101_4^8 + 6847803222717718776/43128036776195113*c_0101_4^7 + 42576854915067667655/129384110328585339*c_0101_4^6 + 2624737375977232058/129384110328585339*c_0101_4^5 - 11470031728801921533/43128036776195113*c_0101_4^4 - 4446140330351776922/129384110328585339*c_0101_4^3 + 8212227615103760066/129384110328585339*c_0101_4^2 + 2747534697204601/677403718997829*c_0101_4 - 377307344702133712/129384110328585339, c_0101_2 + 47627789679837160/129384110328585339*c_0101_4^18 - 560739656672426117/129384110328585339*c_0101_4^17 + 2447195417108957042/129384110328585339*c_0101_4^16 - 4375566739414748194/129384110328585339*c_0101_4^15 + 585320411128220173/43128036776195113*c_0101_4^14 - 1058301002144608732/129384110328585339*c_0101_4^13 + 14555874905870932072/129384110328585339*c_0101_4^12 - 14918667578229207973/129384110328585339*c_0101_4^11 - 8767709301319021727/129384110328585339*c_0101_4^10 + 7548007270645743229/129384110328585339*c_0101_4^9 - 7618898944834475795/129384110328585339*c_0101_4^8 + 3498686051606623787/129384110328585339*c_0101_4^7 + 15668676890723501525/129384110328585339*c_0101_4^6 + 5949933810276364799/129384110328585339*c_0101_4^5 - 9476794456167067754/129384110328585339*c_0101_4^4 - 4713900294401493920/129384110328585339*c_0101_4^3 + 622079459706711435/43128036776195113*c_0101_4^2 + 2803122300731381/677403718997829*c_0101_4 - 15491927905280270/43128036776195113, c_0101_4^19 - 12*c_0101_4^18 + 54*c_0101_4^17 - 103*c_0101_4^16 + 56*c_0101_4^15 - 30*c_0101_4^14 + 317*c_0101_4^13 - 388*c_0101_4^12 - 122*c_0101_4^11 + 190*c_0101_4^10 - 154*c_0101_4^9 + 96*c_0101_4^8 + 320*c_0101_4^7 + 58*c_0101_4^6 - 252*c_0101_4^5 - 77*c_0101_4^4 + 64*c_0101_4^3 + 18*c_0101_4^2 - 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB