Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 4139215422] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2316 geometric_solution 5.70950933 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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 -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.282393436846 0.242098533311 2 0 3 0 0132 2310 0132 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 -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.676568524356 1.507702457621 1 3 4 5 0132 3201 0132 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 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.066868262611 0.989935191925 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 0 0 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 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.066868262611 0.989935191925 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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.159762980308 0.819326655138 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 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 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.391406309211 1.152218040991 4 6 6 4 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.695944746613 0.844756388479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], '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_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), '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' : 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_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 7581123740387168057069825426761920445571/51431260596203986636504572\ 855150107193*c_0101_3^20 + 7724517176568566970444173109761854920569\ 3/51431260596203986636504572855150107193*c_0101_3^19 + 63202145694349845620109673861777141431419/1714375353206799554550152\ 4285050035731*c_0101_3^18 + 255947414205188388428158766011867944316\ 58/2449107647438285077928789183578576533*c_0101_3^17 - 67664647544699925119698385630789117856190/1714375353206799554550152\ 4285050035731*c_0101_3^16 - 212513811364077687961932889488715591226\ 9932/51431260596203986636504572855150107193*c_0101_3^15 + 651016590267104621564942802398730501626159/514312605962039866365045\ 72855150107193*c_0101_3^14 + 36313941685251945402021438167266302727\ 5981/5714584510689331848500508095016678577*c_0101_3^13 - 68928458250157059846471964528634157776204/1714375353206799554550152\ 4285050035731*c_0101_3^12 - 162354458351285147918337583157869439163\ 09625/51431260596203986636504572855150107193*c_0101_3^11 + 2354448342508992056313476777062603599307969/17143753532067995545501\ 524285050035731*c_0101_3^10 + 3302223892154493961922090074190215762\ 329815/5714584510689331848500508095016678577*c_0101_3^9 - 4424080528853834439270345202955134829753203/73473229423148552337863\ 67550735729599*c_0101_3^8 - 347106029213164417057742069324589041994\ 6929/51431260596203986636504572855150107193*c_0101_3^7 + 27943010384551947465927626378199352200851239/5143126059620398663650\ 4572855150107193*c_0101_3^6 - 1751815849307902945054423503498654807\ 5039770/51431260596203986636504572855150107193*c_0101_3^5 - 2712206424179252284185524203767319055227681/51431260596203986636504\ 572855150107193*c_0101_3^4 + 46381535163746410995752851648704823440\ 00470/51431260596203986636504572855150107193*c_0101_3^3 - 17695893380495835369505825732168706282165/2449107647438285077928789\ 183578576533*c_0101_3^2 - 33296259790979799550084415080469187379943\ /5714584510689331848500508095016678577*c_0101_3 + 37878848322461693685285019754618806357390/5143126059620398663650457\ 2855150107193, c_0011_0 - 1, c_0011_1 - 565170506457128337899197375991594724/81636921581276169264292\ 9727859525511*c_0101_3^20 + 5915479561598331750806751152232030548/8\ 16369215812761692642929727859525511*c_0101_3^19 + 12577507414672557920484256532139077145/8163692158127616926429297278\ 59525511*c_0101_3^18 + 35748626562419068120343724316380509104/81636\ 9215812761692642929727859525511*c_0101_3^17 - 27453227015821203539827594208514608165/8163692158127616926429297278\ 59525511*c_0101_3^16 - 157689003678784133262064259317740506525/8163\ 69215812761692642929727859525511*c_0101_3^15 + 91944278359515580475803826186512981661/8163692158127616926429297278\ 59525511*c_0101_3^14 + 241092312175434916714779984773464215146/8163\ 69215812761692642929727859525511*c_0101_3^13 - 81782865896670678204349558839248398744/8163692158127616926429297278\ 59525511*c_0101_3^12 - 1222396376361825179233725376975322394802/816\ 369215812761692642929727859525511*c_0101_3^11 + 856678457142220734336067492872062183637/816369215812761692642929727\ 859525511*c_0101_3^10 + 2153248148644135725884188982725872494961/81\ 6369215812761692642929727859525511*c_0101_3^9 - 2924666887448473930878781140189271800825/81636921581276169264292972\ 7859525511*c_0101_3^8 + 226921270639735033512236471637875341398/816\ 369215812761692642929727859525511*c_0101_3^7 + 2254229403026674950177603890438453765923/81636921581276169264292972\ 7859525511*c_0101_3^6 - 1830976276217629510782071424494277530145/81\ 6369215812761692642929727859525511*c_0101_3^5 + 36660096996987096273039296774258103757/8163692158127616926429297278\ 59525511*c_0101_3^4 + 445677341053250883032750235571022523229/81636\ 9215812761692642929727859525511*c_0101_3^3 - 97284758843809677033494999075100414146/8163692158127616926429297278\ 59525511*c_0101_3^2 - 25999964973487894420013080371198144072/816369\ 215812761692642929727859525511*c_0101_3 + 7285128604323938098072164024937413144/81636921581276169264292972785\ 9525511, c_0011_3 + 698419275145089430408389368525406503/81636921581276169264292\ 9727859525511*c_0101_3^20 - 7233282625970157486886867421744769441/8\ 16369215812761692642929727859525511*c_0101_3^19 - 16311191146786395906700819997592236282/8163692158127616926429297278\ 59525511*c_0101_3^18 - 46242946804993480759118108536252964512/81636\ 9215812761692642929727859525511*c_0101_3^17 + 28009043482963253135459117715673568706/8163692158127616926429297278\ 59525511*c_0101_3^16 + 195627543904950577163524784127275977882/8163\ 69215812761692642929727859525511*c_0101_3^15 - 92355492607179757489126815350965161722/8163692158127616926429297278\ 59525511*c_0101_3^14 - 300166776064371271414465129669574033977/8163\ 69215812761692642929727859525511*c_0101_3^13 + 69214598970165502991038137227193852108/8163692158127616926429297278\ 59525511*c_0101_3^12 + 1505961821183809702809276935543723834903/816\ 369215812761692642929727859525511*c_0101_3^11 - 897160236756646491254841486749128184206/816369215812761692642929727\ 859525511*c_0101_3^10 - 2700879197088341790485265767831401082016/81\ 6369215812761692642929727859525511*c_0101_3^9 + 3318165982944544276953240485779461217558/81636921581276169264292972\ 7859525511*c_0101_3^8 - 31354365662292950979165818971391915511/8163\ 69215812761692642929727859525511*c_0101_3^7 - 2723699356518274858692616457753278830281/81636921581276169264292972\ 7859525511*c_0101_3^6 + 2015616624852744691778818131165578307203/81\ 6369215812761692642929727859525511*c_0101_3^5 + 81102469433919635691340544526576197314/8163692158127616926429297278\ 59525511*c_0101_3^4 - 516165039451550283471977184555244199441/81636\ 9215812761692642929727859525511*c_0101_3^3 + 91712590165912511265278503761043026253/8163692158127616926429297278\ 59525511*c_0101_3^2 + 31064149735612039431885623097346018153/816369\ 215812761692642929727859525511*c_0101_3 - 7233883129797492733542366832458863720/81636921581276169264292972785\ 9525511, c_0011_4 + 1232775439032733191787064594298846724/8163692158127616926429\ 29727859525511*c_0101_3^20 - 12605127352354273819481728472944419487\ /816369215812761692642929727859525511*c_0101_3^19 - 30380071597512932134385747585962268560/8163692158127616926429297278\ 59525511*c_0101_3^18 - 86308904650876403454812530594014879281/81636\ 9215812761692642929727859525511*c_0101_3^17 + 36045651070559128192214826144225504350/8163692158127616926429297278\ 59525511*c_0101_3^16 + 344197236329250362513560463256445749894/8163\ 69215812761692642929727859525511*c_0101_3^15 - 118356565245309768847429808005700710660/816369215812761692642929727\ 859525511*c_0101_3^14 - 526436235172235810472003488761166019630/816\ 369215812761692642929727859525511*c_0101_3^13 + 54422331720511294071876998693936068569/8163692158127616926429297278\ 59525511*c_0101_3^12 + 2636818190563708308250379975772235929773/816\ 369215812761692642929727859525511*c_0101_3^11 - 1245935772435337020667085084941187070874/81636921581276169264292972\ 7859525511*c_0101_3^10 - 4786633485713380108199119266423344609070/8\ 16369215812761692642929727859525511*c_0101_3^9 + 5219482314998312376037308157691852619750/81636921581276169264292972\ 7859525511*c_0101_3^8 + 363217197072854089158111885006822913202/816\ 369215812761692642929727859525511*c_0101_3^7 - 4581588135865589215796625088402829547984/81636921581276169264292972\ 7859525511*c_0101_3^6 + 3044055143835931056809129262212583496767/81\ 6369215812761692642929727859525511*c_0101_3^5 + 330394001823840380841234088615035707144/816369215812761692642929727\ 859525511*c_0101_3^4 - 786771147449987595425032310449435849856/8163\ 69215812761692642929727859525511*c_0101_3^3 + 106329552085287145254252828349318213272/816369215812761692642929727\ 859525511*c_0101_3^2 + 46745984114634195246317233825106359967/81636\ 9215812761692642929727859525511*c_0101_3 - 9664815398977008482927651804083495037/81636921581276169264292972785\ 9525511, c_0011_5 - 367721815164968884745517790982430853/81636921581276169264292\ 9727859525511*c_0101_3^20 + 3939330112073245577537837373711995782/8\ 16369215812761692642929727859525511*c_0101_3^19 + 7281421446810074518236362614417975501/81636921581276169264292972785\ 9525511*c_0101_3^18 + 20795485242231281277615661526545114510/816369\ 215812761692642929727859525511*c_0101_3^17 - 24812851187570365142611354869873089438/8163692158127616926429297278\ 59525511*c_0101_3^16 - 101670481714649508559908843359563099717/8163\ 69215812761692642929727859525511*c_0101_3^15 + 85559716922265698603478982909907724277/8163692158127616926429297278\ 59525511*c_0101_3^14 + 154999113156744589298361339016823854374/8163\ 69215812761692642929727859525511*c_0101_3^13 - 92636783790911309757036675985365826996/8163692158127616926429297278\ 59525511*c_0101_3^12 - 801849003708622710503042319869730662906/8163\ 69215812761692642929727859525511*c_0101_3^11 + 749555837506313499822555602509187788409/816369215812761692642929727\ 859525511*c_0101_3^10 + 1359748638986816591902423748367034291255/81\ 6369215812761692642929727859525511*c_0101_3^9 - 2268327278392740883168264729280401803493/81636921581276169264292972\ 7859525511*c_0101_3^8 + 434453259429574512565474685691574286353/816\ 369215812761692642929727859525511*c_0101_3^7 + 1570331363837359641339489803117061617457/81636921581276169264292972\ 7859525511*c_0101_3^6 - 1499794604329269218383458518357873010017/81\ 6369215812761692642929727859525511*c_0101_3^5 + 166813215869624810833004246853846758970/816369215812761692642929727\ 859525511*c_0101_3^4 + 350647557491222084388239065603348245422/8163\ 69215812761692642929727859525511*c_0101_3^3 - 101413766313592963718001217808135965447/816369215812761692642929727\ 859525511*c_0101_3^2 - 20089321409422148010093251073455387701/81636\ 9215812761692642929727859525511*c_0101_3 + 6537619855803751225052190735119377202/81636921581276169264292972785\ 9525511, c_0101_0 + 489915577242375580780361028852167207/81636921581276169264292\ 9727859525511*c_0101_3^20 - 4991444703592705061676637023268188353/8\ 16369215812761692642929727859525511*c_0101_3^19 - 12227717969186762014454104731733394398/8163692158127616926429297278\ 59525511*c_0101_3^18 - 35022308338147382183398479145032726289/81636\ 9215812761692642929727859525511*c_0101_3^17 + 12199727629125582511109747435345829898/8163692158127616926429297278\ 59525511*c_0101_3^16 + 134714315892252122676338094152555710458/8163\ 69215812761692642929727859525511*c_0101_3^15 - 42884172117234111203708630132891005402/8163692158127616926429297278\ 59525511*c_0101_3^14 - 203983140025464090185300848894217779370/8163\ 69215812761692642929727859525511*c_0101_3^13 + 14830656800615399155159929371575836677/8163692158127616926429297278\ 59525511*c_0101_3^12 + 1038347971207031706780480355939789336686/816\ 369215812761692642929727859525511*c_0101_3^11 - 461021298037388810144411058104930441468/816369215812761692642929727\ 859525511*c_0101_3^10 - 1863017402706604678723060693437917065653/81\ 6369215812761692642929727859525511*c_0101_3^9 + 2006830768664969814718505322301607946613/81636921581276169264292972\ 7859525511*c_0101_3^8 + 122269471329261242644002906025742863025/816\ 369215812761692642929727859525511*c_0101_3^7 - 1746365559736016346816871507267269434890/81636921581276169264292972\ 7859525511*c_0101_3^6 + 1168988548104595581546947030121910130082/81\ 6369215812761692642929727859525511*c_0101_3^5 + 96616731489849972262631878587661762313/8163692158127616926429297278\ 59525511*c_0101_3^4 - 275235814176547963933617762062365224947/81636\ 9215812761692642929727859525511*c_0101_3^3 + 39480853032433410104649036819256260203/8163692158127616926429297278\ 59525511*c_0101_3^2 + 13761558273752443547176112211600302657/816369\ 215812761692642929727859525511*c_0101_3 - 3093277125680314720131372954864565697/81636921581276169264292972785\ 9525511, c_0101_3^21 - 10*c_0101_3^20 - 27*c_0101_3^19 - 75*c_0101_3^18 + 15*c_0101_3^17 + 290*c_0101_3^16 - 34*c_0101_3^15 - 465*c_0101_3^14 - 51*c_0101_3^13 + 2174*c_0101_3^12 - 525*c_0101_3^11 - 4230*c_0101_3^10 + 3386*c_0101_3^9 + 1480*c_0101_3^8 - 3824*c_0101_3^7 + 1559*c_0101_3^6 + 1016*c_0101_3^5 - 661*c_0101_3^4 - 102*c_0101_3^3 + 81*c_0101_3^2 + 4*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB