Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 4172899717] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3265 geometric_solution 6.39214249 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 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 0 0 0 0 0.640548611575 1.155819472174 0 3 5 4 0132 0132 0132 0132 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 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.314298647179 0.824904143083 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 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 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 0 0 0 0.314298647179 0.824904143083 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165107082317 0.971524850396 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059167809274 1.006104969303 5 5 2 1 1302 2031 0132 0132 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 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.476674071897 1.003238321901 6 4 6 4 2031 0132 1302 1023 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 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.498841566258 0.215761517355 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 21893145509760323113033315/385923594584067885667899*c_0101_2*c_0110\ _6^17 - 32296486769339727911765647/257282396389378590445266*c_0101_\ 2*c_0110_6^16 + 601170970145542915076174807/77184718916813577133579\ 8*c_0101_2*c_0110_6^15 + 117683506865669473590415949/12864119819468\ 9295222633*c_0101_2*c_0110_6^14 - 1078424335314527578878618185/2572\ 82396389378590445266*c_0101_2*c_0110_6^13 - 415812001992621002174459147/771847189168135771335798*c_0101_2*c_011\ 0_6^12 + 2096698780523582594642290850/385923594584067885667899*c_01\ 01_2*c_0110_6^11 - 750856821854295694506563413/25728239638937859044\ 5266*c_0101_2*c_0110_6^10 + 5008543275419985231266678084/3859235945\ 84067885667899*c_0101_2*c_0110_6^9 - 9285883317993160965471458416/385923594584067885667899*c_0101_2*c_01\ 10_6^8 + 1311154518536276267438869934/128641198194689295222633*c_01\ 01_2*c_0110_6^7 + 3630947720710559291348320547/77184718916813577133\ 5798*c_0101_2*c_0110_6^6 - 549955732251990651423536971/257282396389\ 378590445266*c_0101_2*c_0110_6^5 - 2415045640300540947876265853/771847189168135771335798*c_0101_2*c_01\ 10_6^4 + 313342884401480520082939731/85760798796459530148422*c_0101\ _2*c_0110_6^3 - 461192422662140627841452351/25728239638937859044526\ 6*c_0101_2*c_0110_6^2 + 184961306695212003830661073/385923594584067\ 885667899*c_0101_2*c_0110_6 - 75273440187649650716581849/7718471891\ 68135771335798*c_0101_2, c_0011_0 - 1, c_0011_4 + 618770338860184896902405/128641198194689295222633*c_0101_2*c\ _0110_6^17 + 1697643589275218970396226/128641198194689295222633*c_0\ 101_2*c_0110_6^16 - 2491204322414395662795492/428803993982297650742\ 11*c_0101_2*c_0110_6^15 - 4509094791121319649275741/428803993982297\ 65074211*c_0101_2*c_0110_6^14 + 12460585145491679140016286/42880399\ 398229765074211*c_0101_2*c_0110_6^13 + 22250046413764580908933493/128641198194689295222633*c_0101_2*c_0110\ _6^12 - 14221627419385870146656300/42880399398229765074211*c_0101_2\ *c_0110_6^11 + 5647478739243915122057652/42880399398229765074211*c_\ 0101_2*c_0110_6^10 - 135172647284297579895769099/128641198194689295\ 222633*c_0101_2*c_0110_6^9 + 64040589020700250106126076/42880399398\ 229765074211*c_0101_2*c_0110_6^8 - 11611988142938198438373058/42880399398229765074211*c_0101_2*c_0110_\ 6^7 - 50607886925816338040821481/128641198194689295222633*c_0101_2*\ c_0110_6^6 + 3103515960953560988047760/128641198194689295222633*c_0\ 101_2*c_0110_6^5 + 10555035400895445178515814/428803993982297650742\ 11*c_0101_2*c_0110_6^4 - 8573591154016271759900683/4288039939822976\ 5074211*c_0101_2*c_0110_6^3 + 3259563854714818949901102/42880399398\ 229765074211*c_0101_2*c_0110_6^2 - 2449361283942333438166712/128641198194689295222633*c_0101_2*c_0110_\ 6 + 135624906892541424505861/42880399398229765074211*c_0101_2, c_0011_5 - 198474021278990960003345/385923594584067885667899*c_0101_2*c\ _0110_6^17 - 42736908542437811488063/128641198194689295222633*c_010\ 1_2*c_0110_6^16 + 3766778769201584406811376/38592359458406788566789\ 9*c_0101_2*c_0110_6^15 + 15921182555111670070696/128641198194689295\ 222633*c_0101_2*c_0110_6^14 - 7830897438608994785573453/12864119819\ 4689295222633*c_0101_2*c_0110_6^13 + 11766737292389867550389812/385923594584067885667899*c_0101_2*c_0110\ _6^12 + 39482156298478976382750400/385923594584067885667899*c_0101_\ 2*c_0110_6^11 - 6628979159657574449533858/128641198194689295222633*\ c_0101_2*c_0110_6^10 + 45362544632621333544390253/38592359458406788\ 5667899*c_0101_2*c_0110_6^9 - 152681759999660871551343674/385923594\ 584067885667899*c_0101_2*c_0110_6^8 + 30377356838515287120842101/128641198194689295222633*c_0101_2*c_0110\ _6^7 + 38853586713403714254990305/385923594584067885667899*c_0101_2\ *c_0110_6^6 - 6779526570064362595280065/128641198194689295222633*c_\ 0101_2*c_0110_6^5 - 22200930538080160467251621/38592359458406788566\ 7899*c_0101_2*c_0110_6^4 + 2384708274662704945385437/42880399398229\ 765074211*c_0101_2*c_0110_6^3 - 3866868900130171313884868/128641198\ 194689295222633*c_0101_2*c_0110_6^2 + 3009256511226926588249435/385923594584067885667899*c_0101_2*c_0110_\ 6 - 1113543118558713587731303/385923594584067885667899*c_0101_2, c_0101_0 - 1467255334465443982816700/385923594584067885667899*c_0110_6^\ 17 - 1314695330407986876447730/128641198194689295222633*c_0110_6^16 + 17964174240270532394319035/385923594584067885667899*c_0110_6^15 + 10387054876516714956851167/128641198194689295222633*c_0110_6^14 - 30200142831157704054256403/128641198194689295222633*c_0110_6^13 - 48430033475511914026683758/385923594584067885667899*c_0110_6^12 + 104836159499519576813674540/385923594584067885667899*c_0110_6^11 - 14770728584731961453609689/128641198194689295222633*c_0110_6^10 + 322212035293396789306665367/385923594584067885667899*c_0110_6^9 - 473501987330928425690001281/385923594584067885667899*c_0110_6^8 + 34757701510995973339278928/128641198194689295222633*c_0110_6^7 + 117809014500468949903662260/385923594584067885667899*c_0110_6^6 - 3839857450826175465224263/128641198194689295222633*c_0110_6^5 - 76807202442048884771633546/385923594584067885667899*c_0110_6^4 + 7131801613639597272434819/42880399398229765074211*c_0110_6^3 - 8466058398701741508088544/128641198194689295222633*c_0110_6^2 + 6941554768186325111973992/385923594584067885667899*c_0110_6 - 1366670762379599533158184/385923594584067885667899, c_0101_1 + 111248351298091085507875/42880399398229765074211*c_0110_6^17 + 907612999577139461718265/128641198194689295222633*c_0110_6^16 - 4051138731727119838224772/128641198194689295222633*c_0110_6^15 - 2401487572534666344566302/42880399398229765074211*c_0110_6^14 + 6757944808943385367005928/42880399398229765074211*c_0110_6^13 + 3854417816268272304813204/42880399398229765074211*c_0110_6^12 - 22837264929289709582181755/128641198194689295222633*c_0110_6^11 + 3147893188264397059666664/42880399398229765074211*c_0110_6^10 - 24704852317963970748845884/42880399398229765074211*c_0110_6^9 + 105395387314604132982702376/128641198194689295222633*c_0110_6^8 - 7236967029766635192050314/42880399398229765074211*c_0110_6^7 - 7956164280365167089879427/42880399398229765074211*c_0110_6^6 + 1292681906609165074520642/128641198194689295222633*c_0110_6^5 + 15658942300134804956266066/128641198194689295222633*c_0110_6^4 - 4821828872406172605412162/42880399398229765074211*c_0110_6^3 + 2019959350091697558472059/42880399398229765074211*c_0110_6^2 - 523464995701629071479434/42880399398229765074211*c_0110_6 + 410355303855838630444043/128641198194689295222633, c_0101_2^2 + 459531791786052570393305/771847189168135771335798*c_0110_6\ ^17 + 316255205708784028669097/257282396389378590445266*c_0110_6^16 - 3294771012287673367969897/385923594584067885667899*c_0110_6^15 - 2277543586541034550566109/257282396389378590445266*c_0110_6^14 + 12222420191516158401898475/257282396389378590445266*c_0110_6^13 + 1185851482538678562464563/385923594584067885667899*c_0110_6^12 - 52947616324771393834804399/771847189168135771335798*c_0110_6^11 + 3964671800156292244647776/128641198194689295222633*c_0110_6^10 - 48935177829866611462816751/385923594584067885667899*c_0110_6^9 + 105576737819413161698844256/385923594584067885667899*c_0110_6^8 - 27891199006392060008690221/257282396389378590445266*c_0110_6^7 - 66382918740976304711848889/771847189168135771335798*c_0110_6^6 + 2026645509552400034160185/85760798796459530148422*c_0110_6^5 + 39038475134723115188247257/771847189168135771335798*c_0110_6^4 - 3095149650897441577580835/85760798796459530148422*c_0110_6^3 + 1827453956943503206000444/128641198194689295222633*c_0110_6^2 - 3094872269864621997491015/771847189168135771335798*c_0110_6 + 78577254902602949903480/385923594584067885667899, c_0110_6^18 + 11/5*c_0110_6^17 - 68/5*c_0110_6^16 - 77/5*c_0110_6^15 + 363/5*c_0110_6^14 + 4*c_0110_6^13 - 449/5*c_0110_6^12 + 314/5*c_0110_6^11 - 1162/5*c_0110_6^10 + 2146/5*c_0110_6^9 - 1093/5*c_0110_6^8 - 281/5*c_0110_6^7 + 47*c_0110_6^6 + 251/5*c_0110_6^5 - 343/5*c_0110_6^4 + 186/5*c_0110_6^3 - 59/5*c_0110_6^2 + 14/5*c_0110_6 - 2/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB