Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 3221103244] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2790 geometric_solution 6.02360541 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 1 0 -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 -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.064714001269 1.776234364120 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243396006657 0.176569088463 4 0 6 5 0132 0132 0132 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 1 -1 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.667955392084 0.658068197098 5 6 0 4 0132 1023 0132 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 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.667955392084 0.658068197098 2 3 4 4 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 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 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615414503436 1.027016891249 3 5 2 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881410321900 0.499937235601 3 6 6 2 1023 1230 3012 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 -1 1 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.872203703069 0.539904309400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : 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_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_6']})} 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_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6417712434440017727694837642919448043362630187707/81498954273352534\ 0754259205594969838293189808*c_0101_6^21 - 4756683296079288439449949223292336535388406807115/59271966744256388\ 4184915785887250791485956224*c_0101_6^20 + 52995227502496354934195249373389086111267262265689/8149895427335253\ 40754259205594969838293189808*c_0101_6^19 + 159995423437784117546053860359873823280254889902913/651991634186820\ 2726034073644759758706345518464*c_0101_6^18 - 563788323137292075147540068145516335951909605303417/325995817093410\ 1363017036822379879353172759232*c_0101_6^17 + 1130279507564694350059743669933490187515073746529891/65199163418682\ 02726034073644759758706345518464*c_0101_6^16 + 20508245499330851517086878194075183711751307785329/2037473856833813\ 35188564801398742459573297452*c_0101_6^15 - 4829613535126865393961845409170858527383273483295259/65199163418682\ 02726034073644759758706345518464*c_0101_6^14 + 3739207220908749427177965334382032481399503558433091/65199163418682\ 02726034073644759758706345518464*c_0101_6^13 + 47800482004661710009364984446651464588924654577915/9588112267453239\ 3029912847717055275093316448*c_0101_6^12 - 6065377996144132601957945677517395759915266159405075/32599581709341\ 01363017036822379879353172759232*c_0101_6^11 + 3475138255678754086198808315472273015237480205112051/32599581709341\ 01363017036822379879353172759232*c_0101_6^10 + 11982725698074651529341344150871724717906811273101757/6519916341868\ 202726034073644759758706345518464*c_0101_6^9 - 14489045551631064075160478107968747993705345465265259/6519916341868\ 202726034073644759758706345518464*c_0101_6^8 - 411755162864673293123385369052347729331727685085687/162997908546705\ 0681508518411189939676586379616*c_0101_6^7 + 9749917659712204216767966439894377455550772878504903/65199163418682\ 02726034073644759758706345518464*c_0101_6^6 - 459792290523054979713088452922039103654108672888457/814989542733525\ 340754259205594969838293189808*c_0101_6^5 - 1838234978174635444520123495566082479829935536776679/65199163418682\ 02726034073644759758706345518464*c_0101_6^4 + 811917953005638196573209044537451406186104186617109/325995817093410\ 1363017036822379879353172759232*c_0101_6^3 - 144948343575989029639344238531663029600185544620563/325995817093410\ 1363017036822379879353172759232*c_0101_6^2 - 596194562822276475077316522171916896014474312797/958811226745323930\ 29912847717055275093316448*c_0101_6 + 11160176943017689492227939925161774256584689836613/6519916341868202\ 726034073644759758706345518464, c_0011_0 - 1, c_0011_3 - 87851019481067065873738132942328198999290813/217911642442119\ 0750679837448114892615757192*c_0101_6^21 - 799637135272108287736862083241946560696374447/174329313953695260054\ 38699584919140926057536*c_0101_6^20 + 91646850529362084979112366649315872805818617/2723895530526488438349\ 79681014361576969649*c_0101_6^19 + 2906044553449499532300954743265515361415317743/17432931395369526005\ 438699584919140926057536*c_0101_6^18 - 8184239271237238106252689216819945101602838319/87164656976847630027\ 19349792459570463028768*c_0101_6^17 + 14200583817035087937776822906172116005604763109/1743293139536952600\ 5438699584919140926057536*c_0101_6^16 + 1655203828168020452627070390428055945345823539/21791164244211907506\ 79837448114892615757192*c_0101_6^15 - 70259258119098698220030483559786750475050977765/1743293139536952600\ 5438699584919140926057536*c_0101_6^14 + 46532759539042243231413877456786197779202986693/1743293139536952600\ 5438699584919140926057536*c_0101_6^13 + 15120987260979773505976592741558270499534435851/4358232848842381501\ 359674896229785231514384*c_0101_6^12 - 89646704451877899448986304022191135668725403289/8716465697684763002\ 719349792459570463028768*c_0101_6^11 + 42314899899831241698169007420638240456361475049/8716465697684763002\ 719349792459570463028768*c_0101_6^10 + 198111286736755125641066033577042729423545604899/174329313953695260\ 05438699584919140926057536*c_0101_6^9 - 216749246846701360719469490654839043783711723037/174329313953695260\ 05438699584919140926057536*c_0101_6^8 - 10430895464128358264027017107065217603236092527/4358232848842381501\ 359674896229785231514384*c_0101_6^7 + 160221442758291669335961000154767678007074047481/174329313953695260\ 05438699584919140926057536*c_0101_6^6 - 7041283364416619317014921011749517849962135601/21791164244211907506\ 79837448114892615757192*c_0101_6^5 - 32839109572496698527067413382373702817595088001/1743293139536952600\ 5438699584919140926057536*c_0101_6^4 + 13949742969840122331439417355792247503360756167/8716465697684763002\ 719349792459570463028768*c_0101_6^3 - 2584429484506962302783688084775225321741923065/87164656976847630027\ 19349792459570463028768*c_0101_6^2 - 154374377789270173157198388287381015511129177/435823284884238150135\ 9674896229785231514384*c_0101_6 + 190477168568391049859897254979688\ 064929431339/17432931395369526005438699584919140926057536, c_0101_0 + 1961143711784521294479685411572300839/3532521492958014603139\ 96248191668139*c_0101_6^21 - 3129305080978146647377028593726981059/\ 2826017194366411682511969985533345112*c_0101_6^20 - 32318550869932753547809106154250182619/7065042985916029206279924963\ 83336278*c_0101_6^19 + 109624162392475026108890389746055816487/2826\ 017194366411682511969985533345112*c_0101_6^18 + 121084956874489213633963181627630512649/141300859718320584125598499\ 2766672556*c_0101_6^17 - 665674319172866499477248082866032002135/28\ 26017194366411682511969985533345112*c_0101_6^16 + 135484218111988447149564129809418853287/706504298591602920627992496\ 383336278*c_0101_6^15 + 967257355358076642469161774702817257483/282\ 6017194366411682511969985533345112*c_0101_6^14 - 2421760067991678971300710672594079112391/28260171943664116825119699\ 85533345112*c_0101_6^13 + 211906676822517748775091264831338510207/3\ 53252149295801460313996248191668139*c_0101_6^12 + 1107215035678276688318762508519471427793/14130085971832058412559849\ 92766672556*c_0101_6^11 - 2547830720384263851390759135676432167341/\ 1413008597183205841255984992766672556*c_0101_6^10 + 1908349751437320309935582209520739184115/28260171943664116825119699\ 85533345112*c_0101_6^9 + 3312529678627441635014405107822406650815/2\ 826017194366411682511969985533345112*c_0101_6^8 - 462832968987296730812697539906527064498/353252149295801460313996248\ 191668139*c_0101_6^7 + 497160781761380206965480177113311237849/2826\ 017194366411682511969985533345112*c_0101_6^6 + 158408082398229362839458540914824138017/353252149295801460313996248\ 191668139*c_0101_6^5 - 816388423636562437949261137277566039005/2826\ 017194366411682511969985533345112*c_0101_6^4 + 58862287288975768368377218552904505753/1413008597183205841255984992\ 766672556*c_0101_6^3 + 27951581768856071792452551103992312405/14130\ 08597183205841255984992766672556*c_0101_6^2 - 2624428231798687077257327174796891017/35325214929580146031399624819\ 1668139*c_0101_6 - 2189307443995984741465408282998431005/2826017194\ 366411682511969985533345112, c_0101_1 + 150150701031737498025741564657337879848507049/10895582122105\ 95375339918724057446307878596*c_0101_6^21 + 1216078298417354658388939167401165202718560659/87164656976847630027\ 19349792459570463028768*c_0101_6^20 - 309266293753171467076015310903934529043113403/272389553052648843834\ 979681014361576969649*c_0101_6^19 - 3657716974906760808348909750897941460885813363/87164656976847630027\ 19349792459570463028768*c_0101_6^18 + 13082605280656327135738000450887331469180825587/4358232848842381501\ 359674896229785231514384*c_0101_6^17 - 26607115460035230397713470664365590580308125297/8716465697684763002\ 719349792459570463028768*c_0101_6^16 - 1834376477146458629669744029307771309922054979/10895582122105953753\ 39918724057446307878596*c_0101_6^15 + 112231229083050083825546827406174131101096220657/871646569768476300\ 2719349792459570463028768*c_0101_6^14 - 87916916882514744350295723398010161587928446641/8716465697684763002\ 719349792459570463028768*c_0101_6^13 - 18328342435615465208041577499580921287710733903/2179116424421190750\ 679837448114892615757192*c_0101_6^12 + 140712148560195416359896164551383032728147894901/435823284884238150\ 1359674896229785231514384*c_0101_6^11 - 81872320609411054552391755703569611013065389333/4358232848842381501\ 359674896229785231514384*c_0101_6^10 - 274409488382105764165099844089576256037893573207/871646569768476300\ 2719349792459570463028768*c_0101_6^9 + 335213197573715787993644553176544177799298137609/871646569768476300\ 2719349792459570463028768*c_0101_6^8 + 8725435206243276528378885371606303205188263971/21791164244211907506\ 79837448114892615757192*c_0101_6^7 - 223281829569462854373347735907600435612286928085/871646569768476300\ 2719349792459570463028768*c_0101_6^6 + 10680157077992088280950684396026357851444750445/1089558212210595375\ 339918724057446307878596*c_0101_6^5 + 41388843161077280752732085871144014764420888605/8716465697684763002\ 719349792459570463028768*c_0101_6^4 - 18604541257004466056351526804541034054896609595/4358232848842381501\ 359674896229785231514384*c_0101_6^3 + 3367587008832764475436994523143182376413227125/43582328488423815013\ 59674896229785231514384*c_0101_6^2 + 232728582568999345178354784831138677135686621/217911642442119075067\ 9837448114892615757192*c_0101_6 - 263459423616866643410614419434154\ 747971465023/8716465697684763002719349792459570463028768, c_0101_2 - 410311604059279321773571295946809587753496759/21791164244211\ 90750679837448114892615757192*c_0101_6^21 - 3555555170037433882611299805283706810161088717/17432931395369526005\ 438699584919140926057536*c_0101_6^20 + 3362176515949560159586931338919757706791873965/21791164244211907506\ 79837448114892615757192*c_0101_6^19 + 11852087521088981112031608784775316704396450549/1743293139536952600\ 5438699584919140926057536*c_0101_6^18 - 35770485105547903955262884201818401743928594189/8716465697684763002\ 719349792459570463028768*c_0101_6^17 + 68588375146550871071427518467158972553194767103/1743293139536952600\ 5438699584919140926057536*c_0101_6^16 + 1454155762756935734611237030796191576226518951/54477910610529768766\ 9959362028723153939298*c_0101_6^15 - 308284546232279220405521101027758488414588253207/174329313953695260\ 05438699584919140926057536*c_0101_6^14 + 222892021266277991307879497383871033645046994719/174329313953695260\ 05438699584919140926057536*c_0101_6^13 + 55545999395463956152447787383571856111655377959/4358232848842381501\ 359674896229785231514384*c_0101_6^12 - 385667512804013525639500619100466354842915652463/871646569768476300\ 2719349792459570463028768*c_0101_6^11 + 203537097191779543711540079856974730400535441263/871646569768476300\ 2719349792459570463028768*c_0101_6^10 + 792309764903096237778577937743930509785456989281/174329313953695260\ 05438699584919140926057536*c_0101_6^9 - 898126111020268794254948662896931272192460881191/174329313953695260\ 05438699584919140926057536*c_0101_6^8 - 35129438212823030267977487450669924055609894803/4358232848842381501\ 359674896229785231514384*c_0101_6^7 + 622376154170034661597106617568471932376733875635/174329313953695260\ 05438699584919140926057536*c_0101_6^6 - 27335417741175143637980918620220461716725419485/2179116424421190750\ 679837448114892615757192*c_0101_6^5 - 122510436454140216233595800182006610874243493267/174329313953695260\ 05438699584919140926057536*c_0101_6^4 + 50853187972883558219779242118389495396031375193/8716465697684763002\ 719349792459570463028768*c_0101_6^3 - 8770450619633349324303030192419739532434773103/87164656976847630027\ 19349792459570463028768*c_0101_6^2 - 624740982288879459947952038676895106971975825/435823284884238150135\ 9674896229785231514384*c_0101_6 + 668574418929670683209732191061028\ 957277037193/17432931395369526005438699584919140926057536, c_0101_4 + 398458785315582961679167255292478888023600273/21791164244211\ 90750679837448114892615757192*c_0101_6^21 + 3435960155072431016378905007081923799421080843/17432931395369526005\ 438699584919140926057536*c_0101_6^20 - 815228188223797798346207336848093940781736665/544779106105297687669\ 959362028723153939298*c_0101_6^19 - 11353635434304720156559001360929499388360623339/1743293139536952600\ 5438699584919140926057536*c_0101_6^18 + 34566784533197574223376306300142442445031414219/8716465697684763002\ 719349792459570463028768*c_0101_6^17 - 66830600205254804705558850207588033115562658777/1743293139536952600\ 5438699584919140926057536*c_0101_6^16 - 5507762032401929002511705357108171881185758339/21791164244211907506\ 79837448114892615757192*c_0101_6^15 + 297888455663345774104696149018351560671494152505/174329313953695260\ 05438699584919140926057536*c_0101_6^14 - 217002302426342212016659916128415780954581884601/174329313953695260\ 05438699584919140926057536*c_0101_6^13 - 52816757225757923456542865958056873879545682735/4358232848842381501\ 359674896229785231514384*c_0101_6^12 + 372146141361752807836927128089853210677549613325/871646569768476300\ 2719349792459570463028768*c_0101_6^11 - 198062815622119585548263368196564984948145605437/871646569768476300\ 2719349792459570463028768*c_0101_6^10 - 759693880136650417375209677863504007960786489903/174329313953695260\ 05438699584919140926057536*c_0101_6^9 + 864224403059429215086162792446648636614844514801/174329313953695260\ 05438699584919140926057536*c_0101_6^8 + 33343736198288099568886920664258528859697429187/4358232848842381501\ 359674896229785231514384*c_0101_6^7 - 596090568464939823865876912538889363224561727005/174329313953695260\ 05438699584919140926057536*c_0101_6^6 + 26021711737222624710792203518241737701039029453/2179116424421190750\ 679837448114892615757192*c_0101_6^5 + 117634220248914963912651371859877777622648908133/174329313953695260\ 05438699584919140926057536*c_0101_6^4 - 48265617843223893464446970206880450863860201011/8716465697684763002\ 719349792459570463028768*c_0101_6^3 + 8079078165065021682827229508856961327722443117/87164656976847630027\ 19349792459570463028768*c_0101_6^2 + 617771551759680225352790441936611738354703493/435823284884238150135\ 9674896229785231514384*c_0101_6 - 614781217007398837984081309089555\ 462800404375/17432931395369526005438699584919140926057536, c_0101_6^22 + 55/104*c_0101_6^21 - 911/104*c_0101_6^20 + 97/104*c_0101_6^19 + 2445/104*c_0101_6^18 - 3411/104*c_0101_6^17 - 211/104*c_0101_6^16 + 10445/104*c_0101_6^15 - 6189/52*c_0101_6^14 - 2887/104*c_0101_6^13 + 13919/52*c_0101_6^12 - 6537/26*c_0101_6^11 - 17409/104*c_0101_6^10 + 5166/13*c_0101_6^9 - 11073/104*c_0101_6^8 - 21445/104*c_0101_6^7 + 17185/104*c_0101_6^6 + 73/104*c_0101_6^5 - 395/8*c_0101_6^4 + 276/13*c_0101_6^3 - 103/52*c_0101_6^2 - 63/104*c_0101_6 + 11/104 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB