Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 2951623575] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0142 geometric_solution 3.64162129 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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 0 1 -1 0 0 1 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.669727267903 0.028008968660 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 -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 2.217818037514 0.185829776214 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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 1.617827628272 0.256184141693 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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.319964849907 0.478809718404 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 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 1 0 -1 -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.002569299239 0.504971842368 6 6 6 4 1230 3012 2031 0132 0 0 0 0 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 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.997550199843 1.007526491582 5 5 4 5 1230 3012 0132 1302 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 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.997550199843 1.007526491582 ==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_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' : d['c_0101_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 2*c_0101_1 - 3, c_0011_0 - 1, c_0011_2 - c_0101_1, c_0011_5 + c_0101_1, c_0101_0 + 1, c_0101_1^2 - c_0101_1 - 1, c_0101_3 - 1, c_0101_5 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 34975530242295596342020061955957102728141/3665763324182162322281847\ 73202669527739*c_0101_5^21 + 52749787044630012755376865917635212851\ 6002/366576332418216232228184773202669527739*c_0101_5^20 - 2347522633240169577536079630716845772589494/36657633241821623222818\ 4773202669527739*c_0101_5^19 + 261378633521710005982739351051977504\ 6449820/366576332418216232228184773202669527739*c_0101_5^18 + 10269991720247438533793548376643737486916264/3665763324182162322281\ 84773202669527739*c_0101_5^17 - 21119180926503998145885053210383683\ 133589784/366576332418216232228184773202669527739*c_0101_5^16 - 51809974336359351753032390194374347185120384/3665763324182162322281\ 84773202669527739*c_0101_5^15 + 21051769425521380669055366216635562\ 6714408469/366576332418216232228184773202669527739*c_0101_5^14 - 255928168422471993212319892920692668501750510/366576332418216232228\ 184773202669527739*c_0101_5^13 + 6526804112419157586804422343800875\ 7212999759/366576332418216232228184773202669527739*c_0101_5^12 + 104765231173012966551208715004429694813099144/366576332418216232228\ 184773202669527739*c_0101_5^11 - 1921936464978172404811054286603087\ 8015662165/366576332418216232228184773202669527739*c_0101_5^10 + 63128601582038353232153321852653403010421006/3665763324182162322281\ 84773202669527739*c_0101_5^9 - 321640711106628028295534775448130359\ 619452065/366576332418216232228184773202669527739*c_0101_5^8 + 353321845094187872971804348232868076238725050/366576332418216232228\ 184773202669527739*c_0101_5^7 - 46047628219095741625906051627676217\ 959264244/366576332418216232228184773202669527739*c_0101_5^6 - 236229176854675253414139108327687062675653004/366576332418216232228\ 184773202669527739*c_0101_5^5 + 16624327250007866823410439062362572\ 6649864358/366576332418216232228184773202669527739*c_0101_5^4 + 12576583496660470856130718808479632404775645/3665763324182162322281\ 84773202669527739*c_0101_5^3 - 342978709531558094912226194395980548\ 61149653/366576332418216232228184773202669527739*c_0101_5^2 + 2663812252975239929128883136846462545579479/36657633241821623222818\ 4773202669527739*c_0101_5 + 163515824531675514523283143353460513086\ 9455/366576332418216232228184773202669527739, c_0011_0 - 1, c_0011_2 + 17156213294106331627050266143117576047659/366576332418216232\ 228184773202669527739*c_0101_5^21 - 228381602724541803975895447718159509316719/366576332418216232228184\ 773202669527739*c_0101_5^20 + 7521335857426585533654438779056589340\ 87316/366576332418216232228184773202669527739*c_0101_5^19 - 14380132900691477196225685848910505862637/3665763324182162322281847\ 73202669527739*c_0101_5^18 - 48647494013596290191028432066748798045\ 85921/366576332418216232228184773202669527739*c_0101_5^17 + 1781955553756957164521977252371431448687360/36657633241821623222818\ 4773202669527739*c_0101_5^16 + 272332176701684814117372665580429517\ 39965121/366576332418216232228184773202669527739*c_0101_5^15 - 54875491632911539315900744452741781769846423/3665763324182162322281\ 84773202669527739*c_0101_5^14 + 35917842861005112916864665062970725\ 368426274/366576332418216232228184773202669527739*c_0101_5^13 + 17857896771359572833912202379033175000385401/3665763324182162322281\ 84773202669527739*c_0101_5^12 - 11562009251777449615792979398843571\ 794023938/366576332418216232228184773202669527739*c_0101_5^11 - 6297307790086282648787014298716592240633171/36657633241821623222818\ 4773202669527739*c_0101_5^10 - 429952252201596446666161296268058921\ 57120124/366576332418216232228184773202669527739*c_0101_5^9 + 80676429536371101138219785877936534764764047/3665763324182162322281\ 84773202669527739*c_0101_5^8 - 427704793425556140135899127460297257\ 10141109/366576332418216232228184773202669527739*c_0101_5^7 - 33383525369600187917824496983641209223144559/3665763324182162322281\ 84773202669527739*c_0101_5^6 + 471551835369367731874861017371207158\ 96725230/366576332418216232228184773202669527739*c_0101_5^5 - 6614167429420099348342799200818034425340606/36657633241821623222818\ 4773202669527739*c_0101_5^4 - 7990189925196194682773770607542562892\ 011166/366576332418216232228184773202669527739*c_0101_5^3 + 1572098879892910718436235757901381923611878/36657633241821623222818\ 4773202669527739*c_0101_5^2 + 3599036235370683755511499733916956575\ 47262/366576332418216232228184773202669527739*c_0101_5 - 24888871619473669857223619968603522476421/3665763324182162322281847\ 73202669527739, c_0011_5 - 9738661305793356129933954305745658446762/3665763324182162322\ 28184773202669527739*c_0101_5^21 + 129627894639368617660863254171658441903980/366576332418216232228184\ 773202669527739*c_0101_5^20 - 4267913464970884586819172837436945834\ 76713/366576332418216232228184773202669527739*c_0101_5^19 + 7707377648418194823013317351723272662067/36657633241821623222818477\ 3202669527739*c_0101_5^18 + 276131276880255454325067890166900965682\ 9818/366576332418216232228184773202669527739*c_0101_5^17 - 1008415142747941817366616093835040178638491/36657633241821623222818\ 4773202669527739*c_0101_5^16 - 154585749345908426974660203732918423\ 79964732/366576332418216232228184773202669527739*c_0101_5^15 + 31132599468653220292403964731621319864386721/3665763324182162322281\ 84773202669527739*c_0101_5^14 - 20358836635858329248918778956586958\ 284670985/366576332418216232228184773202669527739*c_0101_5^13 - 10156752948248154761363182332437289131157870/3665763324182162322281\ 84773202669527739*c_0101_5^12 + 65561792593138793856374470724644278\ 50516474/366576332418216232228184773202669527739*c_0101_5^11 + 3572278040578352600980195533369177369761210/36657633241821623222818\ 4773202669527739*c_0101_5^10 + 244004713444332069086851118076987777\ 34842302/366576332418216232228184773202669527739*c_0101_5^9 - 45768326404776420207870054495589377781655570/3665763324182162322281\ 84773202669527739*c_0101_5^8 + 242368272040866397798021330161899484\ 73983713/366576332418216232228184773202669527739*c_0101_5^7 + 18975442616593552679243799450089177308727188/3665763324182162322281\ 84773202669527739*c_0101_5^6 - 267537116902050732346855939378137548\ 13411057/366576332418216232228184773202669527739*c_0101_5^5 + 3736025464701142648187790363775733281409510/36657633241821623222818\ 4773202669527739*c_0101_5^4 + 4544947462318715565810424663342646551\ 458765/366576332418216232228184773202669527739*c_0101_5^3 - 892666994658568498031747016211675648674942/366576332418216232228184\ 773202669527739*c_0101_5^2 - 20666963854567920728993765687361444579\ 0484/366576332418216232228184773202669527739*c_0101_5 + 14144703754268267462375696101246068214183/3665763324182162322281847\ 73202669527739, c_0101_0 - 21926230034195949973967665176608182053848/366576332418216232\ 228184773202669527739*c_0101_5^21 + 291930536756485657522981537775446462081453/366576332418216232228184\ 773202669527739*c_0101_5^20 - 9618779013889689538095476117022799147\ 68730/366576332418216232228184773202669527739*c_0101_5^19 + 19928694894829150006962442520007153486266/3665763324182162322281847\ 73202669527739*c_0101_5^18 + 62192705915094962423726295404234851092\ 07918/366576332418216232228184773202669527739*c_0101_5^17 - 2290915108333839171306429360022717126730277/36657633241821623222818\ 4773202669527739*c_0101_5^16 - 348142544259953133062589786349447709\ 27457989/366576332418216232228184773202669527739*c_0101_5^15 + 70211761047462323102740377938452804594910403/3665763324182162322281\ 84773202669527739*c_0101_5^14 - 45984312214282962406615395399638028\ 046142568/366576332418216232228184773202669527739*c_0101_5^13 - 22844465320047376186733328514208058222930720/3665763324182162322281\ 84773202669527739*c_0101_5^12 + 14880870561410932424878455059833681\ 983619234/366576332418216232228184773202669527739*c_0101_5^11 + 8086967220720302812551549027775140296330838/36657633241821623222818\ 4773202669527739*c_0101_5^10 + 549368127755983437167418355624556075\ 05863795/366576332418216232228184773202669527739*c_0101_5^9 - 103247008480547937271168492863387414959649336/366576332418216232228\ 184773202669527739*c_0101_5^8 + 54761758165022567514201386085170767\ 835697014/366576332418216232228184773202669527739*c_0101_5^7 + 42716181074460602528249549201701682427053382/3665763324182162322281\ 84773202669527739*c_0101_5^6 - 604163139347957054832614098927937195\ 71417235/366576332418216232228184773202669527739*c_0101_5^5 + 8475595338026239516199041797740876005738729/36657633241821623222818\ 4773202669527739*c_0101_5^4 + 1027442433446866046623418051478964398\ 0507974/366576332418216232228184773202669527739*c_0101_5^3 - 2018399834125084370134019759339870920861548/36657633241821623222818\ 4773202669527739*c_0101_5^2 - 4676153452187269587723123515995830983\ 46757/366576332418216232228184773202669527739*c_0101_5 + 31928741668880205103357314181462390704911/3665763324182162322281847\ 73202669527739, c_0101_1 + 14084662037257061902116246086263123905400/366576332418216232\ 228184773202669527739*c_0101_5^21 - 187573413326085557734702301977339002596573/366576332418216232228184\ 773202669527739*c_0101_5^20 + 6184991214551961939938952857805371326\ 97351/366576332418216232228184773202669527739*c_0101_5^19 - 14780397487509839699635668183245097278114/3665763324182162322281847\ 73202669527739*c_0101_5^18 - 39953107568835872636244488454756124379\ 93214/366576332418216232228184773202669527739*c_0101_5^17 + 1484991574019362984399351256184959422911331/36657633241821623222818\ 4773202669527739*c_0101_5^16 + 223605878461130502262575318888502875\ 13735338/366576332418216232228184773202669527739*c_0101_5^15 - 45177362869494429096519873267312698178790449/3665763324182162322281\ 84773202669527739*c_0101_5^14 + 29678266925840549454561200519186909\ 759695041/366576332418216232228184773202669527739*c_0101_5^13 + 14597711732163023508328084800118571553872686/3665763324182162322281\ 84773202669527739*c_0101_5^12 - 96200516286401205119368127214244702\ 47638399/366576332418216232228184773202669527739*c_0101_5^11 - 5172306011259871557722360003902708172002417/36657633241821623222818\ 4773202669527739*c_0101_5^10 - 352679538756715742490130559875884892\ 99886291/366576332418216232228184773202669527739*c_0101_5^9 + 66447984199991136185650186393895330815886562/3665763324182162322281\ 84773202669527739*c_0101_5^8 - 353781246285596967511165703156092853\ 56551636/366576332418216232228184773202669527739*c_0101_5^7 - 27352816837319395182409659525191613726748855/3665763324182162322281\ 84773202669527739*c_0101_5^6 + 389147555535277426339276046566692399\ 02722532/366576332418216232228184773202669527739*c_0101_5^5 - 5558185191833086713729449228150049071681505/36657633241821623222818\ 4773202669527739*c_0101_5^4 - 6599124213965029337793707714135074376\ 531510/366576332418216232228184773202669527739*c_0101_5^3 + 1315673906962329511302641073477721657479645/36657633241821623222818\ 4773202669527739*c_0101_5^2 + 2987486808782950846556905302966251240\ 12471/366576332418216232228184773202669527739*c_0101_5 - 20884284204184975575908327928665019370340/3665763324182162322281847\ 73202669527739, c_0101_3 - 5343808128437791697401855378062769257205/3665763324182162322\ 28184773202669527739*c_0101_5^21 + 71148466966902592944527840936482256289891/3665763324182162322281847\ 73202669527739*c_0101_5^20 - 23442898293925232106096545730554605774\ 0610/366576332418216232228184773202669527739*c_0101_5^19 + 4909477985393657699175711861992787137699/36657633241821623222818477\ 3202669527739*c_0101_5^18 + 151554008597805953361319252218173741747\ 3924/366576332418216232228184773202669527739*c_0101_5^17 - 558254486670256715142799509530677467668955/366576332418216232228184\ 773202669527739*c_0101_5^16 - 8483580242506437260824639535731039158\ 664859/366576332418216232228184773202669527739*c_0101_5^15 + 17110834018824582386235013252736865248009654/3665763324182162322281\ 84773202669527739*c_0101_5^14 - 11213926549780374980345878191463105\ 443628877/366576332418216232228184773202669527739*c_0101_5^13 - 5552212286962544952574110421926426462129137/36657633241821623222818\ 4773202669527739*c_0101_5^12 + 361593270520166851530331721370436455\ 9779544/366576332418216232228184773202669527739*c_0101_5^11 + 1966299875137671592949768665473684500013779/36657633241821623222818\ 4773202669527739*c_0101_5^10 + 133936146870809199850367142062261298\ 25037881/366576332418216232228184773202669527739*c_0101_5^9 - 25159152543290374642956403368010801031272945/3665763324182162322281\ 84773202669527739*c_0101_5^8 + 133577188650817077655319754208963843\ 27083057/366576332418216232228184773202669527739*c_0101_5^7 + 10387679459206245086978597194692577955196108/3665763324182162322281\ 84773202669527739*c_0101_5^6 - 147114943488743270337526083373450867\ 70246950/366576332418216232228184773202669527739*c_0101_5^5 + 2074202928339870338041893456401015977868829/36657633241821623222818\ 4773202669527739*c_0101_5^4 + 2490399300174541155310983619050352854\ 289595/366576332418216232228184773202669527739*c_0101_5^3 - 490734868524532920532034720361205491026928/366576332418216232228184\ 773202669527739*c_0101_5^2 - 11157500799697221739651194323924154188\ 1694/366576332418216232228184773202669527739*c_0101_5 + 7759226133011912940856203624818593694935/36657633241821623222818477\ 3202669527739, c_0101_5^22 - 14*c_0101_5^21 + 53*c_0101_5^20 - 31*c_0101_5^19 - 283*c_0101_5^18 + 299*c_0101_5^17 + 1516*c_0101_5^16 - 4291*c_0101_5^15 + 4294*c_0101_5^14 - 398*c_0101_5^13 - 1392*c_0101_5^12 + 97*c_0101_5^11 - 2253*c_0101_5^10 + 6427*c_0101_5^9 - 5728*c_0101_5^8 - 233*c_0101_5^7 + 4090*c_0101_5^6 - 2277*c_0101_5^5 - 202*c_0101_5^4 + 413*c_0101_5^3 - 42*c_0101_5^2 - 16*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB