Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2598045347] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s073 geometric_solution 3.61267424 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.486003192598 0.042888532003 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.472297113499 0.137286215808 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 -1.841617766622 3.642576652615 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 0 -1 -1 0 1 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.009760191869 0.508470676767 5 5 3 5 1230 3012 0132 1302 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 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 1.001051134867 1.018346118915 4 4 4 3 1230 3012 2031 0132 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 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.001051134867 1.018346118915 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 31994550225790393682511551/1077822805902533385114192*c_0101_5^15 - 71669596942306548189057851/1077822805902533385114192*c_0101_5^14 + 302501850202885222227031783/359274268634177795038064*c_0101_5^13 - 5496009881134983393822183319/538911402951266692557096*c_0101_5^12 + 41233186913715747641761960175/1077822805902533385114192*c_0101_5^11 - 10284021639082970294457737755/179637134317088897519032*c_0101_5^1\ 0 + 3306714208969476153022896849/179637134317088897519032*c_0101_5^\ 9 + 27039900532205240511183821259/359274268634177795038064*c_0101_5\ ^8 - 41512340470274776045132981899/359274268634177795038064*c_0101_\ 5^7 - 316370663064852979938428308/22454641789636112189879*c_0101_5^\ 6 + 90514622770524850218749350837/1077822805902533385114192*c_0101_\ 5^5 - 2971666533077291971408886267/359274268634177795038064*c_0101_\ 5^4 - 10011898228293785801950811201/538911402951266692557096*c_0101\ _5^3 + 237033423096337270963481069/179637134317088897519032*c_0101_\ 5^2 + 11739272760356109471093146/22454641789636112189879*c_0101_5 + 503645601898099171000983349/1077822805902533385114192, c_0011_0 - 1, c_0011_1 + 13801186581977385280165/22454641789636112189879*c_0101_5^15 - 19312384408333339342512/22454641789636112189879*c_0101_5^14 + 376088517442419629454214/22454641789636112189879*c_0101_5^13 - 4428073328832973430713257/22454641789636112189879*c_0101_5^12 + 14090128541733025291562616/22454641789636112189879*c_0101_5^11 - 15091331191287157380708571/22454641789636112189879*c_0101_5^10 - 2730995521363166103872523/22454641789636112189879*c_0101_5^9 + 29876504725512539418701348/22454641789636112189879*c_0101_5^8 - 25919510672291027860044359/22454641789636112189879*c_0101_5^7 - 28093226341140895030000533/22454641789636112189879*c_0101_5^6 + 11765349091058127718013753/22454641789636112189879*c_0101_5^5 + 8266520830554588396681080/22454641789636112189879*c_0101_5^4 - 542737613063977896267200/22454641789636112189879*c_0101_5^3 - 393035790374052426282276/22454641789636112189879*c_0101_5^2 - 213362665450979322468305/22454641789636112189879*c_0101_5 - 28756236904484962645615/22454641789636112189879, c_0011_4 - 44202062865290341535102/22454641789636112189879*c_0101_5^15 + 64343249095753865045362/22454641789636112189879*c_0101_5^14 - 1203087104932902607190612/22454641789636112189879*c_0101_5^13 + 14242267124383655510937157/22454641789636112189879*c_0101_5^12 - 45789418026670242594513336/22454641789636112189879*c_0101_5^11 + 49271506459454364045663446/22454641789636112189879*c_0101_5^10 + 11358522181238040787413147/22454641789636112189879*c_0101_5^9 - 102955925017180895189202150/22454641789636112189879*c_0101_5^8 + 90288938273151616673123949/22454641789636112189879*c_0101_5^7 + 93313074877119559493252568/22454641789636112189879*c_0101_5^6 - 52460900808968712763352604/22454641789636112189879*c_0101_5^5 - 30296711534067756474787698/22454641789636112189879*c_0101_5^4 + 4999647965419003141312104/22454641789636112189879*c_0101_5^3 + 2370420226204797666582285/22454641789636112189879*c_0101_5^2 + 1022860341115286092656792/22454641789636112189879*c_0101_5 + 74654693296085940054463/22454641789636112189879, c_0101_0 + 7111419183025550258716/22454641789636112189879*c_0101_5^15 - 5789132121973447347533/22454641789636112189879*c_0101_5^14 + 185809674832268848051038/22454641789636112189879*c_0101_5^13 - 2164283633806948688725490/22454641789636112189879*c_0101_5^12 + 5864102492376755581507071/22454641789636112189879*c_0101_5^11 - 2807784508116454444032650/22454641789636112189879*c_0101_5^10 - 8488066455648230443136479/22454641789636112189879*c_0101_5^9 + 18153244787646228571352402/22454641789636112189879*c_0101_5^8 - 5842375352466546142634656/22454641789636112189879*c_0101_5^7 - 25868319278625633746586288/22454641789636112189879*c_0101_5^6 + 3113061855577442882081843/22454641789636112189879*c_0101_5^5 + 9201952106660062748983563/22454641789636112189879*c_0101_5^4 + 436137258083924544740089/22454641789636112189879*c_0101_5^3 - 572775336875967300471282/22454641789636112189879*c_0101_5^2 - 244317136081334263012494/22454641789636112189879*c_0101_5 - 33540819838436077015028/22454641789636112189879, c_0101_4 - 5139763766887950659076/22454641789636112189879*c_0101_5^15 + 7733891791735285110315/22454641789636112189879*c_0101_5^14 - 139243590905212814943349/22454641789636112189879*c_0101_5^13 + 1661082293159976126580514/22454641789636112189879*c_0101_5^12 - 5376886249070191589629931/22454641789636112189879*c_0101_5^11 + 5651659100330568975138309/22454641789636112189879*c_0101_5^10 + 2227011099141515603835814/22454641789636112189879*c_0101_5^9 - 13714893470364322113968744/22454641789636112189879*c_0101_5^8 + 11805584781958759459119408/22454641789636112189879*c_0101_5^7 + 11967392272426104698398247/22454641789636112189879*c_0101_5^6 - 9169657079049555489585932/22454641789636112189879*c_0101_5^5 - 3884793565404206634294345/22454641789636112189879*c_0101_5^4 + 1513352138652033645138616/22454641789636112189879*c_0101_5^3 + 308652551511732196094026/22454641789636112189879*c_0101_5^2 + 142289433153869875742377/22454641789636112189879*c_0101_5 + 4893668327729476652043/22454641789636112189879, c_0101_5^16 - 2*c_0101_5^15 + 28*c_0101_5^14 - 337*c_0101_5^13 + 1211*c_0101_5^12 - 1675*c_0101_5^11 + 336*c_0101_5^10 + 2493*c_0101_5^9 - 3330*c_0101_5^8 - 1005*c_0101_5^7 + 2363*c_0101_5^6 + 34*c_0101_5^5 - 491*c_0101_5^4 + 8*c_0101_5^3 + 6*c_0101_5^2 + 11*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB