Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2328565349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1923 geometric_solution 5.52358800 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.883874473435 0.444032953026 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527077188314 0.994691788320 3 1 4 5 2310 0132 0132 0132 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 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.088802814481 0.635848522381 4 6 2 1 1023 0132 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 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.088802814481 0.635848522381 6 3 5 2 2310 1023 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 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 1.658730669170 1.485379870547 6 4 2 6 3012 3201 0132 1230 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 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 0.146920384545 0.639473172833 5 3 4 5 3012 0132 3201 1230 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 -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.146920384545 0.639473172833 ==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' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 67141787399941089/280431015909202480*c_0101_4^12 + 1246204207569037743/560862031818404960*c_0101_4^11 - 1764820778210889961/280431015909202480*c_0101_4^10 + 1795220189854176039/112172406363680992*c_0101_4^9 - 1838327442162249011/56086203181840496*c_0101_4^8 + 8741784808917773069/560862031818404960*c_0101_4^7 + 21774899094988420243/560862031818404960*c_0101_4^6 + 30360643540752627593/560862031818404960*c_0101_4^5 + 16320607801818235033/280431015909202480*c_0101_4^4 + 2428425004197106433/140215507954601240*c_0101_4^3 - 1099715637889284943/70107753977300620*c_0101_4^2 + 850564542433797859/35053876988650310*c_0101_4 - 362518677312086454/17526938494325155, c_0011_0 - 1, c_0011_3 + 94250966730957/16024629480525856*c_0101_4^12 - 450305325294533/8012314740262928*c_0101_4^11 + 2694992100917329/16024629480525856*c_0101_4^10 - 3397626835410003/8012314740262928*c_0101_4^9 + 14302267770068265/16024629480525856*c_0101_4^8 - 9004034119683407/16024629480525856*c_0101_4^7 - 14798364847221407/16024629480525856*c_0101_4^6 - 2433232977106819/2003078685065732*c_0101_4^5 - 768240733036907/1001539342532866*c_0101_4^4 + 496010820030023/500769671266433*c_0101_4^3 + 717732846221419/1001539342532866*c_0101_4^2 - 775659001257679/1001539342532866*c_0101_4 + 130238008761029/500769671266433, c_0011_5 - 94250966730957/16024629480525856*c_0101_4^12 + 450305325294533/8012314740262928*c_0101_4^11 - 2694992100917329/16024629480525856*c_0101_4^10 + 3397626835410003/8012314740262928*c_0101_4^9 - 14302267770068265/16024629480525856*c_0101_4^8 + 9004034119683407/16024629480525856*c_0101_4^7 + 14798364847221407/16024629480525856*c_0101_4^6 + 2433232977106819/2003078685065732*c_0101_4^5 + 768240733036907/1001539342532866*c_0101_4^4 - 496010820030023/500769671266433*c_0101_4^3 - 717732846221419/1001539342532866*c_0101_4^2 + 775659001257679/1001539342532866*c_0101_4 - 130238008761029/500769671266433, c_0101_0 + 24918672979807/8012314740262928*c_0101_4^12 - 269319606848213/8012314740262928*c_0101_4^11 + 1023128308296985/8012314740262928*c_0101_4^10 - 2790632493805773/8012314740262928*c_0101_4^9 + 6203651207750461/8012314740262928*c_0101_4^8 - 917814784384893/1001539342532866*c_0101_4^7 - 41879528628614/500769671266433*c_0101_4^6 + 2161251005681437/8012314740262928*c_0101_4^5 - 280681529410745/1001539342532866*c_0101_4^4 + 110653682649423/500769671266433*c_0101_4^3 - 286749175393911/1001539342532866*c_0101_4^2 - 50233634556223/500769671266433*c_0101_4 + 669201277716138/500769671266433, c_0101_1 + 30650792905003/8012314740262928*c_0101_4^12 - 41923869820467/1001539342532866*c_0101_4^11 + 1305095299497171/8012314740262928*c_0101_4^10 - 451942337507623/1001539342532866*c_0101_4^9 + 8104459573557275/8012314740262928*c_0101_4^8 - 10106740566527575/8012314740262928*c_0101_4^7 + 317756802200525/8012314740262928*c_0101_4^6 + 1530408280325529/4006157370131464*c_0101_4^5 - 726655796749751/2003078685065732*c_0101_4^4 + 230476485329335/2003078685065732*c_0101_4^3 - 105027783555941/500769671266433*c_0101_4^2 - 323356720865397/500769671266433*c_0101_4 + 474170794103737/500769671266433, c_0101_2 + 5611237042041/16024629480525856*c_0101_4^12 - 56514952665999/8012314740262928*c_0101_4^11 + 693610190198353/16024629480525856*c_0101_4^10 - 892136927497589/8012314740262928*c_0101_4^9 + 4253256476997289/16024629480525856*c_0101_4^8 - 7436565013020543/16024629480525856*c_0101_4^7 + 846705382510477/16024629480525856*c_0101_4^6 + 260196213986045/500769671266433*c_0101_4^5 + 5505436040599665/4006157370131464*c_0101_4^4 + 1363740561675891/2003078685065732*c_0101_4^3 + 83943546536203/500769671266433*c_0101_4^2 - 373929374222427/1001539342532866*c_0101_4 + 83586860974167/500769671266433, c_0101_4^13 - 10*c_0101_4^12 + 33*c_0101_4^11 - 86*c_0101_4^10 + 185*c_0101_4^9 - 163*c_0101_4^8 - 119*c_0101_4^7 - 92*c_0101_4^6 - 108*c_0101_4^5 + 104*c_0101_4^4 + 64*c_0101_4^3 - 160*c_0101_4^2 + 128*c_0101_4 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB