Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 492601793] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1449 geometric_solution 5.27004786 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 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.550367723580 0.119099121059 2 0 2 0 0132 2310 1023 0132 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 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.713945067921 0.256502158065 1 3 1 4 0132 0132 1023 0132 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 -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 1.074790277491 1.183214734316 4 2 6 5 3201 0132 0132 0132 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 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.309969989811 1.054302404093 5 6 2 3 3201 3201 0132 2310 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 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.309969989811 1.054302404093 5 5 3 4 1302 2031 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309896094562 0.542175286540 6 6 4 3 1302 2031 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.069761614584 1.324146113761 ==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_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], '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_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_1'], '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' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_6'], '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 218339397209483283914160548279836248/137891580872906698837632000481\ 625*c_0101_1^24 + 7602289663268809907094713697999284003/27578316174\ 5813397675264000963250*c_0101_1^23 - 20987064301505600708701385408201490749/1378915808729066988376320004\ 81625*c_0101_1^22 + 87559851890442005257926802181064483361/55156632\ 3491626795350528001926500*c_0101_1^21 + 579453705670549323446844117384414309543/551566323491626795350528001\ 926500*c_0101_1^20 - 574356176524106492412597040199363667557/275783\ 161745813397675264000963250*c_0101_1^19 - 2051217524147627181199102475782517039091/55156632349162679535052800\ 1926500*c_0101_1^18 + 1049993086969381942233853525121564475876/1378\ 91580872906698837632000481625*c_0101_1^17 + 539255182534266218593732557744994057331/551566323491626795350528001\ 92650*c_0101_1^16 - 3101296264458887388650693352312763349529/275783\ 161745813397675264000963250*c_0101_1^15 - 4728636276348146522282692131365544717249/27578316174581339767526400\ 0963250*c_0101_1^14 - 779344690131839322372435215730553165979/27578\ 3161745813397675264000963250*c_0101_1^13 + 906719695910652250891300904247500463951/110313264698325359070105600\ 385300*c_0101_1^12 + 8336725950184184532108834070833937618057/27578\ 3161745813397675264000963250*c_0101_1^11 + 8744657498175935206465218178083974733433/27578316174581339767526400\ 0963250*c_0101_1^10 - 14993788864240653760867594176637037583051/551\ 566323491626795350528001926500*c_0101_1^9 - 34881723772338322439289129624791460304607/5515663234916267953505280\ 01926500*c_0101_1^8 - 7432688718199804342091120525040460808459/5515\ 66323491626795350528001926500*c_0101_1^7 + 21781096994734930917104902436793494745619/5515663234916267953505280\ 01926500*c_0101_1^6 + 16602592120695090773280313076073079113393/551\ 566323491626795350528001926500*c_0101_1^5 - 352780342111012181853707763200248400669/551566323491626795350528001\ 926500*c_0101_1^4 - 225674783483915518009252154888025873913/2206265\ 2939665071814021120077060*c_0101_1^3 - 2930073321756239574524462207638228087543/55156632349162679535052800\ 1926500*c_0101_1^2 - 634237320350910796458548417598534343501/551566\ 323491626795350528001926500*c_0101_1 - 10090326959496093689608806395703684039/1103132646983253590701056003\ 85300, c_0011_0 - 1, c_0011_1 - 53911611701578079780239987/1969964153790972453642756125*c_01\ 01_1^24 + 990477414707013274139827818/1969964153790972453642756125*\ c_0101_1^23 - 6125321816028221018800406039/196996415379097245364275\ 6125*c_0101_1^22 + 2223477115593225184411497083/3939928307581944907\ 28551225*c_0101_1^21 + 26158065924294462815374562693/19699641537909\ 72453642756125*c_0101_1^20 - 97960578293310396951439571837/19699641\ 53790972453642756125*c_0101_1^19 - 36125621009016775117547133219/1969964153790972453642756125*c_0101_1\ ^18 + 306156518226707731844119813473/1969964153790972453642756125*c\ _0101_1^17 + 44128438620125367743259217327/196996415379097245364275\ 6125*c_0101_1^16 - 89607236313102490210781043324/393992830758194490\ 728551225*c_0101_1^15 - 164946598034733309476252185428/196996415379\ 0972453642756125*c_0101_1^14 + 11105192742986349934621015669/393992\ 830758194490728551225*c_0101_1^13 + 9577706647268549412690895447/78798566151638898145710245*c_0101_1^12 + 883820857571918803090877775829/1969964153790972453642756125*c_010\ 1_1^11 + 274375746832650336738873633117/196996415379097245364275612\ 5*c_0101_1^10 - 1267962490678771908746634285758/1969964153790972453\ 642756125*c_0101_1^9 - 1040261515548257936639305505064/196996415379\ 0972453642756125*c_0101_1^8 + 93911087391951261276707849408/3939928\ 30758194490728551225*c_0101_1^7 + 906612844122804783101390681199/19\ 69964153790972453642756125*c_0101_1^6 + 270373804847874482032483365824/1969964153790972453642756125*c_0101_\ 1^5 - 183787711540836852654517887738/1969964153790972453642756125*c\ _0101_1^4 - 175098414622009802035227423257/196996415379097245364275\ 6125*c_0101_1^3 - 60476326272719845774035580776/1969964153790972453\ 642756125*c_0101_1^2 - 1807109667298510609909858273/393992830758194\ 490728551225*c_0101_1 + 22818717388946238955132274/7879856615163889\ 8145710245, c_0011_4 + 58770581467375788517985026174539/275783161745813397675264000\ 96325*c_0101_1^24 - 1031435334697141887447939010599129/275783161745\ 81339767526400096325*c_0101_1^23 + 5798083063690365397465496302126992/27578316174581339767526400096325\ *c_0101_1^22 - 6775343063766196969151560921305443/27578316174581339\ 767526400096325*c_0101_1^21 - 37644036324547244775682930702603108/2\ 7578316174581339767526400096325*c_0101_1^20 + 16399550838766339134002280320199596/5515663234916267953505280019265\ *c_0101_1^19 + 124385835265712190596202401880833239/275783161745813\ 39767526400096325*c_0101_1^18 - 29402201689464419493814783677336083\ 8/27578316174581339767526400096325*c_0101_1^17 - 316455562115742825750694544518904276/275783161745813397675264000963\ 25*c_0101_1^16 + 441148516476209859768027967131437538/2757831617458\ 1339767526400096325*c_0101_1^15 + 564054736283124719618332288174160\ 169/27578316174581339767526400096325*c_0101_1^14 + 57741238942397230301593861931370472/2757831617458133976752640009632\ 5*c_0101_1^13 - 58600126348492764386587315763099532/551566323491626\ 7953505280019265*c_0101_1^12 - 108587512084254316605616555990125000\ 8/27578316174581339767526400096325*c_0101_1^11 - 1039291690681389837651938380792116598/27578316174581339767526400096\ 325*c_0101_1^10 + 43751264496664905256139696788503373/1103132646983\ 253590701056003853*c_0101_1^9 + 21557721668388285739689278377475898\ 37/27578316174581339767526400096325*c_0101_1^8 + 56331504654798009331742464654315208/5515663234916267953505280019265\ *c_0101_1^7 - 1410183836356363408324950172691410676/275783161745813\ 39767526400096325*c_0101_1^6 - 943539888730693153793976209809221291\ /27578316174581339767526400096325*c_0101_1^5 + 81852932119388208531710198637110246/2757831617458133976752640009632\ 5*c_0101_1^4 + 68710985783921922913804497218025358/5515663234916267\ 953505280019265*c_0101_1^3 + 164034925792993992294217138782967811/2\ 7578316174581339767526400096325*c_0101_1^2 + 33438366825477395566559041260426064/2757831617458133976752640009632\ 5*c_0101_1 + 512200310817130889049153706592241/55156632349162679535\ 05280019265, c_0011_5 + 225836665618437749544084115626246/13789158087290669883763200\ 0481625*c_0101_1^24 - 3970983274370335563489308737751089/1378915808\ 72906698837632000481625*c_0101_1^23 + 22414099218636210211303732173195852/1378915808729066988376320004816\ 25*c_0101_1^22 - 5363339781287156575698523212472924/275783161745813\ 39767526400096325*c_0101_1^21 - 14352889850403640928637661335587002\ 9/137891580872906698837632000481625*c_0101_1^20 + 319356144630415588451100034650931046/137891580872906698837632000481\ 625*c_0101_1^19 + 466792593584018117984079654928033152/137891580872\ 906698837632000481625*c_0101_1^18 - 1142267127126512834437772569551110579/13789158087290669883763200048\ 1625*c_0101_1^17 - 1177541207737267940286447201725197256/1378915808\ 72906698837632000481625*c_0101_1^16 + 345188155137975965095676027611886316/275783161745813397675264000963\ 25*c_0101_1^15 + 2107134839334941409585050806533577439/137891580872\ 906698837632000481625*c_0101_1^14 + 32919824442208319449664441617257446/2757831617458133976752640009632\ 5*c_0101_1^13 - 44778731507564766944202930150078802/551566323491626\ 7953505280019265*c_0101_1^12 - 413880946137250277318523128375170308\ 2/137891580872906698837632000481625*c_0101_1^11 - 3871818739495303299954501561662494571/13789158087290669883763200048\ 1625*c_0101_1^10 + 4306451537896356726625864355877475014/1378915808\ 72906698837632000481625*c_0101_1^9 + 8130899636034639205713724754676892662/13789158087290669883763200048\ 1625*c_0101_1^8 + 170615729982633662499186259651543709/275783161745\ 81339767526400096325*c_0101_1^7 - 539876776724248087335451909876859\ 7407/137891580872906698837632000481625*c_0101_1^6 - 3460121164354971987664225715086212597/13789158087290669883763200048\ 1625*c_0101_1^5 + 383307760053729353309436452999056539/137891580872\ 906698837632000481625*c_0101_1^4 + 1291105450893138275828064499480938841/13789158087290669883763200048\ 1625*c_0101_1^3 + 598897113300689229959580132676208448/137891580872\ 906698837632000481625*c_0101_1^2 + 4773272102973556308276584185747923/5515663234916267953505280019265*\ c_0101_1 + 357478399672262690473604596812397/5515663234916267953505\ 280019265, c_0011_6 + 128460646040005303939480133967739/13789158087290669883763200\ 0481625*c_0101_1^24 - 2252543692674612016043443682550161/1378915808\ 72906698837632000481625*c_0101_1^23 + 12636295237056578181097502987183048/1378915808729066988376320004816\ 25*c_0101_1^22 - 2912894809095099120503274590412863/275783161745813\ 39767526400096325*c_0101_1^21 - 82857761255161218149181682483671151\ /137891580872906698837632000481625*c_0101_1^20 + 178837843767541668486358528527512659/137891580872906698837632000481\ 625*c_0101_1^19 + 275158772589805434944139820731545188/137891580872\ 906698837632000481625*c_0101_1^18 - 643913129134827873176233770144447976/137891580872906698837632000481\ 625*c_0101_1^17 - 698765904897975312180457740251463469/137891580872\ 906698837632000481625*c_0101_1^16 + 193463608317257715955878497899808376/275783161745813397675264000963\ 25*c_0101_1^15 + 1238625800445962167789520620798013786/137891580872\ 906698837632000481625*c_0101_1^14 + 25489499373557915227072916384612742/2757831617458133976752640009632\ 5*c_0101_1^13 - 25323150682460247085557395062971577/551566323491626\ 7953505280019265*c_0101_1^12 - 238085222995987115663762710339181013\ 8/137891580872906698837632000481625*c_0101_1^11 - 2295772621105959844406737466932831419/13789158087290669883763200048\ 1625*c_0101_1^10 + 2390719619375499073162764048837566756/1378915808\ 72906698837632000481625*c_0101_1^9 + 4733174818032762423089751918713494088/13789158087290669883763200048\ 1625*c_0101_1^8 + 125712514844534947796638073703964121/275783161745\ 81339767526400096325*c_0101_1^7 - 308107462628015391692628465793629\ 5623/137891580872906698837632000481625*c_0101_1^6 - 2071059389126326287289217034392878983/13789158087290669883763200048\ 1625*c_0101_1^5 + 167140685440649167426835711855716276/137891580872\ 906698837632000481625*c_0101_1^4 + 748561743066192306237603297072048514/137891580872906698837632000481\ 625*c_0101_1^3 + 362832337330601357644784389177208987/1378915808729\ 06698837632000481625*c_0101_1^2 + 151583150772455533260034654831092\ 51/27578316174581339767526400096325*c_0101_1 + 241958292524572153526080219652962/5515663234916267953505280019265, c_0101_0 + 684250887771971777330791424151088/13789158087290669883763200\ 0481625*c_0101_1^24 - 11972962627377465314118283221563082/137891580\ 872906698837632000481625*c_0101_1^23 + 66859674926497623991796220721634836/1378915808729066988376320004816\ 25*c_0101_1^22 - 15005143328111704326918182449441487/27578316174581\ 339767526400096325*c_0101_1^21 - 4443962578014640488990407111550458\ 32/137891580872906698837632000481625*c_0101_1^20 + 935139666451388685426417281190741163/137891580872906698837632000481\ 625*c_0101_1^19 + 1507379899802858541532326698353996581/13789158087\ 2906698837632000481625*c_0101_1^18 - 3378431635469332557346065417156276352/13789158087290669883763200048\ 1625*c_0101_1^17 - 3881027446589655664712555571889699323/1378915808\ 72906698837632000481625*c_0101_1^16 + 1008635336023241649735295233340399956/27578316174581339767526400096\ 325*c_0101_1^15 + 6866274716029971055683084650539303197/13789158087\ 2906698837632000481625*c_0101_1^14 + 173614731835074848740829321586280024/275783161745813397675264000963\ 25*c_0101_1^13 - 137891898143840363982776473886451926/5515663234916\ 267953505280019265*c_0101_1^12 - 1280562917270810256209232021919956\ 6671/137891580872906698837632000481625*c_0101_1^11 - 12694700728184312420461206982031281558/1378915808729066988376320004\ 81625*c_0101_1^10 + 12393079810202552524714515763349859467/13789158\ 0872906698837632000481625*c_0101_1^9 + 25903039567428089013058546864712005861/1378915808729066988376320004\ 81625*c_0101_1^8 + 838968036272179371832516301465571338/27578316174\ 581339767526400096325*c_0101_1^7 - 16625592750341813552975203725051706976/1378915808729066988376320004\ 81625*c_0101_1^6 - 11715056889114333966577356505017587276/137891580\ 872906698837632000481625*c_0101_1^5 + 678878210324071653574298577588248312/137891580872906698837632000481\ 625*c_0101_1^4 + 4141844302394677911300106466259961768/137891580872\ 906698837632000481625*c_0101_1^3 + 2059076217686021438276549025464478399/13789158087290669883763200048\ 1625*c_0101_1^2 + 87038331757270461244489200608463472/2757831617458\ 1339767526400096325*c_0101_1 + 1382309987776096785009170441652469/5\ 515663234916267953505280019265, c_0101_1^25 - 17*c_0101_1^24 + 89*c_0101_1^23 - 61*c_0101_1^22 - 704*c_0101_1^21 + 1043*c_0101_1^20 + 2884*c_0101_1^19 - 3840*c_0101_1^18 - 8134*c_0101_1^17 + 4548*c_0101_1^16 + 13714*c_0101_1^15 + 6258*c_0101_1^14 - 4420*c_0101_1^13 - 21217*c_0101_1^12 - 27865*c_0101_1^11 + 8882*c_0101_1^10 + 46895*c_0101_1^9 + 24964*c_0101_1^8 - 21292*c_0101_1^7 - 29221*c_0101_1^6 - 7495*c_0101_1^5 + 6564*c_0101_1^4 + 6015*c_0101_1^3 + 2126*c_0101_1^2 + 365*c_0101_1 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB