Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 341150052] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2931 geometric_solution 6.12869361 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 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 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.681194413138 0.521125320575 0 3 5 4 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 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.200173816249 0.981111015227 4 4 0 5 3012 2031 0132 3012 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 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.735612498178 0.403013311769 5 1 3 3 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.364880778500 1.326821414360 2 6 1 2 1302 0132 0132 1230 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 0 0 0 0 -0.586994802921 1.523464019703 6 3 2 1 2031 3012 1230 0132 0 0 0 0 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 1 0 0 -1 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.259134336497 1.032458608694 6 4 5 6 3201 0132 1302 2310 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 -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.220218941195 0.571547876912 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_2'], 'c_1100_4' : d['c_0110_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_2']), '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : negation(d['c_0011_2'])})} 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_2, c_0011_4, c_0011_5, c_0101_1, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 112/81*c_0110_2^3 - 268/27*c_0110_2^2 + 521/81*c_0110_2 + 1000/81, c_0011_0 - 1, c_0011_2 + 16/3*c_0110_2^3 - 4*c_0110_2^2 - 11/3*c_0110_2 + 5/3, c_0011_4 - 16/3*c_0110_2^3 + 4*c_0110_2^2 + 11/3*c_0110_2 - 5/3, c_0011_5 + 1, c_0101_1 - c_0110_2 + 1, c_0101_3 + 16/9*c_0110_2^3 + 4/3*c_0110_2^2 - 23/9*c_0110_2 - 4/9, c_0110_2^4 - 5/4*c_0110_2^3 - 11/16*c_0110_2^2 + 15/16*c_0110_2 - 1/16 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_1, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 110410213074169513465571440148502373973290255/718076238054588135106\ 872880946136973421282784*c_0110_2^18 - 125862500878863409463261428931300062604733283/119679373009098022517\ 812146824356162236880464*c_0110_2^17 - 2363589069020767750147363649996340429938955533/23935874601819604503\ 5624293648712324473760928*c_0110_2^16 + 4725202139765789647758148438252524182398211623/35903811902729406755\ 3436440473068486710641392*c_0110_2^15 + 39364943414949976275374278723388706501770424199/7180762380545881351\ 06872880946136973421282784*c_0110_2^14 - 153555050203235105667129432265630126189586316229/718076238054588135\ 106872880946136973421282784*c_0110_2^13 + 94638994014499502786472683091691823450767911841/7180762380545881351\ 06872880946136973421282784*c_0110_2^12 + 532697458816400317952442217876449506901184356985/718076238054588135\ 106872880946136973421282784*c_0110_2^11 - 189876872064630542177951005773870080858832875443/179519059513647033\ 776718220236534243355320696*c_0110_2^10 - 21264054753591430883565351741342236231642423723/1795190595136470337\ 76718220236534243355320696*c_0110_2^9 + 600579527872881206222634266444725927596943065593/239358746018196045\ 035624293648712324473760928*c_0110_2^8 - 679953913285755711212790841869750089538126432005/359038119027294067\ 553436440473068486710641392*c_0110_2^7 - 100405772949407476397824234629511705834926588971/552366336965067796\ 23605606226625921032406368*c_0110_2^6 + 1782508710604976613483811138581881481270371351249/71807623805458813\ 5106872880946136973421282784*c_0110_2^5 - 100449010496324041522614289398311551386409899877/179519059513647033\ 776718220236534243355320696*c_0110_2^4 - 791856676098912462964891887052908798956429206813/718076238054588135\ 106872880946136973421282784*c_0110_2^3 + 182148335205716363278527203080853915796761160301/239358746018196045\ 035624293648712324473760928*c_0110_2^2 + 8507118120754213763469690479043192048996937153/35903811902729406755\ 3436440473068486710641392*c_0110_2 - 49926480451975821629217129407713706950092158531/7180762380545881351\ 06872880946136973421282784, c_0011_0 - 1, c_0011_2 - 114901999948907624656179592889500712035/54055724033016270333\ 248485467188871832376*c_0110_2^18 + 726287416490085429927247501238414740119/540557240330162703332484854\ 67188871832376*c_0110_2^17 + 19460531713471395128657295205866513126\ 53/13513931008254067583312121366797217958094*c_0110_2^16 - 758544747303855124016615363320263090097/675696550412703379165606068\ 3398608979047*c_0110_2^15 - 453253165415210115717179278963485406944\ 15/54055724033016270333248485467188871832376*c_0110_2^14 + 71651718885900431808531532189694834682685/2702786201650813516662424\ 2733594435916188*c_0110_2^13 - 239788086293924782865167067463058764\ 52537/54055724033016270333248485467188871832376*c_0110_2^12 - 312395050027752784633399185267421630171563/270278620165081351666242\ 42733594435916188*c_0110_2^11 + 15246572779233499829666124973416722\ 6803391/13513931008254067583312121366797217958094*c_0110_2^10 + 46996886285204635271028976791008480276463/6756965504127033791656060\ 683398608979047*c_0110_2^9 - 20788789942180268732240419242540811459\ 06431/54055724033016270333248485467188871832376*c_0110_2^8 + 940892693669086640770855139078349085622787/540557240330162703332484\ 85467188871832376*c_0110_2^7 + 172604319636304166838121134035268123\ 16730/519766577240541060896620052569123767619*c_0110_2^6 - 1896867600264466597183536186601244142975475/54055724033016270333248\ 485467188871832376*c_0110_2^5 + 35904648266051204304542646056572993\ 7098469/54055724033016270333248485467188871832376*c_0110_2^4 + 136582768620004790695534143220139730034308/675696550412703379165606\ 0683398608979047*c_0110_2^3 - 5673021836832328465200567113075941504\ 55013/54055724033016270333248485467188871832376*c_0110_2^2 + 104915719425377656982187116147155567500653/540557240330162703332484\ 85467188871832376*c_0110_2 + 14676009203576713655983769554968129556\ 369/27027862016508135166624242733594435916188, c_0011_4 - 284698491753215157513838284648698480471/27027862016508135166\ 624242733594435916188*c_0110_2^18 + 461121826265596327830479945936717971424/675696550412703379165606068\ 3398608979047*c_0110_2^17 + 189706279586434878668607733353132394357\ 07/27027862016508135166624242733594435916188*c_0110_2^16 - 8865274462949489144035364811308744717651/13513931008254067583312121\ 366797217958094*c_0110_2^15 - 1087329248831255556764717783994290568\ 11403/27027862016508135166624242733594435916188*c_0110_2^14 + 362374092988425230441433604163977823266331/270278620165081351666242\ 42733594435916188*c_0110_2^13 - 11434708620299351849125579219523231\ 1326983/27027862016508135166624242733594435916188*c_0110_2^12 - 1459043391135859456467600114667389736472241/27027862016508135166624\ 242733594435916188*c_0110_2^11 + 3879827016575344408770298003074879\ 07428560/6756965504127033791656060683398608979047*c_0110_2^10 + 183067695425602295437381310243535149269195/675696550412703379165606\ 0683398608979047*c_0110_2^9 - 4686406947913070637411952557327218105\ 418175/27027862016508135166624242733594435916188*c_0110_2^8 + 585084114611719246740457561593290381289038/675696550412703379165606\ 0683398608979047*c_0110_2^7 + 3126434634367203242349593260157848625\ 68387/2079066308962164243586480210276495070476*c_0110_2^6 - 3887947230465077186582100105344310415377285/27027862016508135166624\ 242733594435916188*c_0110_2^5 + 24938143174749730146750921569724995\ 2398363/13513931008254067583312121366797217958094*c_0110_2^4 + 2151232132406446268855378892958064983738405/27027862016508135166624\ 242733594435916188*c_0110_2^3 - 10941068400360657454586681243584492\ 07971015/27027862016508135166624242733594435916188*c_0110_2^2 + 174027102440152420556321899786979186723/675696550412703379165606068\ 3398608979047*c_0110_2 + 44619039494810788206063872931859428001467/\ 27027862016508135166624242733594435916188, c_0011_5 - 16245202558701035268842691937795777883/831626523584865697434\ 5920841105980281904*c_0110_2^18 + 278550890845773074490320689051476\ 27569/2079066308962164243586480210276495070476*c_0110_2^17 + 1022621146253905364581515217621112369749/83162652358486569743459208\ 41105980281904*c_0110_2^16 - 63832921991895902121676762947030973968\ 1/4158132617924328487172960420552990140952*c_0110_2^15 - 4633120017360218812433391314380344560387/83162652358486569743459208\ 41105980281904*c_0110_2^14 + 20809456333288637648452763292691626738\ 067/8316265235848656974345920841105980281904*c_0110_2^13 - 19498717098716693370327902888947886933061/8316265235848656974345920\ 841105980281904*c_0110_2^12 - 5182609720622837356775130587398819939\ 8207/8316265235848656974345920841105980281904*c_0110_2^11 + 21092248695466801544546372407080070710165/2079066308962164243586480\ 210276495070476*c_0110_2^10 - 1254754585833489703044101379039628078\ 5209/2079066308962164243586480210276495070476*c_0110_2^9 - 136900893645556679071775903666759207217743/831626523584865697434592\ 0841105980281904*c_0110_2^8 + 3262378902458785826027950793142350188\ 8263/2079066308962164243586480210276495070476*c_0110_2^7 + 4470059679291921102150958834352032907021/83162652358486569743459208\ 41105980281904*c_0110_2^6 - 263791114184124787706208250852785868351\ 21/8316265235848656974345920841105980281904*c_0110_2^5 + 32639880029648776542860997027651960522051/4158132617924328487172960\ 420552990140952*c_0110_2^4 - 11042249404324201264435636962296833321\ 681/8316265235848656974345920841105980281904*c_0110_2^3 + 31793438561142345977028921767322661769217/8316265235848656974345920\ 841105980281904*c_0110_2^2 - 12973785768138796027353060110744671915\ 53/2079066308962164243586480210276495070476*c_0110_2 - 6433997750500249127524657571384674722851/83162652358486569743459208\ 41105980281904, c_0101_1 - 542152873026651357207273357755083053157/10811144806603254066\ 6496970934377743664752*c_0110_2^18 + 881646194827155114453135932815201358063/270278620165081351666242427\ 33594435916188*c_0110_2^17 + 35814517584110001880430622106444190499\ 147/108111448066032540666496970934377743664752*c_0110_2^16 - 16551847110052077235097918257641890446919/5405572403301627033324848\ 5467188871832376*c_0110_2^15 - 192912140948355634559302290844804647\ 224109/108111448066032540666496970934377743664752*c_0110_2^14 + 671824544914003640882653776244518746340109/108111448066032540666496\ 970934377743664752*c_0110_2^13 - 2951824751098745965697613899258238\ 97845499/108111448066032540666496970934377743664752*c_0110_2^12 - 2457613265100829494431677281483425772585185/10811144806603254066649\ 6970934377743664752*c_0110_2^11 + 665445797734168888075154417877454\ 782059295/27027862016508135166624242733594435916188*c_0110_2^10 + 158089859780293296864884997748930036274981/270278620165081351666242\ 42733594435916188*c_0110_2^9 - 740752479959107109508109959914079938\ 9387665/108111448066032540666496970934377743664752*c_0110_2^8 + 931579935687633914588183922674265535096833/270278620165081351666242\ 42733594435916188*c_0110_2^7 + 429288461811873187093342148995674364\ 991503/8316265235848656974345920841105980281904*c_0110_2^6 - 4684969794136871075914948314436488797622095/10811144806603254066649\ 6970934377743664752*c_0110_2^5 + 5253231954798625845318803571295259\ 17968613/54055724033016270333248485467188871832376*c_0110_2^4 + 2768694526022148094355055392111089404997713/10811144806603254066649\ 6970934377743664752*c_0110_2^3 - 9349781335742323574039341238488432\ 09266145/108111448066032540666496970934377743664752*c_0110_2^2 - 18675042450798451280437559421226054862439/2702786201650813516662424\ 2733594435916188*c_0110_2 - 376108006007124059502758071489319873101\ 73/108111448066032540666496970934377743664752, c_0101_3 + 31659125463852310241012906697565065433/415813261792432848717\ 2960420552990140952*c_0110_2^18 - 220065490351831051563179743668273\ 389695/4158132617924328487172960420552990140952*c_0110_2^17 - 500163751149560450681325912381569247467/103953315448108212179324010\ 5138247535238*c_0110_2^16 + 718347701745227767597173094187189648889\ /1039533154481082121793240105138247535238*c_0110_2^15 + 10484723872963043617189225689496573396713/4158132617924328487172960\ 420552990140952*c_0110_2^14 - 1107075045131059989682984863221057931\ 7729/1039533154481082121793240105138247535238*c_0110_2^13 + 34269496580026185369547729072419046850089/4158132617924328487172960\ 420552990140952*c_0110_2^12 + 6850607517389536100034897175903603057\ 1627/2079066308962164243586480210276495070476*c_0110_2^11 - 27385529709492808357513367034610975213545/5197665772405410608966200\ 52569123767619*c_0110_2^10 + 66255571616394355186532517749794903123\ 07/1039533154481082121793240105138247535238*c_0110_2^9 + 451133056873835167995242475442646223090489/415813261792432848717296\ 0420552990140952*c_0110_2^8 - 4037760579966485990273883003493738148\ 10967/4158132617924328487172960420552990140952*c_0110_2^7 - 61162741322656578131546720938626855059439/1039533154481082121793240\ 105138247535238*c_0110_2^6 + 41355906463203227380079262914479258643\ 0065/4158132617924328487172960420552990140952*c_0110_2^5 - 159591130304902106177877222991986574326337/415813261792432848717296\ 0420552990140952*c_0110_2^4 - 3449065878739057653869236157408369953\ 7483/1039533154481082121793240105138247535238*c_0110_2^3 + 113150863285537926173030564897093164324199/415813261792432848717296\ 0420552990140952*c_0110_2^2 - 8225564570860191161237366000345577986\ 133/4158132617924328487172960420552990140952*c_0110_2 - 1276653995288013823002380898382732681871/20790663089621642435864802\ 10276495070476, c_0110_2^19 - 7*c_0110_2^18 - 63*c_0110_2^17 + 95*c_0110_2^16 + 335*c_0110_2^15 - 1436*c_0110_2^14 + 1118*c_0110_2^13 + 4512*c_0110_2^12 - 7487*c_0110_2^11 + 800*c_0110_2^10 + 15593*c_0110_2^9 - 14611*c_0110_2^8 - 8383*c_0110_2^7 + 16468*c_0110_2^6 - 6651*c_0110_2^5 - 5451*c_0110_2^4 + 5368*c_0110_2^3 - 859*c_0110_2^2 - 247*c_0110_2 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB