Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 2884253511] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1955 geometric_solution 5.53853355 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 -1 0 1 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 1 -1 1 0 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 1.782823424942 1.545329357082 0 2 3 0 3201 0132 0132 0132 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 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371920525302 0.525688818164 3 1 4 5 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.258595548549 0.977368699213 4 5 2 1 2310 2310 3201 0132 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 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.258595548549 0.977368699213 6 6 3 2 0132 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.374219818182 1.781646985971 5 5 2 3 1302 2031 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 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.356108321587 0.402480318798 4 6 6 4 0132 1230 3012 3201 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.088156908401 0.456989052767 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 48181203253715115422130825801691588897061116985925611/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^22 + 243499057098755335311462887259121723892821106700515263/557564372335\ 425129945313007566313581156826534739437*c_0110_5^21 - 446688031849127482633802267465310768148317949067580318/557564372335\ 425129945313007566313581156826534739437*c_0110_5^20 + 939212136541407661475740696518928133038362663796417128/557564372335\ 425129945313007566313581156826534739437*c_0110_5^19 + 1636404434865155722206225555659793249959578591424538537/55756437233\ 5425129945313007566313581156826534739437*c_0110_5^18 - 1101162174668350591728931703940417640525699421656695913/55756437233\ 5425129945313007566313581156826534739437*c_0110_5^17 + 25546262632329845591642594154433687107442421461594072328/5575643723\ 35425129945313007566313581156826534739437*c_0110_5^16 - 5950299669427405557229012815951441707697914266604359775/55756437233\ 5425129945313007566313581156826534739437*c_0110_5^15 - 222736816332437131567948532168572526158524367526360878306/557564372\ 335425129945313007566313581156826534739437*c_0110_5^14 - 179847694138336806831613902259587843072452906261445449159/557564372\ 335425129945313007566313581156826534739437*c_0110_5^13 + 382039026194607989996846957070618277534723258983393832096/557564372\ 335425129945313007566313581156826534739437*c_0110_5^12 + 639996795323807350235926578784781066093991940691377013429/557564372\ 335425129945313007566313581156826534739437*c_0110_5^11 + 229982340918466133012837566913555198226419741401282075028/557564372\ 335425129945313007566313581156826534739437*c_0110_5^10 - 263569890672643228114018039944036883165085563937644679928/557564372\ 335425129945313007566313581156826534739437*c_0110_5^9 - 576127805995397127237914692653887059353857127109210783910/557564372\ 335425129945313007566313581156826534739437*c_0110_5^8 - 439318781693392286378281783118955932645897357617741241310/557564372\ 335425129945313007566313581156826534739437*c_0110_5^7 - 54356968732849578581635478952836150002070911419358507653/5575643723\ 35425129945313007566313581156826534739437*c_0110_5^6 - 25871720357612768643793226962345697020849319929415448226/5575643723\ 35425129945313007566313581156826534739437*c_0110_5^5 + 9982584691084624967619207201249043576495093005849650788/55756437233\ 5425129945313007566313581156826534739437*c_0110_5^4 + 23808449659621314647435842060405330451675226384475572247/5575643723\ 35425129945313007566313581156826534739437*c_0110_5^3 - 27055244611072930697829524255577978932038012565220692989/5575643723\ 35425129945313007566313581156826534739437*c_0110_5^2 - 16134498813245891540175777988943102857051001058156877353/5575643723\ 35425129945313007566313581156826534739437*c_0110_5 - 975198697284124811958683735960652517786380501609426379/557564372335\ 425129945313007566313581156826534739437, c_0011_0 - 1, c_0011_1 + 1687035471514282383774410561920483275/1341577550512372049473\ 90597270474174005113*c_0110_5^22 - 6473167726481871839207412476352058874/13415775505123720494739059727\ 0474174005113*c_0110_5^21 + 7596425912095157772802116223607085105/1\ 34157755051237204947390597270474174005113*c_0110_5^20 - 21750496314830887348603388809299584084/1341577550512372049473905972\ 70474174005113*c_0110_5^19 - 94156720136628942508752548971784833076\ /134157755051237204947390597270474174005113*c_0110_5^18 - 37277480340242287977376311511002732706/1341577550512372049473905972\ 70474174005113*c_0110_5^17 - 10437518855071918653337863721948654117\ 08/134157755051237204947390597270474174005113*c_0110_5^16 - 845821269300866344255272076423866580447/134157755051237204947390597\ 270474174005113*c_0110_5^15 + 6500510017218005455638999594454487685\ 083/134157755051237204947390597270474174005113*c_0110_5^14 + 14201596321718693531383852428145123436618/1341577550512372049473905\ 97270474174005113*c_0110_5^13 + 44099677261182054618921124508379569\ 45356/134157755051237204947390597270474174005113*c_0110_5^12 - 16515880143921317284358591037709716976437/1341577550512372049473905\ 97270474174005113*c_0110_5^11 - 30160287974167041170107033446686013\ 490679/134157755051237204947390597270474174005113*c_0110_5^10 - 27894449007068757919104745078820046138839/1341577550512372049473905\ 97270474174005113*c_0110_5^9 - 154865988724594876631143361859295935\ 94516/134157755051237204947390597270474174005113*c_0110_5^8 - 2309382880017417074859830596461658207410/13415775505123720494739059\ 7270474174005113*c_0110_5^7 - 1497411630540433205933230927837643783\ 871/134157755051237204947390597270474174005113*c_0110_5^6 + 1338052465943451217649721448114515768782/13415775505123720494739059\ 7270474174005113*c_0110_5^5 - 2640920166659485456507842848460628792\ 045/134157755051237204947390597270474174005113*c_0110_5^4 + 3682177258270228656173503023599535838675/13415775505123720494739059\ 7270474174005113*c_0110_5^3 - 1252681704415077465377982156340343126\ 0588/134157755051237204947390597270474174005113*c_0110_5^2 + 59944102472032491567472598618237204286580/1341577550512372049473905\ 97270474174005113*c_0110_5 + 82912717438339301521184615991581198899\ 271/134157755051237204947390597270474174005113, c_0011_3 + 60625122886868720910361177236488954421761102726689/111512874\ 4670850259890626015132627162313653069478874*c_0110_5^22 - 149776490468703486370340761014868557156786820999315/557564372335425\ 129945313007566313581156826534739437*c_0110_5^21 + 523209776287838065067640217201947878494323465525099/111512874467085\ 0259890626015132627162313653069478874*c_0110_5^20 - 547446040151522713276629145892551330007463141737258/557564372335425\ 129945313007566313581156826534739437*c_0110_5^19 - 2242860947875319404020192673513440828238220655483335/11151287446708\ 50259890626015132627162313653069478874*c_0110_5^18 + 631587500042661792007860303115190028275982042050083/557564372335425\ 129945313007566313581156826534739437*c_0110_5^17 - 31897610255905237830833942784890099050773565920375239/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^16 + 1874872856799949920308591790712652911719884977035699/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^15 + 283456070979968417837217819352703626325394351287681231/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^14 + 256377197621765114733806060839865141450731774755760713/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^13 - 473951699868508842737481696177736262909995188591609999/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^12 - 433999736638669620813783519620088935327387066692179303/557564372335\ 425129945313007566313581156826534739437*c_0110_5^11 - 346575464304798394989166133139054351841731422289792597/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^10 + 339432519162778539644211339056096203497051144564995525/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^9 + 386436799366467006231412308482829404351859578685513434/557564372335\ 425129945313007566313581156826534739437*c_0110_5^8 + 617512848122704991913828337658664499725527535396360041/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^7 + 44984190887133539246031321547086446944860968099321729/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^6 + 12974116159864658047120200741703477703963062277279995/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^5 - 11299275636358199094739570903230777753781854667537427/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^4 - 39154088208744035941465813800350828070486140999684293/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^3 + 33285406782197300977666272334880717900620900324107463/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^2 + 12154911770485131296265513885917927995510980153363003/5575643723354\ 25129945313007566313581156826534739437*c_0110_5 + 1285910342199225641580071247913929353187995703730329/11151287446708\ 50259890626015132627162313653069478874, c_0011_4 - 85502366387114672465918025917402056866035544981533/111512874\ 4670850259890626015132627162313653069478874*c_0110_5^22 + 214714886776219078223300754762637419672299866022567/557564372335425\ 129945313007566313581156826534739437*c_0110_5^21 - 779358401575063351579384381132171809143902281841015/111512874467085\ 0259890626015132627162313653069478874*c_0110_5^20 + 821526335149632762357825874423834463895889221887546/557564372335425\ 129945313007566313581156826534739437*c_0110_5^19 + 2953375648068678474033024506767030235207100275565555/11151287446708\ 50259890626015132627162313653069478874*c_0110_5^18 - 927422670446770135282732287082943581952649557199550/557564372335425\ 129945313007566313581156826534739437*c_0110_5^17 + 45271634073486981739852399068554615463278927824168117/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^16 - 4562482411481422840251745509825721230286086441806824/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^15 - 395479232181211294614611982072936104605769594742510419/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^14 - 331632633634465480776022735669576013104209762572963709/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^13 + 667183944273907166464139350379875775066091587060418073/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^12 + 578015392231375896868393659824867004854603836432959409/557564372335\ 425129945313007566313581156826534739437*c_0110_5^11 + 443706671476125340515758901696681425627353159778803197/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^10 - 451999395868644569289187417822965266424464380963418379/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^9 - 516249275736391087865716288894570002211412994884096569/557564372335\ 425129945313007566313581156826534739437*c_0110_5^8 - 810482000919326349890578948084533448331815740313102501/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^7 - 61847420106813909163783466073504538202719282499581483/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^6 - 52199871919107972543739105239862203890224253753993953/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^5 + 12439384695835018596964787635390077711550985873040035/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^4 + 40478286962527717964415624639384939680359991923053145/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^3 - 47671569617220746783202546245125218319617635088865483/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^2 - 15633592405974501859556755444680794576606223742746098/5575643723354\ 25129945313007566313581156826534739437*c_0110_5 - 2027981163963019469011420924662185113633518445436811/11151287446708\ 50259890626015132627162313653069478874, c_0011_5 + 76654188251775792070665273875553805519109096162827/111512874\ 4670850259890626015132627162313653069478874*c_0110_5^22 - 192977802449681815411299922962521043266281082173984/557564372335425\ 129945313007566313581156826534739437*c_0110_5^21 + 701009428653776463323299845586212295378186845137051/111512874467085\ 0259890626015132627162313653069478874*c_0110_5^20 - 733772531096064765773606975229681545794704314639235/557564372335425\ 129945313007566313581156826534739437*c_0110_5^19 - 2661680623881848015931072977650591252066281778278895/11151287446708\ 50259890626015132627162313653069478874*c_0110_5^18 + 884474571772011078167216893796260265253351541506396/557564372335425\ 129945313007566313581156826534739437*c_0110_5^17 - 40571950364326398795629287697804205773634981182649659/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^16 + 4318493570571753865205726922390259863504326730347226/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^15 + 355852078575904669719296262152539026082909915575035469/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^14 + 291742853059846280864453310820509485749786881776054853/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^13 - 612523493617550402987275038003829085085901107405658841/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^12 - 516349451465109903798392045875233964873271419317432569/557564372335\ 425129945313007566313581156826534739437*c_0110_5^11 - 366652424822354113705637633143967843118261467772933769/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^10 + 431032694171975891664883821475396746160746422062066117/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^9 + 463920895496571571140769524404070821823200088584915132/557564372335\ 425129945313007566313581156826534739437*c_0110_5^8 + 708512480174362376109173000090739083105385861561012129/111512874467\ 0850259890626015132627162313653069478874*c_0110_5^7 + 40525165506417844569718779539505506758080693500643735/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^6 + 30619677875991314293042592105356211389542450250009249/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^5 - 18059177351848737524789978393675774066407458482375947/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^4 - 44549021570709417939271357525392335195372775539641781/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^3 + 43564956644905904702834918642524653283167155272627407/1115128744670\ 850259890626015132627162313653069478874*c_0110_5^2 + 13054946967737905973158581567229955219586292893773193/5575643723354\ 25129945313007566313581156826534739437*c_0110_5 + 1345108727072859535820523718941148311419463731494977/11151287446708\ 50259890626015132627162313653069478874, c_0101_1 + 15000158648430432175368284646656801988331299227346/557564372\ 335425129945313007566313581156826534739437*c_0110_5^22 - 81585105906969891024698164160084763692035499383147/5575643723354251\ 29945313007566313581156826534739437*c_0110_5^21 + 170535759761820891472755883264521716285737602138497/557564372335425\ 129945313007566313581156826534739437*c_0110_5^20 - 358506892740610371842087296659865992928869077395058/557564372335425\ 129945313007566313581156826534739437*c_0110_5^19 - 369771016595086331968796118940220042987407388849857/557564372335425\ 129945313007566313581156826534739437*c_0110_5^18 + 481291538436100325693421084618801670734085315840293/557564372335425\ 129945313007566313581156826534739437*c_0110_5^17 - 8134155428287536382668982061821231821239396654435840/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^16 + 4987171382757694872969540172087737051870107654474018/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^15 + 67385562036228099959496481749119078104517553296213025/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^14 + 30150023211539109335136402050766803092279845827101373/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^13 - 130489639814194715667985818317571868359603571975023307/557564372335\ 425129945313007566313581156826534739437*c_0110_5^12 - 149593779509668092787754604680189895728282576575694076/557564372335\ 425129945313007566313581156826534739437*c_0110_5^11 - 13895797588225055295645900659464585055380111269043033/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^10 + 88873896070604911871804435398628631419333642084364962/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^9 + 145238206556981186960909119446928004174324367239019932/557564372335\ 425129945313007566313581156826534739437*c_0110_5^8 + 79384714678878150200805608175946727091840068554851573/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^7 - 14570195812337853507479424558365116789878375217071012/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^6 + 13200064354552341951523525638996102899748195884493495/5575643723354\ 25129945313007566313581156826534739437*c_0110_5^5 - 7413859707568223885418070895443314012727936954658642/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^4 - 3345218381930705448813816525521943980741114650787926/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^3 + 9147985536043179888033243304122833381559435464213043/55756437233542\ 5129945313007566313581156826534739437*c_0110_5^2 + 1393272292701452814731716871995472878970460778349270/55756437233542\ 5129945313007566313581156826534739437*c_0110_5 - 312143024823206236614062133973230179846667974818013/557564372335425\ 129945313007566313581156826534739437, c_0110_5^23 - 5*c_0110_5^22 + 9*c_0110_5^21 - 19*c_0110_5^20 - 35*c_0110_5^19 + 21*c_0110_5^18 - 529*c_0110_5^17 + 95*c_0110_5^16 + 4629*c_0110_5^15 + 3982*c_0110_5^14 - 7724*c_0110_5^13 - 13709*c_0110_5^12 - 5497*c_0110_5^11 + 5206*c_0110_5^10 + 12253*c_0110_5^9 + 9767*c_0110_5^8 + 1627*c_0110_5^7 + 601*c_0110_5^6 - 180*c_0110_5^5 - 504*c_0110_5^4 + 534*c_0110_5^3 + 365*c_0110_5^2 + 39*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB