Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 3987501515] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s079 geometric_solution 3.62164046 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524336703816 0.036187722670 2 0 2 0 0132 2310 1023 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577533070256 0.094813997613 1 3 1 3 0132 0132 1023 2310 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 -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.964189733292 1.387822143066 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.073772747078 1.943689935359 5 5 3 5 1023 2031 0132 1302 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 -1 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.502294740625 0.507133085568 4 4 4 3 1302 1023 2031 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 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.502294740625 0.507133085568 ==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_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_4']), '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_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' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], '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_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 6831569031585480115013508607234/48625407444260677623689887599*c_010\ 1_4^21 - 26632868772925362192081548661071/4862540744426067762368988\ 7599*c_0101_4^20 - 87077792624256151600143608145208/162084691480868\ 92541229962533*c_0101_4^19 + 1061776163865996879580982484445741/486\ 25407444260677623689887599*c_0101_4^18 + 3362362160724809005308348969702808/48625407444260677623689887599*c_\ 0101_4^17 - 7997367140646274170213985116225916/48625407444260677623\ 689887599*c_0101_4^16 - 6827354573676933523381566036564669/16208469\ 148086892541229962533*c_0101_4^15 + 22116357311535387748021825067197886/48625407444260677623689887599*c\ _0101_4^14 + 21025756332626107870053490770176891/162084691480868925\ 41229962533*c_0101_4^13 - 18387282605861444104936730728512608/48625\ 407444260677623689887599*c_0101_4^12 - 95814267810651015944973063342709727/48625407444260677623689887599*c\ _0101_4^11 - 9870326533978927031266622796363560/4862540744426067762\ 3689887599*c_0101_4^10 + 25585473920524015035944536331580101/162084\ 69148086892541229962533*c_0101_4^9 + 25637283718086981362049659351363920/48625407444260677623689887599*c\ _0101_4^8 - 11354328505971190510784203223295375/1620846914808689254\ 1229962533*c_0101_4^7 - 18089871100184766860027858942385032/4862540\ 7444260677623689887599*c_0101_4^6 + 2394286276184717228332920006332919/16208469148086892541229962533*c_\ 0101_4^5 + 1913894100294121877168871891288243/162084691480868925412\ 29962533*c_0101_4^4 - 112059292841900047024120841002378/16208469148\ 086892541229962533*c_0101_4^3 - 248930978925896660171686310499438/1\ 6208469148086892541229962533*c_0101_4^2 - 41805009663181867576844493654758/48625407444260677623689887599*c_01\ 01_4 + 28042209819715396452016934250044/486254074442606776236898875\ 99, c_0011_0 - 1, c_0011_1 - 74259391411721878823219427181/16208469148086892541229962533*\ c_0101_4^21 + 338834471710342064909948450926/1620846914808689254122\ 9962533*c_0101_4^20 + 2623480243862414822507548094598/1620846914808\ 6892541229962533*c_0101_4^19 - 13324854023771629805564578067876/162\ 08469148086892541229962533*c_0101_4^18 - 28015538206131457946478165323452/16208469148086892541229962533*c_01\ 01_4^17 + 107132658793239653114249851865332/16208469148086892541229\ 962533*c_0101_4^16 + 154934701571014466235780688228587/162084691480\ 86892541229962533*c_0101_4^15 - 356002171935813802609864210747347/1\ 6208469148086892541229962533*c_0101_4^14 - 468553786090787269424887213152827/16208469148086892541229962533*c_0\ 101_4^13 + 552429231095499491671738708781695/1620846914808689254122\ 9962533*c_0101_4^12 + 733447813480973837039857648583672/16208469148\ 086892541229962533*c_0101_4^11 - 441076558363323833809159266621488/\ 16208469148086892541229962533*c_0101_4^10 - 633457200315578746612446960149098/16208469148086892541229962533*c_0\ 101_4^9 + 185798711978102802388688854511261/16208469148086892541229\ 962533*c_0101_4^8 + 325857895311186196968031160510626/1620846914808\ 6892541229962533*c_0101_4^7 - 32979600542117048642956226415500/1620\ 8469148086892541229962533*c_0101_4^6 - 96119427020667698864631420222906/16208469148086892541229962533*c_01\ 01_4^5 + 87849603387963346252220229487/1620846914808689254122996253\ 3*c_0101_4^4 + 14822729617874493473552948304642/1620846914808689254\ 1229962533*c_0101_4^3 + 8558342232507201903487815521/16208469148086\ 892541229962533*c_0101_4^2 - 1030734008712715512671338808364/162084\ 69148086892541229962533*c_0101_4 + 99108108573444351520975960835/16208469148086892541229962533, c_0011_4 - 58440110784637361738980914541/16208469148086892541229962533*\ c_0101_4^21 + 267604903089264879358102788884/1620846914808689254122\ 9962533*c_0101_4^20 + 2063699272719673368100189097532/1620846914808\ 6892541229962533*c_0101_4^19 - 10537480155347914138487398083074/162\ 08469148086892541229962533*c_0101_4^18 - 21988161086474625677830488168300/16208469148086892541229962533*c_01\ 01_4^17 + 85346645472186398685151208988518/162084691480868925412299\ 62533*c_0101_4^16 + 121472334161311274207367903757135/1620846914808\ 6892541229962533*c_0101_4^15 - 287583522904649218076205700066058/16\ 208469148086892541229962533*c_0101_4^14 - 368297137803736127703309121307899/16208469148086892541229962533*c_0\ 101_4^13 + 459245074462250290263306713832023/1620846914808689254122\ 9962533*c_0101_4^12 + 581390085297429367100570840034030/16208469148\ 086892541229962533*c_0101_4^11 - 387234502862784663437491014680935/\ 16208469148086892541229962533*c_0101_4^10 - 509182076906105290992632899404801/16208469148086892541229962533*c_0\ 101_4^9 + 181380096709604986396998891789970/16208469148086892541229\ 962533*c_0101_4^8 + 266968620104525664366426011161340/1620846914808\ 6892541229962533*c_0101_4^7 - 43020229414612165964844110417987/1620\ 8469148086892541229962533*c_0101_4^6 - 81370672530596917616997138490250/16208469148086892541229962533*c_01\ 01_4^5 + 4424658451203966361836847199624/16208469148086892541229962\ 533*c_0101_4^4 + 13229195398877411122389570277084/16208469148086892\ 541229962533*c_0101_4^3 - 471449254057024676779764359073/1620846914\ 8086892541229962533*c_0101_4^2 - 949761960529960013257929014414/162\ 08469148086892541229962533*c_0101_4 + 93823270996156240597910208597/16208469148086892541229962533, c_0101_0 + 33085703472026810756486438439/16208469148086892541229962533*\ c_0101_4^21 - 158794735057013797492764798205/1620846914808689254122\ 9962533*c_0101_4^20 - 1136243811816137655770083943694/1620846914808\ 6892541229962533*c_0101_4^19 + 6226535659307057114659454963823/1620\ 8469148086892541229962533*c_0101_4^18 + 11190632772114993212093610251830/16208469148086892541229962533*c_01\ 01_4^17 - 51204550915403455645374445304743/162084691480868925412299\ 62533*c_0101_4^16 - 59061246278423458403826803341837/16208469148086\ 892541229962533*c_0101_4^15 + 178957990463481198185447207418258/162\ 08469148086892541229962533*c_0101_4^14 + 178866399436542321299566584887121/16208469148086892541229962533*c_0\ 101_4^13 - 307629305256681123401207143487580/1620846914808689254122\ 9962533*c_0101_4^12 - 291336134575333026233050402984713/16208469148\ 086892541229962533*c_0101_4^11 + 288526848171550848662196676409948/\ 16208469148086892541229962533*c_0101_4^10 + 269234854780574515026977992463700/16208469148086892541229962533*c_0\ 101_4^9 - 155570575380580614658566915990112/16208469148086892541229\ 962533*c_0101_4^8 - 151442553231878408486002455928800/1620846914808\ 6892541229962533*c_0101_4^7 + 47215634182101159785596083037714/1620\ 8469148086892541229962533*c_0101_4^6 + 50560965353973780294364312090208/16208469148086892541229962533*c_01\ 01_4^5 - 7451607949709343474134623304042/16208469148086892541229962\ 533*c_0101_4^4 - 8985799328429031729371810506462/162084691480868925\ 41229962533*c_0101_4^3 + 717181149038196923470480139545/16208469148\ 086892541229962533*c_0101_4^2 + 648625383866767641130747267556/1620\ 8469148086892541229962533*c_0101_4 - 77144639671382952980496714549/16208469148086892541229962533, c_0101_1 - 9432692965345061653571735820/16208469148086892541229962533*c\ _0101_4^21 + 49483226890774136036128059117/162084691480868925412299\ 62533*c_0101_4^20 + 302917665043242685693321123499/1620846914808689\ 2541229962533*c_0101_4^19 - 1915026957887761594098539721196/1620846\ 9148086892541229962533*c_0101_4^18 - 2374335500105751663054028529171/16208469148086892541229962533*c_010\ 1_4^17 + 15840684806343919594818910508180/1620846914808689254122996\ 2533*c_0101_4^16 + 10214848375870319424374881414770/162084691480868\ 92541229962533*c_0101_4^15 - 57017972818708093399436097086829/16208\ 469148086892541229962533*c_0101_4^14 - 28165905677186077519814779055024/16208469148086892541229962533*c_01\ 01_4^13 + 104806157871851322228237705243121/16208469148086892541229\ 962533*c_0101_4^12 + 44470382171148503164276427402196/1620846914808\ 6892541229962533*c_0101_4^11 - 108139914700612231254633281044905/16\ 208469148086892541229962533*c_0101_4^10 - 41568796638787382427491317966531/16208469148086892541229962533*c_01\ 01_4^9 + 65818895040470131289197082720167/1620846914808689254122996\ 2533*c_0101_4^8 + 24987227348588048502552929846813/1620846914808689\ 2541229962533*c_0101_4^7 - 23871630845731978625079937883249/1620846\ 9148086892541229962533*c_0101_4^6 - 9094769198336107869700007824522/16208469148086892541229962533*c_010\ 1_4^5 + 4788470038839871247854115384728/162084691480868925412299625\ 33*c_0101_4^4 + 1764895266814743217131032444553/1620846914808689254\ 1229962533*c_0101_4^3 - 463576310741020752594670045000/162084691480\ 86892541229962533*c_0101_4^2 - 115293847166290921667253711407/16208\ 469148086892541229962533*c_0101_4 + 20345809289907345527700466460/16208469148086892541229962533, c_0101_4^22 - 4*c_0101_4^21 - 38*c_0101_4^20 + 160*c_0101_4^19 + 482*c_0101_4^18 - 1248*c_0101_4^17 - 2941*c_0101_4^16 + 3758*c_0101_4^15 + 9251*c_0101_4^14 - 4319*c_0101_4^13 - 14794*c_0101_4^12 + 953*c_0101_4^11 + 12970*c_0101_4^10 + 1984*c_0101_4^9 - 6671*c_0101_4^8 - 2009*c_0101_4^7 + 1939*c_0101_4^6 + 792*c_0101_4^5 - 291*c_0101_4^4 - 138*c_0101_4^3 + 22*c_0101_4^2 + 9*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB