Magma V2.19-8 Tue Aug 20 2013 16:19:24 on localhost [Seed = 1393741394] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3500 geometric_solution 6.76554233 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.535881090094 0.594298377687 0 3 0 4 0132 1302 2310 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 -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.163155350839 0.928070474152 5 3 6 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.715255973422 0.742507268698 2 4 0 1 1230 1302 0132 2031 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 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.890550246156 0.886778422407 5 6 1 3 1230 3012 0132 2031 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 0 0 0 1 0 -1 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.450262073749 1.174117211855 2 4 5 5 0132 3012 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -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 1 -1 0 0 0 -1 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.536838978966 0.912064065083 4 6 6 2 1230 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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.039986561504 0.863791220359 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0011_2'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 43135124280255752146193355379817/273344752765829413825766191604*c_0\ 101_0^21 + 578455719809491346625160785095/6833618819145735345644154\ 7901*c_0101_0^20 + 129184187247886694327201472303227/27334475276582\ 9413825766191604*c_0101_0^19 - 46554381596561497243859234046683/136\ 672376382914706912883095802*c_0101_0^18 + 48365568929570105474285731778365/273344752765829413825766191604*c_0\ 101_0^17 - 389720815917751380605833075689045/1366723763829147069128\ 83095802*c_0101_0^16 - 712189863590891238414498571361183/1366723763\ 82914706912883095802*c_0101_0^15 + 1497791972646132231470644554650293/273344752765829413825766191604*c\ _0101_0^14 - 383691066970856231883045403158795/27334475276582941382\ 5766191604*c_0101_0^13 + 1017779777914382558408982035768031/2733447\ 52765829413825766191604*c_0101_0^12 + 1624370171314297795851050691032455/68336188191457353456441547901*c_\ 0101_0^11 - 42048225691024690971679996422983/1366723763829147069128\ 83095802*c_0101_0^10 + 2379618993852810699938538640299809/136672376\ 382914706912883095802*c_0101_0^9 + 2280008844269958454000235293654379/273344752765829413825766191604*c\ _0101_0^8 - 1875278511453633192123396855802417/27334475276582941382\ 5766191604*c_0101_0^7 + 864967530271781684385773285616553/136672376\ 382914706912883095802*c_0101_0^6 - 1541625673466695168016673325240109/24849522978711764893251471964*c_\ 0101_0^5 - 1858233584823797110745007832434661/248495229787117648932\ 51471964*c_0101_0^4 - 13049233355941719980615958169715863/273344752\ 765829413825766191604*c_0101_0^3 - 3236419401155074586530588556727759/273344752765829413825766191604*c\ _0101_0^2 + 7109019731238102620226202521517001/27334475276582941382\ 5766191604*c_0101_0 + 1757612175704594243879694549871179/1366723763\ 82914706912883095802, c_0011_0 - 1, c_0011_2 - 261595896433942837238028907/12424761489355882446625735982*c_\ 0101_0^21 + 70290411984457651810871636/6212380744677941223312867991\ *c_0101_0^20 + 726590295957461514502147497/124247614893558824466257\ 35982*c_0101_0^19 - 424069018306285326425107729/6212380744677941223\ 312867991*c_0101_0^18 + 607647033500424187442775059/124247614893558\ 82446625735982*c_0101_0^17 - 2572146709920319764359169662/621238074\ 4677941223312867991*c_0101_0^16 - 2943139982246598390749438473/6212\ 380744677941223312867991*c_0101_0^15 + 11842715227038537284030077403/12424761489355882446625735982*c_0101_\ 0^14 - 6137473095934005201790657749/12424761489355882446625735982*c\ _0101_0^13 + 9669849333505180271176271953/1242476148935588244662573\ 5982*c_0101_0^12 + 15836638076359811815719580390/621238074467794122\ 3312867991*c_0101_0^11 - 6386059477057388403868487109/6212380744677\ 941223312867991*c_0101_0^10 + 14862849621485114216534143366/6212380\ 744677941223312867991*c_0101_0^9 - 5304402886923346278435692897/12424761489355882446625735982*c_0101_0\ ^8 - 3929069008200116158038830357/12424761489355882446625735982*c_0\ 101_0^7 + 131363731271827461719144019/6212380744677941223312867991*\ c_0101_0^6 - 98078657915042090560380438607/124247614893558824466257\ 35982*c_0101_0^5 - 80204371919605561613448703853/124247614893558824\ 46625735982*c_0101_0^4 - 35014329212500590750053744655/124247614893\ 55882446625735982*c_0101_0^3 + 18400901297623591494524465893/124247\ 61489355882446625735982*c_0101_0^2 + 47298507891423642301382426707/12424761489355882446625735982*c_0101_\ 0 + 1581662058418333935554328684/6212380744677941223312867991, c_0011_3 - 273476971275455974292911165/12424761489355882446625735982*c_\ 0101_0^21 - 9357745169680578748947831/6212380744677941223312867991*\ c_0101_0^20 + 939626486446596539819586881/1242476148935588244662573\ 5982*c_0101_0^19 - 311909160101227727801268428/62123807446779412233\ 12867991*c_0101_0^18 + 1461340453553789482444541/124247614893558824\ 46625735982*c_0101_0^17 - 2186124742346715315064619425/621238074467\ 7941223312867991*c_0101_0^16 - 5107272470175760680763846148/6212380\ 744677941223312867991*c_0101_0^15 + 11024040990693659345500307923/12424761489355882446625735982*c_0101_\ 0^14 - 262335870193388037319039987/12424761489355882446625735982*c_\ 0101_0^13 + 901255945493279404012103997/124247614893558824466257359\ 82*c_0101_0^12 + 24196319523040462743958234941/62123807446779412233\ 12867991*c_0101_0^11 - 1467773669277918619122212334/621238074467794\ 1223312867991*c_0101_0^10 + 10538017025774730979999697407/621238074\ 4677941223312867991*c_0101_0^9 + 26774910616346929497913585959/1242\ 4761489355882446625735982*c_0101_0^8 - 25526398145143324654419959649/12424761489355882446625735982*c_0101_\ 0^7 + 9905455744011427650121565513/6212380744677941223312867991*c_0\ 101_0^6 - 120529867344779926503942614957/12424761489355882446625735\ 982*c_0101_0^5 - 130611590726192207069228383661/1242476148935588244\ 6625735982*c_0101_0^4 - 66463373109460259428728462167/1242476148935\ 5882446625735982*c_0101_0^3 - 11573098339489644195279971909/1242476\ 1489355882446625735982*c_0101_0^2 + 44171628351130797567564183785/12424761489355882446625735982*c_0101_\ 0 + 7245918413720747707126693808/6212380744677941223312867991, c_0011_4 + 112501678562487450520722041/12424761489355882446625735982*c_\ 0101_0^21 - 46791500858259498949334525/6212380744677941223312867991\ *c_0101_0^20 - 184795281611846594705346827/124247614893558824466257\ 35982*c_0101_0^19 + 139028282375499684090636079/6212380744677941223\ 312867991*c_0101_0^18 - 532067239289669409287458493/124247614893558\ 82446625735982*c_0101_0^17 + 1470481814063049154696981447/621238074\ 4677941223312867991*c_0101_0^16 + 508167724556301924456986507/62123\ 80744677941223312867991*c_0101_0^15 - 3209649153148124494326246239/12424761489355882446625735982*c_0101_0\ ^14 + 4167515989085170058552676277/12424761489355882446625735982*c_\ 0101_0^13 - 11011574628698111566983426567/1242476148935588244662573\ 5982*c_0101_0^12 - 1400607256385817452858694337/6212380744677941223\ 312867991*c_0101_0^11 - 198833259792628501133728894/621238074467794\ 1223312867991*c_0101_0^10 - 11497326480086601242551802449/621238074\ 4677941223312867991*c_0101_0^9 + 22786821670301382937393255333/1242\ 4761489355882446625735982*c_0101_0^8 - 24188023309988861610692187559/12424761489355882446625735982*c_0101_\ 0^7 + 7931998016442770501879949213/6212380744677941223312867991*c_0\ 101_0^6 + 38667291323209954203572994671/124247614893558824466257359\ 82*c_0101_0^5 + 25609762566358671271946266701/124247614893558824466\ 25735982*c_0101_0^4 + 39727249170174242705409927415/124247614893558\ 82446625735982*c_0101_0^3 - 13506222999370317706800986631/124247614\ 89355882446625735982*c_0101_0^2 - 10915736494449475698554673515/124\ 24761489355882446625735982*c_0101_0 - 95731336049711352413929264/6212380744677941223312867991, c_0011_6 - 70290411984457651810871636/6212380744677941223312867991*c_01\ 01_0^21 + 29098696672183498605969612/6212380744677941223312867991*c\ _0101_0^20 + 162473121872342489187078822/62123807446779412233128679\ 91*c_0101_0^19 - 173025568533240675102373076/6212380744677941223312\ 867991*c_0101_0^18 + 217783642014834229216909499/621238074467794122\ 3312867991*c_0101_0^17 - 1503990257130429842297052946/6212380744677\ 941223312867991*c_0101_0^16 - 1605025322359211827587561736/62123807\ 44677941223312867991*c_0101_0^15 + 2153150910448202670562227700/6212380744677941223312867991*c_0101_0^\ 14 - 1826571857762247507350803546/6212380744677941223312867991*c_01\ 01_0^13 + 4044650052619843814370616542/6212380744677941223312867991\ *c_0101_0^12 + 7170847166359216915582573830/62123807446779412233128\ 67991*c_0101_0^11 - 475075317618258168442553481/6212380744677941223\ 312867991*c_0101_0^10 + 10369280388262986837739699205/6212380744677\ 941223312867991*c_0101_0^9 - 3398181372795770084360177415/621238074\ 4677941223312867991*c_0101_0^8 + 4838958300973086445803405214/62123\ 80744677941223312867991*c_0101_0^7 - 2102668795314779399844432015/6212380744677941223312867991*c_0101_0^\ 6 - 24642798407598071409687802556/6212380744677941223312867991*c_01\ 01_0^5 - 25263764460699358513390853967/6212380744677941223312867991\ *c_0101_0^4 - 21103063936556194841592548215/62123807446779412233128\ 67991*c_0101_0^3 - 2590784282779422753029886340/6212380744677941223\ 312867991*c_0101_0^2 + 10190153281109093740156972131/62123807446779\ 41223312867991*c_0101_0 + 6735572537545826897788925805/621238074467\ 7941223312867991, c_0101_0^22 - 3*c_0101_0^20 + 2*c_0101_0^19 - c_0101_0^18 + 18*c_0101_0^17 + 34*c_0101_0^16 - 33*c_0101_0^15 + 7*c_0101_0^14 - 23*c_0101_0^13 - 152*c_0101_0^12 - 6*c_0101_0^11 - 110*c_0101_0^10 - 59*c_0101_0^9 + 41*c_0101_0^8 - 38*c_0101_0^7 + 391*c_0101_0^6 + 495*c_0101_0^5 + 327*c_0101_0^4 + 91*c_0101_0^3 - 161*c_0101_0^2 - 90*c_0101_0 - 4, c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB