Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 4223297501] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s078 geometric_solution 3.62127655 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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.524774234092 0.036829851985 2 0 2 0 0132 2310 1023 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 0.578984439360 0.096252686844 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.933608412441 1.393010654522 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0.018931479807 1.962164962728 5 5 3 5 1302 2031 0132 3012 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 -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.492784996433 0.502344868303 4 4 4 3 1302 2031 1230 0132 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 -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.492784996433 0.502344868303 ==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_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_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_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_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' : d['c_0011_4'], 'c_0011_4' : 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' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 36745212680941579284377575403/971887283765671657072705285*c_0110_4^\ 16 + 95727371802922384246929911356/194377456753134331414541057*c_01\ 10_4^15 + 6197877910590368503440630323972/9718872837656716570727052\ 85*c_0110_4^14 + 20560652207402125959060703887453/97188728376567165\ 7072705285*c_0110_4^13 + 12642162493689749484794500393004/971887283\ 765671657072705285*c_0110_4^12 - 8186814781751909853566853712069/19\ 4377456753134331414541057*c_0110_4^11 - 5651604169195338109513510318170/194377456753134331414541057*c_0110_\ 4^10 + 56777548270645491787657663857012/971887283765671657072705285\ *c_0110_4^9 + 9480653214505381277760607397652/971887283765671657072\ 705285*c_0110_4^8 - 69573630829801325972154142708041/97188728376567\ 1657072705285*c_0110_4^7 - 16045658368827862798774169605393/9718872\ 83765671657072705285*c_0110_4^6 + 7607435719247807335410047600138/1\ 94377456753134331414541057*c_0110_4^5 + 24571835383525351315222152265626/971887283765671657072705285*c_0110\ _4^4 - 990643811522297337124398540759/194377456753134331414541057*c\ _0110_4^3 - 8567018199607006878395678383127/97188728376567165707270\ 5285*c_0110_4^2 - 609647653074621523290188102633/971887283765671657\ 072705285*c_0110_4 + 671713392478485240643902198961/971887283765671\ 657072705285, c_0011_0 - 1, c_0011_1 - 76740456674357429582429222/194377456753134331414541057*c_011\ 0_4^16 + 1037292868709991268488731115/194377456753134331414541057*c\ _0110_4^15 + 12430933573677175323971484382/194377456753134331414541\ 057*c_0110_4^14 + 36882678631275960042915458635/1943774567531343314\ 14541057*c_0110_4^13 + 8900676031303639669589440093/194377456753134\ 331414541057*c_0110_4^12 - 87801628746032654613881159696/1943774567\ 53134331414541057*c_0110_4^11 - 14291052993969556690958758465/19437\ 7456753134331414541057*c_0110_4^10 + 122826674872315391912905688057/194377456753134331414541057*c_0110_4\ ^9 - 42058065006079240018021380763/194377456753134331414541057*c_01\ 10_4^8 - 120286042090066256535641952201/194377456753134331414541057\ *c_0110_4^7 + 25380456092645879701562578961/19437745675313433141454\ 1057*c_0110_4^6 + 62402155212989161251628270421/1943774567531343314\ 14541057*c_0110_4^5 + 19435495836933191336731184579/194377456753134\ 331414541057*c_0110_4^4 - 18830359729654456520306038019/19437745675\ 3134331414541057*c_0110_4^3 - 7523592889893643507352711418/19437745\ 6753134331414541057*c_0110_4^2 + 2456444304208572574728202534/19437\ 7456753134331414541057*c_0110_4 - 51021235084894718139706447/194377\ 456753134331414541057, c_0011_4 - 21444713226282318194643216/194377456753134331414541057*c_011\ 0_4^16 + 280561137278236755920250202/194377456753134331414541057*c_\ 0110_4^15 + 3600356242787645928860375088/19437745675313433141454105\ 7*c_0110_4^14 + 11802420388801463093353448894/194377456753134331414\ 541057*c_0110_4^13 + 6832224565445152143143503410/19437745675313433\ 1414541057*c_0110_4^12 - 23818964560168035888280119840/194377456753\ 134331414541057*c_0110_4^11 - 14853379398954563686385579192/1943774\ 56753134331414541057*c_0110_4^10 + 32643039484602203467991650819/194377456753134331414541057*c_0110_4^\ 9 + 2192343685238624562841550740/194377456753134331414541057*c_0110\ _4^8 - 39117345061831224984209815442/194377456753134331414541057*c_\ 0110_4^7 - 6333212606763130139824899474/194377456753134331414541057\ *c_0110_4^6 + 20141530534437342565657045517/19437745675313433141454\ 1057*c_0110_4^5 + 12577115570453736622629571118/1943774567531343314\ 14541057*c_0110_4^4 - 2190819489196802617575927967/1943774567531343\ 31414541057*c_0110_4^3 - 3676252643456354372628747170/1943774567531\ 34331414541057*c_0110_4^2 - 52441735730726660521676489/194377456753\ 134331414541057*c_0110_4 + 71741644286772490064456362/1943774567531\ 34331414541057, c_0101_0 + 73384140272021971742328735/194377456753134331414541057*c_011\ 0_4^16 - 969135875232953849302405121/194377456753134331414541057*c_\ 0110_4^15 - 12196883865391138294297078078/1943774567531343314145410\ 57*c_0110_4^14 - 38941558229579622025905348190/19437745675313433141\ 4541057*c_0110_4^13 - 19189805820402078789011231485/194377456753134\ 331414541057*c_0110_4^12 + 82382140792321184031823876849/1943774567\ 53134331414541057*c_0110_4^11 + 41226732220310895081367595962/19437\ 7456753134331414541057*c_0110_4^10 - 113060798057953836734098436286/194377456753134331414541057*c_0110_4\ ^9 + 3108787884480560281602379570/194377456753134331414541057*c_011\ 0_4^8 + 127768446636827200973450908806/194377456753134331414541057*\ c_0110_4^7 + 11925791528257499226818819921/194377456753134331414541\ 057*c_0110_4^6 - 67538126766999102038944856484/19437745675313433141\ 4541057*c_0110_4^5 - 39266929802561723698988781122/1943774567531343\ 31414541057*c_0110_4^4 + 10799864453563614039033389294/194377456753\ 134331414541057*c_0110_4^3 + 12763033350204270201349280570/19437745\ 6753134331414541057*c_0110_4^2 + 470099691850358987664367465/194377\ 456753134331414541057*c_0110_4 - 277463058121338006726504620/194377\ 456753134331414541057, c_0101_1 - 30750440500106289708509523/194377456753134331414541057*c_011\ 0_4^16 + 413712491049197729027389583/194377456753134331414541057*c_\ 0110_4^15 + 5007554428967864103796485520/19437745675313433141454105\ 7*c_0110_4^14 + 15089431290014794554365095004/194377456753134331414\ 541057*c_0110_4^13 + 4480401487258566852366299531/19437745675313433\ 1414541057*c_0110_4^12 - 34892242992111526714238745880/194377456753\ 134331414541057*c_0110_4^11 - 7532329526363966703982809177/19437745\ 6753134331414541057*c_0110_4^10 + 49043140724262822096477717750/194\ 377456753134331414541057*c_0110_4^9 - 14935914615805362822151376191/194377456753134331414541057*c_0110_4^\ 8 - 49548336453846590022530923686/194377456753134331414541057*c_011\ 0_4^7 + 8700306774062494729473538246/194377456753134331414541057*c_\ 0110_4^6 + 24971269987184839436109462691/19437745675313433141454105\ 7*c_0110_4^5 + 8074748743871606170391489723/19437745675313433141454\ 1057*c_0110_4^4 - 6400017070267148926299472727/19437745675313433141\ 4541057*c_0110_4^3 - 3000362633392339525526230185/19437745675313433\ 1414541057*c_0110_4^2 + 1013721384163371166385734217/19437745675313\ 4331414541057*c_0110_4 - 5178327900302425331805407/1943774567531343\ 31414541057, c_0110_4^17 - 13*c_0110_4^16 - 169*c_0110_4^15 - 564*c_0110_4^14 - 360*c_0110_4^13 + 1099*c_0110_4^12 + 790*c_0110_4^11 - 1519*c_0110_4^10 - 282*c_0110_4^9 + 1879*c_0110_4^8 + 470*c_0110_4^7 - 1008*c_0110_4^6 - 677*c_0110_4^5 + 111*c_0110_4^4 + 224*c_0110_4^3 + 19*c_0110_4^2 - 15*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB