Magma V2.19-8 Tue Aug 20 2013 16:18:42 on localhost [Seed = 71670133] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2867 geometric_solution 6.08655061 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 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 1 0 -1 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.551573805004 0.779048812903 2 3 4 0 1302 0132 0132 0132 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 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.539789233352 0.476439456281 5 1 0 4 0132 2031 0132 2310 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 1 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.539789233352 0.476439456281 6 1 4 5 0132 0132 3120 1302 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 1 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 0.505162520225 0.858657241436 2 5 3 1 3201 1302 3120 0132 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 -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.783038823246 0.492170017699 2 6 3 4 0132 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505162520225 0.858657241436 3 5 6 6 0132 0132 2031 1302 0 0 0 0 0 -1 1 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 1 -1 -1 0 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 1.110817624753 1.294506592134 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_1001_1']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0011_1'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_2, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 14917703851253655731787141101/225418058214370946710458091*c_1001_1^\ 20 + 92395438081717463398741313023/225418058214370946710458091*c_10\ 01_1^19 - 86289154122343261565506714341/225418058214370946710458091\ *c_1001_1^18 - 477519421136015963511444987369/225418058214370946710\ 458091*c_1001_1^17 + 1503337346803584169679537742500/22541805821437\ 0946710458091*c_1001_1^16 - 2387366849477729850260819587196/2254180\ 58214370946710458091*c_1001_1^15 - 2039611705625607971514079489704/225418058214370946710458091*c_1001_\ 1^14 + 13737725756116098818835400168301/225418058214370946710458091\ *c_1001_1^13 - 20529341396758257397978558764343/2254180582143709467\ 10458091*c_1001_1^12 + 4539274038775196742839597641160/225418058214\ 370946710458091*c_1001_1^11 + 26016615953614774313223850545755/2254\ 18058214370946710458091*c_1001_1^10 - 29802389894422727045141771124791/225418058214370946710458091*c_1001\ _1^9 + 1619106725445472979991844300339/225418058214370946710458091*\ c_1001_1^8 + 18241079252763757696274786617747/225418058214370946710\ 458091*c_1001_1^7 - 9106566967382860940102769394314/225418058214370\ 946710458091*c_1001_1^6 - 4337976153208995382017432393365/225418058\ 214370946710458091*c_1001_1^5 + 4414388685728956189793259617851/225\ 418058214370946710458091*c_1001_1^4 + 248045284330277054963958001001/225418058214370946710458091*c_1001_1\ ^3 - 991947647628919373259298810782/225418058214370946710458091*c_1\ 001_1^2 + 24949146690839618037825017476/225418058214370946710458091\ *c_1001_1 + 106794359233248541533936939976/225418058214370946710458\ 091, c_0011_0 - 1, c_0011_1 + 7945456979240446482472218/225418058214370946710458091*c_1001\ _1^20 + 42096940017961549380838084/225418058214370946710458091*c_10\ 01_1^19 - 76738335300281388790969732/225418058214370946710458091*c_\ 1001_1^18 - 132438431557949369805855984/225418058214370946710458091\ *c_1001_1^17 + 951179930980106145153477836/225418058214370946710458\ 091*c_1001_1^16 - 2348694652197610701753862969/22541805821437094671\ 0458091*c_1001_1^15 + 1384398741840330137596848513/2254180582143709\ 46710458091*c_1001_1^14 + 5721599567943495877132544476/225418058214\ 370946710458091*c_1001_1^13 - 18130260390163164445238600027/2254180\ 58214370946710458091*c_1001_1^12 + 23071789385017304109277048908/225418058214370946710458091*c_1001_1^\ 11 - 8988475506444126163123534126/225418058214370946710458091*c_100\ 1_1^10 - 13908218785408380771293009735/225418058214370946710458091*\ c_1001_1^9 + 24546506124621811913772852171/225418058214370946710458\ 091*c_1001_1^8 - 15024717892869867521208535826/22541805821437094671\ 0458091*c_1001_1^7 + 3664197437502303066027333171/22541805821437094\ 6710458091*c_1001_1^6 + 724065356003700581733942978/225418058214370\ 946710458091*c_1001_1^5 - 827853559191501079070850393/2254180582143\ 70946710458091*c_1001_1^4 + 1340627419004638237377749083/2254180582\ 14370946710458091*c_1001_1^3 - 704032709421972063549278620/22541805\ 8214370946710458091*c_1001_1^2 - 175110681541785419503134854/225418\ 058214370946710458091*c_1001_1 + 229608496055395702849599499/225418\ 058214370946710458091, c_0011_4 - 25947635823608740977875265/225418058214370946710458091*c_100\ 1_1^20 - 118082030522308832145498312/225418058214370946710458091*c_\ 1001_1^19 + 404569356279589842603820150/225418058214370946710458091\ *c_1001_1^18 + 543015811765386564925427413/225418058214370946710458\ 091*c_1001_1^17 - 3810244212922856127253349936/22541805821437094671\ 0458091*c_1001_1^16 + 8664087741995190791107109579/2254180582143709\ 46710458091*c_1001_1^15 - 4787764669816240680173381397/225418058214\ 370946710458091*c_1001_1^14 - 26440397232976889996627328325/2254180\ 58214370946710458091*c_1001_1^13 + 73300190193449013844432736923/225418058214370946710458091*c_1001_1^\ 12 - 77460702780543355066975823869/225418058214370946710458091*c_10\ 01_1^11 - 3508685649923472521854394793/225418058214370946710458091*\ c_1001_1^10 + 98615786117838444932844645385/22541805821437094671045\ 8091*c_1001_1^9 - 95408084265059882065514980991/2254180582143709467\ 10458091*c_1001_1^8 + 16212971925211600774010120155/225418058214370\ 946710458091*c_1001_1^7 + 34055754546307756166846706920/22541805821\ 4370946710458091*c_1001_1^6 - 20296962488521721109957695878/2254180\ 58214370946710458091*c_1001_1^5 - 2754733869923854940922417604/2254\ 18058214370946710458091*c_1001_1^4 + 5245965993615338147468098304/225418058214370946710458091*c_1001_1^3 - 205373908072436192466002745/225418058214370946710458091*c_1001_1^\ 2 - 548444018351355825537690859/225418058214370946710458091*c_1001_\ 1 - 91461719150336519955915789/225418058214370946710458091, c_0101_2 - 93210613127016638871087207/225418058214370946710458091*c_100\ 1_1^20 - 542589032967379147726404610/225418058214370946710458091*c_\ 1001_1^19 + 736165010325178063029166115/225418058214370946710458091\ *c_1001_1^18 + 2683966663152849155061473060/22541805821437094671045\ 8091*c_1001_1^17 - 10319281366263298877426622837/225418058214370946\ 710458091*c_1001_1^16 + 18920643386422337348630219273/2254180582143\ 70946710458091*c_1001_1^15 + 4976051638804545251862933116/225418058\ 214370946710458091*c_1001_1^14 - 86352033995073372524459334741/2254\ 18058214370946710458091*c_1001_1^13 + 160422722240149023564530922627/225418058214370946710458091*c_1001_1\ ^12 - 94155565193621027983983864837/225418058214370946710458091*c_1\ 001_1^11 - 115437517504403070946559660690/2254180582143709467104580\ 91*c_1001_1^10 + 221779067892404087322919252319/2254180582143709467\ 10458091*c_1001_1^9 - 102720379450411631916576523628/22541805821437\ 0946710458091*c_1001_1^8 - 55639247417290925982291786884/2254180582\ 14370946710458091*c_1001_1^7 + 69834095895642858530076593333/225418\ 058214370946710458091*c_1001_1^6 - 6766894548559728303913317808/225418058214370946710458091*c_1001_1^5 - 16371701462145134245736060812/225418058214370946710458091*c_1001_\ 1^4 + 4854138884894516606837725940/225418058214370946710458091*c_10\ 01_1^3 + 2039003802536087078701854039/225418058214370946710458091*c\ _1001_1^2 - 430388246709692562630460429/225418058214370946710458091\ *c_1001_1 - 108860948402790169104500126/225418058214370946710458091\ , c_0101_4 + c_1001_1, c_0101_6 + 84677006592369052546966867/225418058214370946710458091*c_100\ 1_1^20 + 516952720030716108420912707/225418058214370946710458091*c_\ 1001_1^19 - 523506242379314104162601979/225418058214370946710458091\ *c_1001_1^18 - 2587533960020095785471054935/22541805821437094671045\ 8091*c_1001_1^17 + 8701659768289373524551935678/2254180582143709467\ 10458091*c_1001_1^16 - 14716256583033678946738017162/22541805821437\ 0946710458091*c_1001_1^15 - 9091742918185772848864211770/2254180582\ 14370946710458091*c_1001_1^14 + 76974080805613398054569459799/22541\ 8058214370946710458091*c_1001_1^13 - 125194755918294151243597879756/225418058214370946710458091*c_1001_1\ ^12 + 47813924860701634763971405196/225418058214370946710458091*c_1\ 001_1^11 + 127903956638000347259967956313/2254180582143709467104580\ 91*c_1001_1^10 - 178353098181009502113522261580/2254180582143709467\ 10458091*c_1001_1^9 + 46107789255468555290664419646/225418058214370\ 946710458091*c_1001_1^8 + 77464797409376134878392522680/22541805821\ 4370946710458091*c_1001_1^7 - 58864688288558886762577499738/2254180\ 58214370946710458091*c_1001_1^6 - 5760378443982483842289878807/2254\ 18058214370946710458091*c_1001_1^5 + 19823646099188491053817067254/225418058214370946710458091*c_1001_1^\ 4 - 3531927628638514222293771217/225418058214370946710458091*c_1001\ _1^3 - 2885825182896128273518949591/225418058214370946710458091*c_1\ 001_1^2 + 639642752463118713771301594/225418058214370946710458091*c\ _1001_1 + 57192237224017628961295173/225418058214370946710458091, c_1001_1^21 + 6*c_1001_1^20 - 7*c_1001_1^19 - 31*c_1001_1^18 + 107*c_1001_1^17 - 179*c_1001_1^16 - 107*c_1001_1^15 + 949*c_1001_1^14 - 1551*c_1001_1^13 + 558*c_1001_1^12 + 1698*c_1001_1^11 - 2329*c_1001_1^10 + 469*c_1001_1^9 + 1214*c_1001_1^8 - 833*c_1001_1^7 - 187*c_1001_1^6 + 348*c_1001_1^5 - 33*c_1001_1^4 - 70*c_1001_1^3 + 12*c_1001_1^2 + 7*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB