Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2463305289] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1710 geometric_solution 5.42004380 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760410888456 0.390299843178 0 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.559207545279 0.967503507308 0 0 2 2 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526789262248 0.173359132447 5 1 4 0 3201 1230 0132 0132 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559207545279 0.967503507308 6 1 6 3 0132 0132 2310 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 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.663310432775 2.020126173114 5 5 1 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 -1 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.153069011116 1.397520061048 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399845572786 0.176803427110 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : negation(d['c_0110_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1625855439124077/39901025*c_0110_2^25 + 9548917847655816/39901025*c_0110_2^24 + 11063141429490907/39901025*c_0110_2^23 - 159668758360941279/39901025*c_0110_2^22 + 111007553623232558/39901025*c_0110_2^21 + 974631629807029078/39901025*c_0110_2^20 - 1132833867253290324/39901025*c_0110_2^19 - 3472265501476566922/39901025*c_0110_2^18 + 4202099827267371959/39901025*c_0110_2^17 + 8821346099029434957/39901025*c_0110_2^16 - 325721168661040856/1596041*c_0110_2^15 - 16918627359994317762/39901025*c_0110_2^14 + 294939080663441281/1596041*c_0110_2^13 + 22890880258291595472/39901025*c_0110_2^12 + 1471075226695700208/39901025*c_0110_2^11 - 18466799312892823767/39901025*c_0110_2^10 - 9705199664775293176/39901025*c_0110_2^9 + 3930474826755993/27575*c_0110_2^8 + 1503256577218573269/7980205*c_0110_2^7 + 1894820171503249922/39901025*c_0110_2^6 - 1255507332493045049/39901025*c_0110_2^5 - 1170655445032270487/39901025*c_0110_2^4 - 436684139639386762/39901025*c_0110_2^3 - 90168680520288064/39901025*c_0110_2^2 - 10151869270512622/39901025*c_0110_2 - 489792297377031/39901025, c_0011_0 - 1, c_0011_3 + 1744129240863807/7980205*c_0110_2^25 - 11030163699000726/7980205*c_0110_2^24 - 6557256929351492/7980205*c_0110_2^23 + 171972672409955009/7980205*c_0110_2^22 - 196938900130990498/7980205*c_0110_2^21 - 923449518372195233/7980205*c_0110_2^20 + 1579589442873058939/7980205*c_0110_2^19 + 2856753574311631362/7980205*c_0110_2^18 - 5425423523496974279/7980205*c_0110_2^17 - 6623822859575781097/7980205*c_0110_2^16 + 2102002703038207806/1596041*c_0110_2^15 + 12650161887738207232/7980205*c_0110_2^14 - 2253224474832342975/1596041*c_0110_2^13 - 18039218120081687822/7980205*c_0110_2^12 + 3774236582197890532/7980205*c_0110_2^11 + 15819016939319044087/7980205*c_0110_2^10 + 4980589714631290551/7980205*c_0110_2^9 - 4164302851527168/5515*c_0110_2^8 - 1075242280218909093/1596041*c_0110_2^7 - 756162783718368657/7980205*c_0110_2^6 + 1141775036109473324/7980205*c_0110_2^5 + 828261620056364642/7980205*c_0110_2^4 + 277665567843362447/7980205*c_0110_2^3 + 53099876210506009/7980205*c_0110_2^2 + 5609406901172922/7980205*c_0110_2 + 255878079859351/7980205, c_0011_5 - 3314973632279442/7980205*c_0110_2^25 + 20956325008332966/7980205*c_0110_2^24 + 12517179571364032/7980205*c_0110_2^23 - 326847404638910219/7980205*c_0110_2^22 + 373506345989260323/7980205*c_0110_2^21 + 1756345570494152853/7980205*c_0110_2^20 - 2998351070467945109/7980205*c_0110_2^19 - 5438378845870671577/7980205*c_0110_2^18 + 10301500019919620414/7980205*c_0110_2^17 + 12618392719598829567/7980205*c_0110_2^16 - 3990980705340071713/1596041*c_0110_2^15 - 24099730024543275987/7980205*c_0110_2^14 + 4274675839183593922/1596041*c_0110_2^13 + 34352447639580327922/7980205*c_0110_2^12 - 7112299426428372092/7980205*c_0110_2^11 - 30105250071503646397/7980205*c_0110_2^10 - 9526675955382373876/7980205*c_0110_2^9 + 7913326394566703/5515*c_0110_2^8 + 2049442339913058112/1596041*c_0110_2^7 + 1452208873395322312/7980205*c_0110_2^6 - 2171830377368253844/7980205*c_0110_2^5 - 1578968149472765812/7980205*c_0110_2^4 - 529956027413468187/7980205*c_0110_2^3 - 101446195111836049/7980205*c_0110_2^2 - 10726489553383912/7980205*c_0110_2 - 489741117498216/7980205, c_0101_0 - 21*c_0110_2^25 + 126*c_0110_2^24 + 122*c_0110_2^23 - 2045*c_0110_2^22 + 1700*c_0110_2^21 + 11887*c_0110_2^20 - 15414*c_0110_2^19 - 40560*c_0110_2^18 + 54170*c_0110_2^17 + 100925*c_0110_2^16 - 100678*c_0110_2^15 - 193326*c_0110_2^14 + 86248*c_0110_2^13 + 261156*c_0110_2^12 + 24996*c_0110_2^11 - 205173*c_0110_2^10 - 121730*c_0110_2^9 + 53087*c_0110_2^8 + 88251*c_0110_2^7 + 30101*c_0110_2^6 - 10790*c_0110_2^5 - 14430*c_0110_2^4 - 6578*c_0110_2^3 - 1724*c_0110_2^2 - 276*c_0110_2 - 24, c_0101_1 + 134481164766081/1596041*c_0110_2^25 - 848849998834761/1596041*c_0110_2^24 - 516743134109767/1596041*c_0110_2^23 + 13259486068686263/1596041*c_0110_2^22 - 15023850467900614/1596041*c_0110_2^21 - 71468726453961124/1596041*c_0110_2^20 + 121065252658298224/1596041*c_0110_2^19 + 222119348357763058/1596041*c_0110_2^18 - 416593274369774523/1596041*c_0110_2^17 - 516694129566753564/1596041*c_0110_2^16 + 807208120636548089/1596041*c_0110_2^15 + 986855278244640710/1596041*c_0110_2^14 - 862669057144165980/1596041*c_0110_2^13 - 1404549104096913145/1596041*c_0110_2^12 + 281068474064544832/1596041*c_0110_2^11 + 1228364135362392289/1596041*c_0110_2^10 + 394446217028491180/1596041*c_0110_2^9 - 321556213684808/1103*c_0110_2^8 - 419846093995653244/1596041*c_0110\ _2^7 - 60618642868069458/1596041*c_0110_2^6 + 88520083484465249/1596041*c_0110_2^5 + 64687109976061336/1596041*c_0110_2^4 + 21762402409688415/1596041*c_0110_2^3 + 4172799791778346/1596041*c_0110_2^2 + 441804410471176/1596041*c_0110_2 + 20194161296226/1596041, c_0101_4 - 505712842837860/1596041*c_0110_2^25 + 3197419733703405/1596041*c_0110_2^24 + 1906578548925947/1596041*c_0110_2^23 - 49862620539317296/1596041*c_0110_2^22 + 57024173311125804/1596041*c_0110_2^21 + 267872834226326462/1596041*c_0110_2^20 - 457625937842873571/1596041*c_0110_2^19 - 829172026114379604/1596041*c_0110_2^18 + 1572111968940149638/1596041*c_0110_2^17 + 1923408747959858751/1596041*c_0110_2^16 - 3045380590513543950/1596041*c_0110_2^15 - 3673431647514499893/1596041*c_0110_2^14 + 3262823921640322098/1596041*c_0110_2^13 + 5236983729848718864/1596041*c_0110_2^12 - 1088438950768275361/1596041*c_0110_2^11 - 4590577371747365265/1596041*c_0110_2^10 - 1449972353147703043/1596041*c_0110_2^9 + 1207323235276312/1103*c_0110_2^8 + 1561654389674863201/1596041*c_0110_2^7 + 220692525338613349/1596041*c_0110_2^6 - 331234046188145022/1596041*c_0110_2^5 - 240614403597861159/1596041*c_0110_2^4 - 80722152615492625/1596041*c_0110_2^3 - 15446263893663595/1596041*c_0110_2^2 - 1632625414203568/1596041*c_0110_2 - 74513446853358/1596041, c_0110_2^26 - 6*c_0110_2^25 - 122/21*c_0110_2^24 + 2045/21*c_0110_2^23 - 1700/21*c_0110_2^22 - 11887/21*c_0110_2^21 + 734*c_0110_2^20 + 13520/7*c_0110_2^19 - 54170/21*c_0110_2^18 - 100925/21*c_0110_2^17 + 100678/21*c_0110_2^16 + 9206*c_0110_2^15 - 86248/21*c_0110_2^14 - 12436*c_0110_2^13 - 8332/7*c_0110_2^12 + 68391/7*c_0110_2^11 + 17390/3*c_0110_2^10 - 53087/21*c_0110_2^9 - 29417/7*c_0110_2^8 - 30101/21*c_0110_2^7 + 10790/21*c_0110_2^6 + 4810/7*c_0110_2^5 + 6578/21*c_0110_2^4 + 1724/21*c_0110_2^3 + 275/21*c_0110_2^2 + 25/21*c_0110_2 + 1/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB