Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 1528481633] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0091 geometric_solution 3.62910416 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 1230 0132 0321 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 -1 0 1 1 0 -1 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.985949149126 1.968435802696 0 2 0 3 0132 1230 3012 0132 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 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.796578777382 0.406128062470 3 0 1 0 3201 0321 3012 0132 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 -1 1 0 0 0 -1 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.796578777382 0.406128062470 4 4 1 2 0132 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516903776660 0.369553567310 3 5 3 5 0132 0132 2310 2310 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 0 0 0 0 0 0 0 -3.194862673732 1.457947540834 4 4 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.124084442459 0.029780793290 5 6 6 5 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.779980574570 0.328933085203 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0011_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0011_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0011_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_2, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 883791639423867759759238061/2546082549534798309009197*c_0101_6^18 + 4248060344450666076097609079/5092165099069596618018394*c_0101_6^17 - 27618842777279754942757844774/2546082549534798309009197*c_0101_6^16 + 228456506977605122479972892639/20368660396278386472073576*c_0101_\ 6^15 - 102663436567878225056219358541/1198156493898728616004328*c_0\ 101_6^14 + 137369570880063902073700372413/5092165099069596618018394\ *c_0101_6^13 - 5469651391514159006660501318705/20368660396278386472\ 073576*c_0101_6^12 + 562466717617427184219947078843/203686603962783\ 86472073576*c_0101_6^11 - 4259800810562643814151418200693/101843301\ 98139193236036788*c_0101_6^10 + 306823105958999659345411747799/2036\ 8660396278386472073576*c_0101_6^9 - 3674755243443262711435997011883/10184330198139193236036788*c_0101_6\ ^8 + 25689781647039788149504653563/5092165099069596618018394*c_0101\ _6^7 - 3652446671560096525495554306979/20368660396278386472073576*c\ _0101_6^6 + 2094784923113475531178436140/2546082549534798309009197*\ c_0101_6^5 - 129149897280917932539329422017/25460825495347983090091\ 97*c_0101_6^4 - 3621486286811928265460354987/2036866039627838647207\ 3576*c_0101_6^3 - 76318575569872027868458450111/1018433019813919323\ 6036788*c_0101_6^2 - 2264208729027214185842982967/20368660396278386\ 472073576*c_0101_6 - 8573202078675487313559025649/20368660396278386\ 472073576, c_0011_0 - 1, c_0011_2 + 41597910443496482959476/149769561737341077000541*c_0101_6^18 + 113231175046188997584158/149769561737341077000541*c_0101_6^17 + 590824449996132821200470/149769561737341077000541*c_0101_6^16 + 11405875079181184051978897/299539123474682154001082*c_0101_6^15 - 2462498262085911134874402/149769561737341077000541*c_0101_6^14 + 105620569465811364905440559/299539123474682154001082*c_0101_6^13 - 54623619830936248550021053/299539123474682154001082*c_0101_6^12 + 153581121481101700053510350/149769561737341077000541*c_0101_6^11 - 91449967295427366691570553/149769561737341077000541*c_0101_6^10 + 206834640634734573350395217/149769561737341077000541*c_0101_6^9 - 133871074637864434305617825/149769561737341077000541*c_0101_6^8 + 147900073449169518347567737/149769561737341077000541*c_0101_6^7 - 190001310643298587622068493/299539123474682154001082*c_0101_6^6 + 57252565460972720398458700/149769561737341077000541*c_0101_6^5 - 66056383688188012210579975/299539123474682154001082*c_0101_6^4 + 20917389979512637500334863/299539123474682154001082*c_0101_6^3 - 10180011525493645989187737/299539123474682154001082*c_0101_6^2 + 853480952521530553407021/299539123474682154001082*c_0101_6 - 173981761972621449738330/149769561737341077000541, c_0011_3 - 343604648548085861095376/149769561737341077000541*c_0101_6^1\ 8 + 963220162585616468592524/149769561737341077000541*c_0101_6^17 - 11069686967975421890190226/149769561737341077000541*c_0101_6^16 + 15438322880899175805689904/149769561737341077000541*c_0101_6^15 - 178671719489292647570254143/299539123474682154001082*c_0101_6^14 + 61664319871570663453487598/149769561737341077000541*c_0101_6^13 - 276152531093107566651417075/149769561737341077000541*c_0101_6^12 + 140216843448612624717761663/149769561737341077000541*c_0101_6^11 - 829344979353754964746181827/299539123474682154001082*c_0101_6^10 + 199574584026276054188208061/149769561737341077000541*c_0101_6^9 - 330965631647345078175228703/149769561737341077000541*c_0101_6^8 + 342097138755887596027776169/299539123474682154001082*c_0101_6^7 - 283946103705397179406872435/299539123474682154001082*c_0101_6^6 + 164927351276151950816221793/299539123474682154001082*c_0101_6^5 - 31763159435691900298688517/149769561737341077000541*c_0101_6^4 + 40336543120411456268623585/299539123474682154001082*c_0101_6^3 - 7579455257634503219058341/299539123474682154001082*c_0101_6^2 + 1925020760057927698478229/149769561737341077000541*c_0101_6 - 456688929502925115962343/299539123474682154001082, c_0011_6 + 309604417920123459597064/149769561737341077000541*c_0101_6^1\ 8 - 1059925658193992245126508/149769561737341077000541*c_0101_6^17 + 10363617751050125457454388/149769561737341077000541*c_0101_6^16 - 19660585122856590684604525/149769561737341077000541*c_0101_6^15 + 84354748354879291123831139/149769561737341077000541*c_0101_6^14 - 196876739120539710721870095/299539123474682154001082*c_0101_6^13 + 246320121626030466163176581/149769561737341077000541*c_0101_6^12 - 505836096767938084947517963/299539123474682154001082*c_0101_6^11 + 347808886674446952299890623/149769561737341077000541*c_0101_6^10 - 700135746878377036191878827/299539123474682154001082*c_0101_6^9 + 536066597364717596372116825/299539123474682154001082*c_0101_6^8 - 264730603937081398510669305/149769561737341077000541*c_0101_6^7 + 115241564610651526332402386/149769561737341077000541*c_0101_6^6 - 215986562017758082225128955/299539123474682154001082*c_0101_6^5 + 26265424051687697523633999/149769561737341077000541*c_0101_6^4 - 22339027903564820899615777/149769561737341077000541*c_0101_6^3 + 6075723877827348577256067/299539123474682154001082*c_0101_6^2 - 3608152890671562551933793/299539123474682154001082*c_0101_6 + 391615881327563761064161/299539123474682154001082, c_0101_0 + 150628211096858864794216/149769561737341077000541*c_0101_6^1\ 8 - 139856322114133236929696/149769561737341077000541*c_0101_6^17 + 4083138486223545439984154/149769561737341077000541*c_0101_6^16 + 2158968630371174397193155/149769561737341077000541*c_0101_6^15 + 55137905658922864922225613/299539123474682154001082*c_0101_6^14 + 41819496766805266922406996/149769561737341077000541*c_0101_6^13 + 166044721982448132247155411/299539123474682154001082*c_0101_6^12 + 134654909587869351854935391/149769561737341077000541*c_0101_6^11 + 231420293361044421628637885/299539123474682154001082*c_0101_6^10 + 361577395813695931741194757/299539123474682154001082*c_0101_6^9 + 80101580989903436709383991/149769561737341077000541*c_0101_6^8 + 121227585198716360347057406/149769561737341077000541*c_0101_6^7 + 52076843335349317594696165/299539123474682154001082*c_0101_6^6 + 42080629838657198698582640/149769561737341077000541*c_0101_6^5 + 2698057314370176000490479/149769561737341077000541*c_0101_6^4 + 15179937016598751915072483/299539123474682154001082*c_0101_6^3 - 494157216310975196264845/299539123474682154001082*c_0101_6^2 + 1714955571620662623826341/299539123474682154001082*c_0101_6 - 44560641050930550033701/149769561737341077000541, c_0101_2 - 659500321157448905534268/149769561737341077000541*c_0101_6^1\ 8 + 1921798310383752433560370/149769561737341077000541*c_0101_6^17 - 21177351582777916715158336/149769561737341077000541*c_0101_6^16 + 62150511549964940622792193/299539123474682154001082*c_0101_6^15 - 331529419056040350635956577/299539123474682154001082*c_0101_6^14 + 242546797518017642949092873/299539123474682154001082*c_0101_6^13 - 473423674932992004574956996/149769561737341077000541*c_0101_6^12 + 255726569735443207021358010/149769561737341077000541*c_0101_6^11 - 1282854022150702496411614817/299539123474682154001082*c_0101_6^10 + 613422328391518833467427501/299539123474682154001082*c_0101_6^9 - 453801933658351822245697915/149769561737341077000541*c_0101_6^8 + 205131769199364198508784024/149769561737341077000541*c_0101_6^7 - 168060844709949644049935299/149769561737341077000541*c_0101_6^6 + 71951169343736756948588978/149769561737341077000541*c_0101_6^5 - 59519789542243700980981991/299539123474682154001082*c_0101_6^4 + 11135592257485748895491311/149769561737341077000541*c_0101_6^3 - 2038429432149094700096815/149769561737341077000541*c_0101_6^2 + 312363676378973065150858/149769561737341077000541*c_0101_6 - 130628243840439553577630/149769561737341077000541, c_0101_6^19 - 5/2*c_0101_6^18 + 63/2*c_0101_6^17 - 283/8*c_0101_6^16 + 501/2*c_0101_6^15 - 817/8*c_0101_6^14 + 6281/8*c_0101_6^13 - 311/2*c_0101_6^12 + 9793/8*c_0101_6^11 - 1289/8*c_0101_6^10 + 8473/8*c_0101_6^9 - 465/4*c_0101_6^8 + 4231/8*c_0101_6^7 - 427/8*c_0101_6^6 + 301/2*c_0101_6^5 - 113/8*c_0101_6^4 + 179/8*c_0101_6^3 - 15/8*c_0101_6^2 + 5/4*c_0101_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB