Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 2934911564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0541 geometric_solution 4.56255741 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 0 0 0 0 0 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.374192960375 0.763767578895 2 3 2 0 1302 0132 1230 0132 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 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.641869591606 0.783371155813 3 1 0 1 0132 2031 0132 3012 0 0 0 0 0 -1 1 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 0 0 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 0 0 0 0.641869591606 0.783371155813 2 1 4 4 0132 0132 0132 3201 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 0 -1 0 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 0 0 0 -0.443320542977 0.571592902770 5 3 5 3 0132 2310 1023 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 -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.013861252208 2.670130073517 4 6 4 6 0132 0132 1023 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 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.472129024982 0.167446253176 6 5 6 5 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573762648596 0.037639504982 ==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_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_1'], '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_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2311325185216172685999/91227485430350933663*c_0110_6^19 - 279922881176936991995/91227485430350933663*c_0110_6^18 + 50426768872714001542439/91227485430350933663*c_0110_6^17 - 93136473532422490013968/91227485430350933663*c_0110_6^16 - 354199525971136931426723/91227485430350933663*c_0110_6^15 + 737113413541290966051420/91227485430350933663*c_0110_6^14 + 1093443147389949159427184/91227485430350933663*c_0110_6^13 - 1729319900794770405313294/91227485430350933663*c_0110_6^12 - 1981426249803274396709736/91227485430350933663*c_0110_6^11 + 1787476625559126998343966/91227485430350933663*c_0110_6^10 + 2115674265356825142002298/91227485430350933663*c_0110_6^9 - 900804810595764451971277/91227485430350933663*c_0110_6^8 - 1387712685419706517831827/91227485430350933663*c_0110_6^7 + 247335423446870513023891/91227485430350933663*c_0110_6^6 + 664706298128196930281324/91227485430350933663*c_0110_6^5 - 20453509857138467036527/91227485430350933663*c_0110_6^4 - 219644014470701078190034/91227485430350933663*c_0110_6^3 - 26520139163953007428376/91227485430350933663*c_0110_6^2 + 19625434205256256564991/91227485430350933663*c_0110_6 + 2458169342468954062980/91227485430350933663, c_0011_0 - 1, c_0011_1 - 44384053687603169956/91227485430350933663*c_0110_6^19 - 37446457723782051005/91227485430350933663*c_0110_6^18 + 977405245900869651810/91227485430350933663*c_0110_6^17 - 1094204977935092161424/91227485430350933663*c_0110_6^16 - 8372048812870273457857/91227485430350933663*c_0110_6^15 + 9914061221572931888988/91227485430350933663*c_0110_6^14 + 32813636933882749820442/91227485430350933663*c_0110_6^13 - 22999579070136134323421/91227485430350933663*c_0110_6^12 - 65202752760549584945205/91227485430350933663*c_0110_6^11 + 18011404426433896007877/91227485430350933663*c_0110_6^10 + 69464597965719173673589/91227485430350933663*c_0110_6^9 + 168912733337408003244/91227485430350933663*c_0110_6^8 - 43209542404660029750382/91227485430350933663*c_0110_6^7 - 7140713521270294617549/91227485430350933663*c_0110_6^6 + 19198264882743781032943/91227485430350933663*c_0110_6^5 + 5356615393196176582800/91227485430350933663*c_0110_6^4 - 6117883572450055623431/91227485430350933663*c_0110_6^3 - 2165168643585490787001/91227485430350933663*c_0110_6^2 + 539187531554392488791/91227485430350933663*c_0110_6 + 108775621333753938789/91227485430350933663, c_0011_4 + 3049284265627824059/91227485430350933663*c_0110_6^19 + 31005569423491923227/91227485430350933663*c_0110_6^18 - 89812389349931094858/91227485430350933663*c_0110_6^17 - 541387717931885180702/91227485430350933663*c_0110_6^16 + 2271824164488017531376/91227485430350933663*c_0110_6^15 + 2474477984778850478252/91227485430350933663*c_0110_6^14 - 14635427828973464782236/91227485430350933663*c_0110_6^13 - 3354375811975624463489/91227485430350933663*c_0110_6^12 + 33427691185263611968472/91227485430350933663*c_0110_6^11 + 6416748118505884792743/91227485430350933663*c_0110_6^10 - 38300430373585779375933/91227485430350933663*c_0110_6^9 - 11260865390754397514799/91227485430350933663*c_0110_6^8 + 24682068032013192663402/91227485430350933663*c_0110_6^7 + 10157870404331097286585/91227485430350933663*c_0110_6^6 - 10844796955307639281178/91227485430350933663*c_0110_6^5 - 5702443917238955474808/91227485430350933663*c_0110_6^4 + 3649967946329734721696/91227485430350933663*c_0110_6^3 + 2164636644537190851394/91227485430350933663*c_0110_6^2 - 366820365975000405738/91227485430350933663*c_0110_6 - 261814655902904771063/91227485430350933663, c_0101_0 + 167272798350277473018/91227485430350933663*c_0110_6^19 - 29655474937827435166/91227485430350933663*c_0110_6^18 - 3627732758401892832140/91227485430350933663*c_0110_6^17 + 7815268067307786965253/91227485430350933663*c_0110_6^16 + 23032249425627020162701/91227485430350933663*c_0110_6^15 - 59502090330691247243707/91227485430350933663*c_0110_6^14 - 60031678009341284568656/91227485430350933663*c_0110_6^13 + 138117026212457125806425/91227485430350933663*c_0110_6^12 + 100546827107733036812266/91227485430350933663*c_0110_6^11 - 149353639296075679518572/91227485430350933663*c_0110_6^10 - 107755288492479627335354/91227485430350933663*c_0110_6^9 + 87381928784313377128044/91227485430350933663*c_0110_6^8 + 74088448243115789363358/91227485430350933663*c_0110_6^7 - 33815576509200392915967/91227485430350933663*c_0110_6^6 - 37409687911863847624994/91227485430350933663*c_0110_6^5 + 9660910388435047459099/91227485430350933663*c_0110_6^4 + 12483954038957371323796/91227485430350933663*c_0110_6^3 - 554090534326144392195/91227485430350933663*c_0110_6^2 - 1182140041701568013368/91227485430350933663*c_0110_6 - 64698867950976868869/91227485430350933663, c_0101_3 - 63675303404027045870/91227485430350933663*c_0110_6^19 - 36653786511485679991/91227485430350933663*c_0110_6^18 + 1415781104474360614971/91227485430350933663*c_0110_6^17 - 1956110315584372066355/91227485430350933663*c_0110_6^16 - 11559524195472802806686/91227485430350933663*c_0110_6^15 + 17620507035512011108106/91227485430350933663*c_0110_6^14 + 42438099553467343363085/91227485430350933663*c_0110_6^13 - 46071985686647449773089/91227485430350933663*c_0110_6^12 - 79869554127513287605414/91227485430350933663*c_0110_6^11 + 49468069259268568746490/91227485430350933663*c_0110_6^10 + 84129314574855459683167/91227485430350933663*c_0110_6^9 - 23482604655411576386299/91227485430350933663*c_0110_6^8 - 54054498523607929713963/91227485430350933663*c_0110_6^7 + 4055962063189971708546/91227485430350933663*c_0110_6^6 + 25735095153368256732645/91227485430350933663*c_0110_6^5 + 1582893928619637960577/91227485430350933663*c_0110_6^4 - 8742034379801297587222/91227485430350933663*c_0110_6^3 - 1358247663810702392169/91227485430350933663*c_0110_6^2 + 839820065471031268902/91227485430350933663*c_0110_6 + 128854363018538251310/91227485430350933663, c_0101_4 + 61475141509632556832/91227485430350933663*c_0110_6^19 + 15978293166146597067/91227485430350933663*c_0110_6^18 - 1331358620809194145230/91227485430350933663*c_0110_6^17 + 2273766352136394544610/91227485430350933663*c_0110_6^16 + 9581965210181221196304/91227485430350933663*c_0110_6^15 - 17556597897104678498928/91227485430350933663*c_0110_6^14 - 31448523006423548184478/91227485430350933663*c_0110_6^13 + 37157682458555847497168/91227485430350933663*c_0110_6^12 + 61808280465999879565324/91227485430350933663*c_0110_6^11 - 30656756700142223040393/91227485430350933663*c_0110_6^10 - 69145294608706847922105/91227485430350933663*c_0110_6^9 + 6058826574960006996139/91227485430350933663*c_0110_6^8 + 45567077594123944215374/91227485430350933663*c_0110_6^7 + 5148541670167162949066/91227485430350933663*c_0110_6^6 - 20958818694151833508075/91227485430350933663*c_0110_6^5 - 5368616651773934854511/91227485430350933663*c_0110_6^4 + 6545272902874333378425/91227485430350933663*c_0110_6^3 + 3000188355434346649140/91227485430350933663*c_0110_6^2 - 607125690119831176593/91227485430350933663*c_0110_6 - 331930847607221944711/91227485430350933663, c_0110_6^20 - 22*c_0110_6^18 + 43*c_0110_6^17 + 152*c_0110_6^16 - 346*c_0110_6^15 - 456*c_0110_6^14 + 869*c_0110_6^13 + 816*c_0110_6^12 - 1023*c_0110_6^11 - 902*c_0110_6^10 + 660*c_0110_6^9 + 643*c_0110_6^8 - 275*c_0110_6^7 - 339*c_0110_6^6 + 82*c_0110_6^5 + 127*c_0110_6^4 - 12*c_0110_6^3 - 21*c_0110_6^2 + c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB