Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 71669988] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0638 geometric_solution 4.62778364 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.667294998629 0.115177380751 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 0 0 0 -1 1 1 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 0 0.877471629580 0.136000836512 1 3 1 3 0132 0132 1023 1023 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 0 1 -1 -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.913556081682 0.331782437420 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 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 1.540962476611 0.411658652799 3 5 5 6 0132 0213 2310 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 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.363805308603 0.630423154679 6 4 4 3 0132 3201 0213 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 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.363805308603 0.630423154679 5 6 4 6 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 -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.121503218322 2.046843760267 ==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' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 160326288212285953959848400107554886402274698/539823086740100678752\ 7691552916013016424559*c_0101_4^23 - 746868593066467858240798110045054887058076524/539823086740100678752\ 7691552916013016424559*c_0101_4^22 - 1501553476903149950948603126865535572968881372/53982308674010067875\ 27691552916013016424559*c_0101_4^21 + 63817258570829672527374086319290978092611440/5398230867401006787527\ 691552916013016424559*c_0101_4^20 + 2928375951329087507954939397153948198854443970/53982308674010067875\ 27691552916013016424559*c_0101_4^19 - 13349383189627407232551868470186484119665831041/5398230867401006787\ 527691552916013016424559*c_0101_4^18 - 40299568340353894140608568773240026299122840480/5398230867401006787\ 527691552916013016424559*c_0101_4^17 + 94008186459941934050344762970757758368984271032/5398230867401006787\ 527691552916013016424559*c_0101_4^16 - 228733778454991551786311698750708864207742350092/539823086740100678\ 7527691552916013016424559*c_0101_4^15 - 18240949443534819351941458150874703235232053727/5398230867401006787\ 527691552916013016424559*c_0101_4^14 + 1033593473225812156282287158424689841885336172538/53982308674010067\ 87527691552916013016424559*c_0101_4^13 - 929890469657787437649946403038372507920078397721/539823086740100678\ 7527691552916013016424559*c_0101_4^12 - 1411557262794762299971135147930298738347564759917/53982308674010067\ 87527691552916013016424559*c_0101_4^11 + 1902115692212437895788282104778208340545954864486/53982308674010067\ 87527691552916013016424559*c_0101_4^10 + 709445347033848258963597621956105673920708735323/539823086740100678\ 7527691552916013016424559*c_0101_4^9 - 1349595006109522948643082623815370032505750548751/53982308674010067\ 87527691552916013016424559*c_0101_4^8 + 50128505018135126267388818575054133466792285749/5398230867401006787\ 527691552916013016424559*c_0101_4^7 + 328199621850760693635740423303791920639461567956/539823086740100678\ 7527691552916013016424559*c_0101_4^6 - 120051438603125982547727182732329015211301969013/539823086740100678\ 7527691552916013016424559*c_0101_4^5 - 6573479781944956623035802037472924378916401485/53982308674010067875\ 27691552916013016424559*c_0101_4^4 + 7876091349501405742439314690417809779080214308/53982308674010067875\ 27691552916013016424559*c_0101_4^3 + 380184500700657411164646727836884286580436087/539823086740100678752\ 7691552916013016424559*c_0101_4^2 + 1035881471938444552634960757029422400148150850/53982308674010067875\ 27691552916013016424559*c_0101_4 - 407437868672294809302964482052736754290557909/539823086740100678752\ 7691552916013016424559, c_0011_0 - 1, c_0011_1 + 5611105856484974272115823353715955100931/2712678827839701903\ 2802470115155844303641*c_0101_4^23 + 30970250044051559621748904561429426950817/2712678827839701903280247\ 0115155844303641*c_0101_4^22 + 745522863893880855437557864798893799\ 64749/27126788278397019032802470115155844303641*c_0101_4^21 + 41968796014738857809663954710185413158858/2712678827839701903280247\ 0115155844303641*c_0101_4^20 - 104309668706608004095111440244146328\ 011208/27126788278397019032802470115155844303641*c_0101_4^19 + 386550895932932015392450724410223632259255/271267882783970190328024\ 70115155844303641*c_0101_4^18 + 18130740272417781862596400799795429\ 39645668/27126788278397019032802470115155844303641*c_0101_4^17 - 2136258731400134278860014525438245131928123/27126788278397019032802\ 470115155844303641*c_0101_4^16 + 5169473177911500954219517248266495\ 798022475/27126788278397019032802470115155844303641*c_0101_4^15 + 8039194634646388911205905053553892359662668/27126788278397019032802\ 470115155844303641*c_0101_4^14 - 3733117516266414376919906213802908\ 2659226815/27126788278397019032802470115155844303641*c_0101_4^13 + 4087319842630368262938339930472143110426606/27126788278397019032802\ 470115155844303641*c_0101_4^12 + 7823804272317015502277740725212182\ 4277809812/27126788278397019032802470115155844303641*c_0101_4^11 - 33226365467619190358401868087043481396747489/2712678827839701903280\ 2470115155844303641*c_0101_4^10 - 733503307206404195381097171377774\ 36416504049/27126788278397019032802470115155844303641*c_0101_4^9 + 31907961085392218373975175796271919146225656/2712678827839701903280\ 2470115155844303641*c_0101_4^8 + 2560201959314290128600044350825983\ 5232066310/27126788278397019032802470115155844303641*c_0101_4^7 - 10756935116980570448807395006409451475898175/2712678827839701903280\ 2470115155844303641*c_0101_4^6 + 5144350111232073076533016323315432\ 2519987/27126788278397019032802470115155844303641*c_0101_4^5 + 1339076583223256302568029933982474715253916/27126788278397019032802\ 470115155844303641*c_0101_4^4 - 39218326350564214488364989251356501\ 8485114/27126788278397019032802470115155844303641*c_0101_4^3 + 44333166590966055273974853041361697111928/2712678827839701903280247\ 0115155844303641*c_0101_4^2 - 6661068137195772728017431212917567145\ 1649/27126788278397019032802470115155844303641*c_0101_4 - 12713779854697510924809113357668711032831/2712678827839701903280247\ 0115155844303641, c_0011_5 - 7873306076886342661625700945607904453980/2712678827839701903\ 2802470115155844303641*c_0101_4^23 - 35928411495919045168783233160926145371319/2712678827839701903280247\ 0115155844303641*c_0101_4^22 - 729054902245361209772239971617260208\ 49238/27126788278397019032802470115155844303641*c_0101_4^21 - 129892982466176636762278529745660418595/271267882783970190328024701\ 15155844303641*c_0101_4^20 + 12607514859209032651236021243059067301\ 1878/27126788278397019032802470115155844303641*c_0101_4^19 - 656785275377228413800473213385785608800389/271267882783970190328024\ 70115155844303641*c_0101_4^18 - 18814690033887378676215245520201320\ 83043800/27126788278397019032802470115155844303641*c_0101_4^17 + 4560585154425173776247941937771373553858179/27126788278397019032802\ 470115155844303641*c_0101_4^16 - 1213890390689340385120281849977358\ 2588572731/27126788278397019032802470115155844303641*c_0101_4^15 + 2033429138901509826123204545190164976392449/27126788278397019032802\ 470115155844303641*c_0101_4^14 + 4549031173996445030210854213368773\ 8070726240/27126788278397019032802470115155844303641*c_0101_4^13 - 46067568660920518052332413145770644344472051/2712678827839701903280\ 2470115155844303641*c_0101_4^12 - 528400131785186029828984708512311\ 46768059227/27126788278397019032802470115155844303641*c_0101_4^11 + 76579774377540222753459152380222277220755282/2712678827839701903280\ 2470115155844303641*c_0101_4^10 + 237228786938214206093028376769454\ 52577367153/27126788278397019032802470115155844303641*c_0101_4^9 - 43209098623559565040302001713488178870348821/2712678827839701903280\ 2470115155844303641*c_0101_4^8 + 9314254090599901687317428127373808\ 55653359/27126788278397019032802470115155844303641*c_0101_4^7 + 6777628036030894991071359720879046249245178/27126788278397019032802\ 470115155844303641*c_0101_4^6 - 34143591779163278149916060219112513\ 61034793/27126788278397019032802470115155844303641*c_0101_4^5 + 338357910728128210118111523005126327598325/271267882783970190328024\ 70115155844303641*c_0101_4^4 + 225663188888796842577035410798689597\ 528836/27126788278397019032802470115155844303641*c_0101_4^3 - 55770189250140775795977890123656359556817/2712678827839701903280247\ 0115155844303641*c_0101_4^2 + 6797443136255247258131249414761120434\ 3913/27126788278397019032802470115155844303641*c_0101_4 - 1547566757942572292845513478158484870220/27126788278397019032802470\ 115155844303641, c_0101_0 - 14626395718503572246533418595374996841764/271267882783970190\ 32802470115155844303641*c_0101_4^23 - 80554244498503683153676038110113786844284/2712678827839701903280247\ 0115155844303641*c_0101_4^22 - 199462975019968449539352658122580501\ 825316/27126788278397019032802470115155844303641*c_0101_4^21 - 133557942760157935482063598125043469242474/271267882783970190328024\ 70115155844303641*c_0101_4^20 + 22058589806081614786208654303630105\ 2912359/27126788278397019032802470115155844303641*c_0101_4^19 - 1007671785598598621341534558433493319478775/27126788278397019032802\ 470115155844303641*c_0101_4^18 - 4632993586393113103305940630358827\ 699721042/27126788278397019032802470115155844303641*c_0101_4^17 + 5101173231799987174128276715069872916409504/27126788278397019032802\ 470115155844303641*c_0101_4^16 - 1486180907894848624189951878799001\ 5966818466/27126788278397019032802470115155844303641*c_0101_4^15 - 17146727643782686461449287793650517760001860/2712678827839701903280\ 2470115155844303641*c_0101_4^14 + 869713448622836127726340673414584\ 82319456017/27126788278397019032802470115155844303641*c_0101_4^13 - 6720098564476193509284550423182026417204856/27126788278397019032802\ 470115155844303641*c_0101_4^12 - 1733845783696321912445347489151644\ 17659601746/27126788278397019032802470115155844303641*c_0101_4^11 + 49166748361390729162021718661916695637320057/2712678827839701903280\ 2470115155844303641*c_0101_4^10 + 166753490065372702488354056511365\ 657254004236/27126788278397019032802470115155844303641*c_0101_4^9 - 34995584176576253428657221414062131524430351/2712678827839701903280\ 2470115155844303641*c_0101_4^8 - 6231304805293343451346608229739674\ 0623512150/27126788278397019032802470115155844303641*c_0101_4^7 + 9762917868304030587611846691387366897299135/27126788278397019032802\ 470115155844303641*c_0101_4^6 + 21471933103984881208542048610680753\ 03487139/27126788278397019032802470115155844303641*c_0101_4^5 - 3056526502017044601149339954830056676939437/27126788278397019032802\ 470115155844303641*c_0101_4^4 + 31459367026895332336827999719414945\ 6506371/27126788278397019032802470115155844303641*c_0101_4^3 - 198432494823892230572603340986884897692830/271267882783970190328024\ 70115155844303641*c_0101_4^2 + 352642494866716593002887500815351258\ 31051/27126788278397019032802470115155844303641*c_0101_4 + 61601367860378221027709348393655710963703/2712678827839701903280247\ 0115155844303641, c_0101_1 + 3128149747889549514654459509925089621934/2712678827839701903\ 2802470115155844303641*c_0101_4^23 + 15291142388265003336274224643821381406881/2712678827839701903280247\ 0115155844303641*c_0101_4^22 + 317774566347372065532714235621969631\ 77721/27126788278397019032802470115155844303641*c_0101_4^21 + 1694433763252199896992224797824572894361/27126788278397019032802470\ 115155844303641*c_0101_4^20 - 6481079096545904921102329399838267296\ 5909/27126788278397019032802470115155844303641*c_0101_4^19 + 248047704990207909521588441249858130142310/271267882783970190328024\ 70115155844303641*c_0101_4^18 + 85788488427029260848024996532888198\ 7369217/27126788278397019032802470115155844303641*c_0101_4^17 - 1730585746984063047053546923862023193355382/27126788278397019032802\ 470115155844303641*c_0101_4^16 + 3850680792225587121883961033782531\ 053110788/27126788278397019032802470115155844303641*c_0101_4^15 + 1916732385483876353515598381964182972601480/27126788278397019032802\ 470115155844303641*c_0101_4^14 - 2157718203727384412940021083437000\ 2797416629/27126788278397019032802470115155844303641*c_0101_4^13 + 14022454494134054958556023093330856985582459/2712678827839701903280\ 2470115155844303641*c_0101_4^12 + 366820571571820283276774085813193\ 61456350993/27126788278397019032802470115155844303641*c_0101_4^11 - 37470831518401067368215863571092527209910206/2712678827839701903280\ 2470115155844303641*c_0101_4^10 - 257210638640468902468404836243212\ 63986891664/27126788278397019032802470115155844303641*c_0101_4^9 + 32591702318034067761990434653955814755130850/2712678827839701903280\ 2470115155844303641*c_0101_4^8 + 3196386958493269466006027841925570\ 111379703/27126788278397019032802470115155844303641*c_0101_4^7 - 9856595924907094089583036976496506950101032/27126788278397019032802\ 470115155844303641*c_0101_4^6 + 30772623987379856687218471730156676\ 09322744/27126788278397019032802470115155844303641*c_0101_4^5 + 159160258556274394027924013486830020787856/271267882783970190328024\ 70115155844303641*c_0101_4^4 - 415702192786823196379017149214355357\ 272576/27126788278397019032802470115155844303641*c_0101_4^3 + 107186730844975808934520845985338587119821/271267882783970190328024\ 70115155844303641*c_0101_4^2 - 728761728571345055926366347614520041\ 66904/27126788278397019032802470115155844303641*c_0101_4 - 4678733836463208897086946138962101474543/27126788278397019032802470\ 115155844303641, c_0101_3 + 13330254644676365874288808972670538884539/271267882783970190\ 32802470115155844303641*c_0101_4^23 + 66264266462702965301771040898427054337301/2712678827839701903280247\ 0115155844303641*c_0101_4^22 + 145992150150475394801812476758061817\ 889337/27126788278397019032802470115155844303641*c_0101_4^21 + 42340133992584608495694458426779840322019/2712678827839701903280247\ 0115155844303641*c_0101_4^20 - 226785255924426984189336172739186562\ 659835/27126788278397019032802470115155844303641*c_0101_4^19 + 1036846327821745296832758649625283575886366/27126788278397019032802\ 470115155844303641*c_0101_4^18 + 3663744877901861457190551091811839\ 846740970/27126788278397019032802470115155844303641*c_0101_4^17 - 6631435664676646880205849613358730096682157/27126788278397019032802\ 470115155844303641*c_0101_4^16 + 1705841737344623516368862582415531\ 9354478857/27126788278397019032802470115155844303641*c_0101_4^15 + 6536719736704618229289913984891029367801115/27126788278397019032802\ 470115155844303641*c_0101_4^14 - 8333710244806884194270217392418224\ 7532214990/27126788278397019032802470115155844303641*c_0101_4^13 + 51703292235813358340926441282553006348164509/2712678827839701903280\ 2470115155844303641*c_0101_4^12 + 129354155543012142349169575923585\ 513436479865/27126788278397019032802470115155844303641*c_0101_4^11 - 113333735655223671471462399582668972398871225/271267882783970190328\ 02470115155844303641*c_0101_4^10 - 89592483935432482014236358432446564254163022/2712678827839701903280\ 2470115155844303641*c_0101_4^9 + 7437897750637544214251228457361346\ 2377040392/27126788278397019032802470115155844303641*c_0101_4^8 + 19368551597350708804746622022558354737097606/2712678827839701903280\ 2470115155844303641*c_0101_4^7 - 1512318473538652402783009702800708\ 6824195977/27126788278397019032802470115155844303641*c_0101_4^6 + 3659650528025522978338568089423893325676779/27126788278397019032802\ 470115155844303641*c_0101_4^5 + 35657411492026087422494520420212027\ 1578401/27126788278397019032802470115155844303641*c_0101_4^4 - 196974930853299496524688323739867069588997/271267882783970190328024\ 70115155844303641*c_0101_4^3 + 168888575858154662162511432459538887\ 007134/27126788278397019032802470115155844303641*c_0101_4^2 - 122344181277686732003622112783384417282668/271267882783970190328024\ 70115155844303641*c_0101_4 - 15144907172425649930500279955166340349\ 090/27126788278397019032802470115155844303641, c_0101_4^24 + 5*c_0101_4^23 + 11*c_0101_4^22 + 3*c_0101_4^21 - 18*c_0101_4^20 + 77*c_0101_4^19 + 279*c_0101_4^18 - 497*c_0101_4^17 + 1237*c_0101_4^16 + 576*c_0101_4^15 - 6345*c_0101_4^14 + 3592*c_0101_4^13 + 10529*c_0101_4^12 - 8627*c_0101_4^11 - 8131*c_0101_4^10 + 6509*c_0101_4^9 + 2296*c_0101_4^8 - 1895*c_0101_4^7 + 187*c_0101_4^6 + 205*c_0101_4^5 - 69*c_0101_4^4 + 9*c_0101_4^3 - 6*c_0101_4^2 - 2*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB