Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3398129386] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s248 geometric_solution 4.41317377 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 1023 2031 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 0 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421263397054 0.061020901808 0 2 0 2 0132 0132 1023 2310 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 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.642274088987 0.892499485335 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 -1 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.184535204439 2.650048231183 4 4 5 2 1302 1023 0132 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 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.366009264512 0.595635920846 3 3 2 5 1023 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.366009264512 0.595635920846 5 4 5 3 2310 2310 3201 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 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.174042179009 0.860190169596 ==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' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), '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_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_0011_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 197587730672942101/11612589382306045*c_0101_4^18 + 259127429760145966/2322517876461209*c_0101_4^17 + 54089368286415267/2322517876461209*c_0101_4^16 - 15378400785512180312/11612589382306045*c_0101_4^15 + 2166708616081111813/2322517876461209*c_0101_4^14 + 80608776820065836862/11612589382306045*c_0101_4^13 - 78322992464561297387/11612589382306045*c_0101_4^12 - 177441794454657464519/11612589382306045*c_0101_4^11 + 32627251015450560737/2322517876461209*c_0101_4^10 + 227143361349814953662/11612589382306045*c_0101_4^9 - 22090355746290429724/1658941340329435*c_0101_4^8 - 195353539675191654217/11612589382306045*c_0101_4^7 + 69840453356496751202/11612589382306045*c_0101_4^6 + 106505212645148758103/11612589382306045*c_0101_4^5 - 7542390213367261601/11612589382306045*c_0101_4^4 - 30846600977860345994/11612589382306045*c_0101_4^3 - 3945832034779504589/11612589382306045*c_0101_4^2 + 3006034537113608587/11612589382306045*c_0101_4 + 472717014129492744/11612589382306045, c_0011_0 - 1, c_0011_3 + 891839306022715/331788268065887*c_0101_4^18 - 5672519913888576/331788268065887*c_0101_4^17 - 2366564082997185/331788268065887*c_0101_4^16 + 69155124574766488/331788268065887*c_0101_4^15 - 35322782352699525/331788268065887*c_0101_4^14 - 373284864705150181/331788268065887*c_0101_4^13 + 282987078007326604/331788268065887*c_0101_4^12 + 869517162203244108/331788268065887*c_0101_4^11 - 586113526309977845/331788268065887*c_0101_4^10 - 1167710496725182557/331788268065887*c_0101_4^9 + 522792875407431268/331788268065887*c_0101_4^8 + 1009953768202909589/331788268065887*c_0101_4^7 - 183335112221371168/331788268065887*c_0101_4^6 - 529517938986457126/331788268065887*c_0101_4^5 - 28301058797307230/331788268065887*c_0101_4^4 + 140446596446844506/331788268065887*c_0101_4^3 + 32011221887663307/331788268065887*c_0101_4^2 - 10413262878326047/331788268065887*c_0101_4 - 2816119231581061/331788268065887, c_0011_5 - 49136946700727/331788268065887*c_0101_4^18 + 146027507061265/331788268065887*c_0101_4^17 + 1340061262588380/331788268065887*c_0101_4^16 - 4424142037209748/331788268065887*c_0101_4^15 - 10686107059358999/331788268065887*c_0101_4^14 + 38720645736630923/331788268065887*c_0101_4^13 + 40531691255036037/331788268065887*c_0101_4^12 - 155484791843768415/331788268065887*c_0101_4^11 - 45192996037649583/331788268065887*c_0101_4^10 + 266970560984571720/331788268065887*c_0101_4^9 + 21864169924304623/331788268065887*c_0101_4^8 - 239429977072221673/331788268065887*c_0101_4^7 - 21244414871771332/331788268065887*c_0101_4^6 + 123244299448298691/331788268065887*c_0101_4^5 + 20134067387159057/331788268065887*c_0101_4^4 - 32037118531524412/331788268065887*c_0101_4^3 - 7639086456461278/331788268065887*c_0101_4^2 + 2487770328869013/331788268065887*c_0101_4 + 410933346989540/331788268065887, c_0101_0 + 1944915607701691/331788268065887*c_0101_4^18 - 12442781670090541/331788268065887*c_0101_4^17 - 4816604351418125/331788268065887*c_0101_4^16 + 151931106189432301/331788268065887*c_0101_4^15 - 83695648226714867/331788268065887*c_0101_4^14 - 819709067820066889/331788268065887*c_0101_4^13 + 666588703388276276/331788268065887*c_0101_4^12 + 1903803931268075385/331788268065887*c_0101_4^11 - 1452097078805859295/331788268065887*c_0101_4^10 - 2503263383860637845/331788268065887*c_0101_4^9 + 1409535019009653486/331788268065887*c_0101_4^8 + 2107196359713889291/331788268065887*c_0101_4^7 - 614454166238239613/331788268065887*c_0101_4^6 - 1091562062164496079/331788268065887*c_0101_4^5 + 35560336894898699/331788268065887*c_0101_4^4 + 291161136101420297/331788268065887*c_0101_4^3 + 48546947038048153/331788268065887*c_0101_4^2 - 22011723994455745/331788268065887*c_0101_4 - 5105948895653440/331788268065887, c_0101_1 - 742721615055427/331788268065887*c_0101_4^18 + 4505466637033289/331788268065887*c_0101_4^17 + 3567580568215870/331788268065887*c_0101_4^16 - 58529625621856259/331788268065887*c_0101_4^15 + 13336801417874872/331788268065887*c_0101_4^14 + 335255452838580598/331788268065887*c_0101_4^13 - 167954206756275221/331788268065887*c_0101_4^12 - 862724519121393726/331788268065887*c_0101_4^11 + 414694635498112438/331788268065887*c_0101_4^10 + 1209037766829503692/331788268065887*c_0101_4^9 - 411801275920379985/331788268065887*c_0101_4^8 - 1027509236709352781/331788268065887*c_0101_4^7 + 142133445499960736/331788268065887*c_0101_4^6 + 523324226649239984/331788268065887*c_0101_4^5 + 33469961328396406/331788268065887*c_0101_4^4 - 133770474490639388/331788268065887*c_0101_4^3 - 31094218748186883/331788268065887*c_0101_4^2 + 8713596339582592/331788268065887*c_0101_4 + 2711280976518976/331788268065887, c_0101_4^19 - 6*c_0101_4^18 - 5*c_0101_4^17 + 77*c_0101_4^16 - 12*c_0101_4^15 - 437*c_0101_4^14 + 174*c_0101_4^13 + 1107*c_0101_4^12 - 349*c_0101_4^11 - 1567*c_0101_4^10 + 195*c_0101_4^9 + 1354*c_0101_4^8 + 131*c_0101_4^7 - 676*c_0101_4^6 - 211*c_0101_4^5 + 153*c_0101_4^4 + 85*c_0101_4^3 - c_0101_4^2 - 7*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB