Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 3920131531] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s379 geometric_solution 4.60060966 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.341321385003 0.211593347834 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 0 0 1 -1 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.542246030428 1.100434189001 1 3 4 3 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.230749232069 1.265438867357 2 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 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 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 0 0 -0.230749232069 1.265438867357 5 3 5 2 0132 0132 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 -1 1 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.604190569736 0.869137317842 4 5 4 5 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.506249374841 0.146935970453 ==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_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 65971707421899215794661390252/421022240958648093611717553*c_0101_4^\ 19 + 1344013771110201689029475650549/2105111204793240468058587765*c\ _0101_4^18 - 1309097054155767494206043634863/7017037349310801560195\ 29255*c_0101_4^17 - 2215922108365590771898083066472/421022240958648\ 093611717553*c_0101_4^16 + 31152127436904196635619136559526/2105111\ 204793240468058587765*c_0101_4^15 + 22340973579534889280779012613477/2105111204793240468058587765*c_010\ 1_4^14 - 33863948260925483975339524221632/4210222409586480936117175\ 53*c_0101_4^13 + 73965266892749830207035462694414/21051112047932404\ 68058587765*c_0101_4^12 + 228739390679132836607203952438471/7017037\ 34931080156019529255*c_0101_4^11 - 1109677522035323782765433156006369/2105111204793240468058587765*c_0\ 101_4^10 - 37828352703875727047560652165483/70170373493108015601952\ 9255*c_0101_4^9 + 1205171376759578187673080634215559/21051112047932\ 40468058587765*c_0101_4^8 - 605736881569492393707956942658913/21051\ 11204793240468058587765*c_0101_4^7 - 74476484149162745062087599349667/701703734931080156019529255*c_0101\ _4^6 + 361963382019284302946104882503979/21051112047932404680585877\ 65*c_0101_4^5 - 15970751115593107555336069262329/701703734931080156\ 019529255*c_0101_4^4 - 33712254479293567752081531840821/21051112047\ 93240468058587765*c_0101_4^3 - 162527004949378987568718019406/70170\ 3734931080156019529255*c_0101_4^2 + 291943298901283977218994697549/701703734931080156019529255*c_0101_4 + 618272607493242935535583426348/2105111204793240468058587765, c_0011_0 - 1, c_0011_1 + 276941331682612773611132605/140340746986216031203905851*c_01\ 01_4^19 + 5699242979666826843843733284/701703734931080156019529255*\ c_0101_4^18 - 16226238081039015760245773094/70170373493108015601952\ 9255*c_0101_4^17 - 9415770398583546248192703120/1403407469862160312\ 03905851*c_0101_4^16 + 128547108645332173538012100171/7017037349310\ 80156019529255*c_0101_4^15 + 98240567909712613135146307502/70170373\ 4931080156019529255*c_0101_4^14 - 140901313612637108266984602428/14\ 0340746986216031203905851*c_0101_4^13 + 283302703441600690227370553029/701703734931080156019529255*c_0101_4\ ^12 + 2879976427939624248407335082723/701703734931080156019529255*c\ _0101_4^11 - 4535177054367480729522756683594/7017037349310801560195\ 29255*c_0101_4^10 - 612198695576781918349580300149/7017037349310801\ 56019529255*c_0101_4^9 + 4957147976629389518447546248939/7017037349\ 31080156019529255*c_0101_4^8 - 2355872428547161329134262894473/7017\ 03734931080156019529255*c_0101_4^7 - 945306504910382139367593383956/701703734931080156019529255*c_0101_4\ ^6 + 1442908462554102771397563439149/701703734931080156019529255*c_\ 0101_4^5 - 163182700925356452294392962397/7017037349310801560195292\ 55*c_0101_4^4 - 120498154874153752631577763031/70170373493108015601\ 9529255*c_0101_4^3 - 8203277897370311982287925028/70170373493108015\ 6019529255*c_0101_4^2 - 24286608494441034228480318/7017037349310801\ 56019529255*c_0101_4 + 2440501519765879263945494698/701703734931080\ 156019529255, c_0011_3 + 2517544045065575810603814911/701703734931080156019529255*c_0\ 101_4^19 + 10465339363516199698502196684/70170373493108015601952925\ 5*c_0101_4^18 - 5809047881220644247365698685/1403407469862160312039\ 05851*c_0101_4^17 - 86666104653971054494199612751/70170373493108015\ 6019529255*c_0101_4^16 + 229923428509456495218778346498/70170373493\ 1080156019529255*c_0101_4^15 + 37399937176880760287855577256/140340\ 746986216031203905851*c_0101_4^14 - 1271415584538363055412547952314/701703734931080156019529255*c_0101_\ 4^13 + 466180830493530023698375801977/701703734931080156019529255*c\ _0101_4^12 + 5243629640141859662978383648619/7017037349310801560195\ 29255*c_0101_4^11 - 8033352588555751111298468643746/701703734931080\ 156019529255*c_0101_4^10 - 1387401066529051140489400638214/70170373\ 4931080156019529255*c_0101_4^9 + 8908281842824100526636081127003/70\ 1703734931080156019529255*c_0101_4^8 - 3982361357044014764027122220199/701703734931080156019529255*c_0101_\ 4^7 - 1801944411196199713463479580429/701703734931080156019529255*c\ _0101_4^6 + 2564079484401630546174709299757/70170373493108015601952\ 9255*c_0101_4^5 - 228299410973207831149563272694/701703734931080156\ 019529255*c_0101_4^4 - 217888156030054663521051168087/7017037349310\ 80156019529255*c_0101_4^3 - 13985696795457983781861330207/701703734\ 931080156019529255*c_0101_4^2 - 115068404300030807918824948/7017037\ 34931080156019529255*c_0101_4 + 638855460201888525734349336/1403407\ 46986216031203905851, c_0101_0 + 4502675190583306252164564132/701703734931080156019529255*c_0\ 101_4^19 + 18844423999996059280003426403/70170373493108015601952925\ 5*c_0101_4^18 - 10267363001282163667451139720/140340746986216031203\ 905851*c_0101_4^17 - 156099422855709067569602317612/701703734931080\ 156019529255*c_0101_4^16 + 406003472281568853151816502521/701703734\ 931080156019529255*c_0101_4^15 + 68599808780534806822926172473/1403\ 40746986216031203905851*c_0101_4^14 - 2257869916499297719154551137393/701703734931080156019529255*c_0101_\ 4^13 + 777227508382310086083127890704/701703734931080156019529255*c\ _0101_4^12 + 9362808518644361286736624211178/7017037349310801560195\ 29255*c_0101_4^11 - 14097522108584265705179520741492/70170373493108\ 0156019529255*c_0101_4^10 - 2717043684670005263841356044913/7017037\ 34931080156019529255*c_0101_4^9 + 15644044843967926918839748272656/\ 701703734931080156019529255*c_0101_4^8 - 6754401122814972125147017445123/701703734931080156019529255*c_0101_\ 4^7 - 3182827220962355165586989263098/701703734931080156019529255*c\ _0101_4^6 + 4416449288498220809500836518234/70170373493108015601952\ 9255*c_0101_4^5 - 325259676934505536727126977103/701703734931080156\ 019529255*c_0101_4^4 - 336489731444796759677197509184/7017037349310\ 80156019529255*c_0101_4^3 - 33792464907503315910314395169/701703734\ 931080156019529255*c_0101_4^2 - 1055008250879674537841541126/701703\ 734931080156019529255*c_0101_4 + 1124396859291639473159304228/14034\ 0746986216031203905851, c_0101_1 - 1968667228905995142586741044/701703734931080156019529255*c_0\ 101_4^19 - 1629005365066112471196400140/140340746986216031203905851\ *c_0101_4^18 + 22867342342773463799705086869/7017037349310801560195\ 29255*c_0101_4^17 + 67299280848133158637773846374/70170373493108015\ 6019529255*c_0101_4^16 - 181061238465704605629089188808/70170373493\ 1080156019529255*c_0101_4^15 - 142499994055093004113882003987/70170\ 3734931080156019529255*c_0101_4^14 + 996587809834289599461258159621/701703734931080156019529255*c_0101_4\ ^13 - 384433376733521759325408883582/701703734931080156019529255*c_\ 0101_4^12 - 4090493943271966307633800987619/70170373493108015601952\ 9255*c_0101_4^11 + 6361221192918659437365005074358/7017037349310801\ 56019529255*c_0101_4^10 + 190086611353702271968578060129/1403407469\ 86216031203905851*c_0101_4^9 - 6969177012026075919025044092921/7017\ 03734931080156019529255*c_0101_4^8 + 3248696817757501907456495853459/701703734931080156019529255*c_0101_\ 4^7 + 1335826669163665303704191665652/701703734931080156019529255*c\ _0101_4^6 - 2021761795285410199684938996307/70170373493108015601952\ 9255*c_0101_4^5 + 214908556639241102976616118748/701703734931080156\ 019529255*c_0101_4^4 + 161120417619655514077938144234/7017037349310\ 80156019529255*c_0101_4^3 + 9702019280330601492713330006/7017037349\ 31080156019529255*c_0101_4^2 + 82375754094894823221700282/140340746\ 986216031203905851*c_0101_4 - 2806632892252835162778138503/70170373\ 4931080156019529255, c_0101_4^20 + 5*c_0101_4^19 - 8*c_0101_4^18 - 44*c_0101_4^17 + 62*c_0101_4^16 + 150*c_0101_4^15 - 440*c_0101_4^14 - 237*c_0101_4^13 + 2224*c_0101_4^12 - 1436*c_0101_4^11 - 3173*c_0101_4^10 + 3001*c_0101_4^9 + 1347*c_0101_4^8 - 1954*c_0101_4^7 + 406*c_0101_4^6 + 736*c_0101_4^5 - 140*c_0101_4^4 - 71*c_0101_4^3 - 6*c_0101_4^2 + c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB