Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 3836049409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0614 geometric_solution 4.61827594 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 -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 1.937517822942 0.516701581608 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 -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.356257421362 0.889479176597 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -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 0 0 1 -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.355402280227 0.366487982594 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 -1 1 -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.355402280227 0.366487982594 2 3 5 5 0132 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 -1 1 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.944986354811 1.857628783765 6 4 4 6 0132 3201 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 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.053838525766 0.316336576681 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3.367770082156 3.220518706530 ==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_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 55042422920647001795361901876624960949/3597291664602510937805292542\ 60491469*c_0101_6^17 + 1908929252209550659486365612868675414669/104\ 32145827347281719635348373554252601*c_0101_6^16 - 26805312115829970767624773196729378803067/1043214582734728171963534\ 8373554252601*c_0101_6^15 - 202366731222487484674294210681378058411\ 63/10432145827347281719635348373554252601*c_0101_6^14 + 8609844603822781305451784609347470546794/10432145827347281719635348\ 373554252601*c_0101_6^13 - 1014923175990268284286891043821976416358\ 16/10432145827347281719635348373554252601*c_0101_6^12 - 5723287668882547338888583963156778553818/10432145827347281719635348\ 373554252601*c_0101_6^11 + 5529642898546247073440098408608527967933\ 35/10432145827347281719635348373554252601*c_0101_6^10 + 46661075926903799184358294043016175486202/5490603067024885115597551\ 77555486979*c_0101_6^9 + 544002973342156127744210574682485609106620\ /10432145827347281719635348373554252601*c_0101_6^8 + 84496226921445181287000293816032699102951/1043214582734728171963534\ 8373554252601*c_0101_6^7 - 9860454072139408981483895108833683255830\ 6/10432145827347281719635348373554252601*c_0101_6^6 - 120231936947939310135321630744797789036964/104321458273472817196353\ 48373554252601*c_0101_6^5 - 314545827434340278228989012778769434380\ 9/549060306702488511559755177555486979*c_0101_6^4 - 25057094811993633364939331359508147910765/1043214582734728171963534\ 8373554252601*c_0101_6^3 - 6743328165593280957091270615902982526022\ /10432145827347281719635348373554252601*c_0101_6^2 - 1043626226585389719047159916737435026580/10432145827347281719635348\ 373554252601*c_0101_6 - 598186960414305742931615148928729082134/104\ 32145827347281719635348373554252601, c_0011_0 - 1, c_0011_3 + 1015285929409708856842402980000846279/3597291664602510937805\ 29254260491469*c_0101_6^17 + 182964684415002514171362287681131265/3\ 59729166460251093780529254260491469*c_0101_6^16 - 17273126057806934281005071401049455382/3597291664602510937805292542\ 60491469*c_0101_6^15 + 4513903657483214412722787031718799851/359729\ 166460251093780529254260491469*c_0101_6^14 + 1568567064127714322873491008912386795/35972916646025109378052925426\ 0491469*c_0101_6^13 - 63772295527235563065456322597301660931/359729\ 166460251093780529254260491469*c_0101_6^12 + 59353052528059683404510283306753789827/3597291664602510937805292542\ 60491469*c_0101_6^11 + 294695695305192603340112693674714364620/3597\ 29166460251093780529254260491469*c_0101_6^10 + 14276876212383012768723801063030829899/1893311402422374177792259232\ 9499551*c_0101_6^9 + 47278572902478660713045404560902540584/3597291\ 66460251093780529254260491469*c_0101_6^8 - 41812378238507128475613316270470884045/3597291664602510937805292542\ 60491469*c_0101_6^7 - 49187849521701869369944203882321018422/359729\ 166460251093780529254260491469*c_0101_6^6 - 26645740587299844566217464886181912413/3597291664602510937805292542\ 60491469*c_0101_6^5 - 374132200361614759785843393477553030/18933114\ 024223741777922592329499551*c_0101_6^4 - 4342000908833216843963183897225824605/35972916646025109378052925426\ 0491469*c_0101_6^3 + 315774796055208751015309532451475067/359729166\ 460251093780529254260491469*c_0101_6^2 + 259370904428725150983702731658098410/359729166460251093780529254260\ 491469*c_0101_6 + 24085872488437872961406965745221576/3597291664602\ 51093780529254260491469, c_0011_5 + 1275073629707554098880325362550/9684952695392982647666168258\ 99*c_0101_6^17 - 1984092429997355206962374227288/968495269539298264\ 766616825899*c_0101_6^16 - 21206970192477070370070299590525/9684952\ 69539298264766616825899*c_0101_6^15 + 42644734184768687479902464907225/968495269539298264766616825899*c_0\ 101_6^14 - 22633898565191547785582539294276/96849526953929826476661\ 6825899*c_0101_6^13 - 65402770913638279261473673243453/968495269539\ 298264766616825899*c_0101_6^12 + 203795788663066965695158480466158/\ 968495269539298264766616825899*c_0101_6^11 + 191431845242283349629274134193850/968495269539298264766616825899*c_\ 0101_6^10 - 202131894396340933523121530872683/968495269539298264766\ 616825899*c_0101_6^9 - 349074067914384681035219183952548/9684952695\ 39298264766616825899*c_0101_6^8 - 120495482528848484159786066163102\ /968495269539298264766616825899*c_0101_6^7 - 61122842770964597925644172557216/968495269539298264766616825899*c_0\ 101_6^6 + 44128168849515955798900702920068/968495269539298264766616\ 825899*c_0101_6^5 + 29654544312976926446287018592464/96849526953929\ 8264766616825899*c_0101_6^4 + 20533271302879308797326567392649/9684\ 95269539298264766616825899*c_0101_6^3 + 7564933132586284418964858063247/968495269539298264766616825899*c_01\ 01_6^2 + 2518105983080117318940540802338/96849526953929826476661682\ 5899*c_0101_6 + 761750952112044378765180349568/96849526953929826476\ 6616825899, c_0101_0 - 2562889757120431970925613018824612990/3597291664602510937805\ 29254260491469*c_0101_6^17 - 27148549742441148072675669923958314/35\ 9729166460251093780529254260491469*c_0101_6^16 + 42557793984223867653016103730926009388/3597291664602510937805292542\ 60491469*c_0101_6^15 - 18518718416136027488518356981908689742/35972\ 9166460251093780529254260491469*c_0101_6^14 + 16810196707301896767730002966177230453/3597291664602510937805292542\ 60491469*c_0101_6^13 + 148768019459797701556303488340671898094/3597\ 29166460251093780529254260491469*c_0101_6^12 - 170811462390923595804718083829393194888/359729166460251093780529254\ 260491469*c_0101_6^11 - 652733452679030942116876205779750374555/359\ 729166460251093780529254260491469*c_0101_6^10 - 34250769063875539906701604783418846138/1893311402422374177792259232\ 9499551*c_0101_6^9 - 281194372867027125262044641729308372985/359729\ 166460251093780529254260491469*c_0101_6^8 - 70894585812245912126886621057901498447/3597291664602510937805292542\ 60491469*c_0101_6^7 + 99843180215352008283572673898261629867/359729\ 166460251093780529254260491469*c_0101_6^6 + 72795132923677727534055350943686826297/3597291664602510937805292542\ 60491469*c_0101_6^5 + 2640851913420097087769531435918570582/1893311\ 4024223741777922592329499551*c_0101_6^4 + 19117455185088224507053909810915145158/3597291664602510937805292542\ 60491469*c_0101_6^3 + 4431040100183344613730782215495592634/3597291\ 66460251093780529254260491469*c_0101_6^2 + 1695795821803933873841266216632868968/35972916646025109378052925426\ 0491469*c_0101_6 - 77972883278933879847171747505984018/359729166460\ 251093780529254260491469, c_0101_1 + 4090678967963943818483952815178499347/3597291664602510937805\ 29254260491469*c_0101_6^17 - 21544523144697070264624414291918208/35\ 9729166460251093780529254260491469*c_0101_6^16 - 68378777181115532131704185165281102999/3597291664602510937805292542\ 60491469*c_0101_6^15 + 30828851112156021712127602707028067822/35972\ 9166460251093780529254260491469*c_0101_6^14 - 19689355172401341879874250388800771639/3597291664602510937805292542\ 60491469*c_0101_6^13 - 243689435895143095228248286116800045965/3597\ 29166460251093780529254260491469*c_0101_6^12 + 278750217451932205259585441549711500701/359729166460251093780529254\ 260491469*c_0101_6^11 + 1065223210116690151117796348247938572261/35\ 9729166460251093780529254260491469*c_0101_6^10 + 51515040140970667973937449671077142518/1893311402422374177792259232\ 9499551*c_0101_6^9 + 324056079342420310766316053614979232079/359729\ 166460251093780529254260491469*c_0101_6^8 + 57218260598367643040316376054933862769/3597291664602510937805292542\ 60491469*c_0101_6^7 - 137420364840720348884821453575725515461/35972\ 9166460251093780529254260491469*c_0101_6^6 - 102983581460021534813923121554619202411/359729166460251093780529254\ 260491469*c_0101_6^5 - 3508062642431795703941503478479749219/189331\ 14024223741777922592329499551*c_0101_6^4 - 25000655393117700009291350069177983256/3597291664602510937805292542\ 60491469*c_0101_6^3 - 5599961919823002228897319858737889711/3597291\ 66460251093780529254260491469*c_0101_6^2 - 2097197199071530993761229625810758747/35972916646025109378052925426\ 0491469*c_0101_6 - 169573061526773598838333556748059354/35972916646\ 0251093780529254260491469, c_0101_4 - 41449318884313969460479219713738/968495269539298264766616825\ 899*c_0101_6^17 - 7135846675810078171733610733368/96849526953929826\ 4766616825899*c_0101_6^16 + 699014689829556432191961960504721/96849\ 5269539298264766616825899*c_0101_6^15 - 187609314623362527706683843558937/968495269539298264766616825899*c_\ 0101_6^14 + 40815382780359047051200192296047/9684952695392982647666\ 16825899*c_0101_6^13 + 2518647775273114338626611662298434/968495269\ 539298264766616825899*c_0101_6^12 - 2385341176829732795472549164784841/968495269539298264766616825899*c\ _0101_6^11 - 11661393092728488685361745062564251/968495269539298264\ 766616825899*c_0101_6^10 - 11532853275307744581779151429809193/9684\ 95269539298264766616825899*c_0101_6^9 - 3262730431768446613456377037598379/968495269539298264766616825899*c\ _0101_6^8 + 773722310223661967736250563049653/968495269539298264766\ 616825899*c_0101_6^7 + 1898418001306345819951167600403855/968495269\ 539298264766616825899*c_0101_6^6 + 1081065475359992925644009581511049/968495269539298264766616825899*c\ _0101_6^5 + 487988340397614978309876412197174/968495269539298264766\ 616825899*c_0101_6^4 + 194694324172626285329248735323819/9684952695\ 39298264766616825899*c_0101_6^3 + 34796689180631824585074184214349/\ 968495269539298264766616825899*c_0101_6^2 + 10333191051354548054007595603083/968495269539298264766616825899*c_0\ 101_6 + 2991308971525140087984111995117/968495269539298264766616825\ 899, c_0101_6^18 + 17/29*c_0101_6^17 - 487/29*c_0101_6^16 - 71/29*c_0101_6^15 + 26/29*c_0101_6^14 - 1778/29*c_0101_6^13 + 938/29*c_0101_6^12 + 8851/29*c_0101_6^11 + 11433/29*c_0101_6^10 + 5628/29*c_0101_6^9 + 480/29*c_0101_6^8 - 1448/29*c_0101_6^7 - 1263/29*c_0101_6^6 - 23*c_0101_6^5 - 298/29*c_0101_6^4 - 91/29*c_0101_6^3 - 21/29*c_0101_6^2 - 6/29*c_0101_6 - 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB