Magma V2.19-8 Tue Aug 20 2013 16:16:56 on localhost [Seed = 3987501373] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1186 geometric_solution 5.05654117 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911103347960 0.950253575728 3 4 3 0 0132 0132 2310 0132 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 0 1 -1 0 0 0 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.772697811890 0.589865626627 4 3 0 3 2310 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772697811890 0.589865626627 1 1 2 2 0132 3201 2310 1023 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 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.661899561501 0.318121977938 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806618252213 0.519155617868 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.334820029632 0.318954174165 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 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 1.560466763191 0.151073495146 ==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' : negation(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' : negation(d['1']), 's_1_2' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(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_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 190632829394421250241/91532412868948504992*c_0101_6^19 + 1406189335844579690153/91532412868948504992*c_0101_6^17 + 10803480577163612280329/45766206434474252496*c_0101_6^15 + 6192604751944442268515/30510804289649501664*c_0101_6^13 - 30979747818645974308406/2860387902154640781*c_0101_6^11 - 91651508814846668698669/15255402144824750832*c_0101_6^9 - 14173106444268473965355/3390089365516611296*c_0101_6^7 - 90799677030545932102879/91532412868948504992*c_0101_6^5 - 2985610545886676560603/15255402144824750832*c_0101_6^3 + 401457692357686209337/45766206434474252496*c_0101_6, c_0011_0 - 1, c_0011_1 + 194262201472978/1375847956784339*c_0101_6^18 - 1414205743087940/1375847956784339*c_0101_6^16 - 22156100640388789/1375847956784339*c_0101_6^14 - 21061516400755737/1375847956784339*c_0101_6^12 + 1008333373197083750/1375847956784339*c_0101_6^10 + 657850258518225961/1375847956784339*c_0101_6^8 + 446987148483876979/1375847956784339*c_0101_6^6 + 131990171842318184/1375847956784339*c_0101_6^4 + 31352558343658657/1375847956784339*c_0101_6^2 + 1850981675298001/1375847956784339, c_0101_0 - 306654438141785/15134327524627729*c_0101_6^19 + 2259900379840887/15134327524627729*c_0101_6^17 + 34865799492789645/15134327524627729*c_0101_6^15 + 29367293918837819/15134327524627729*c_0101_6^13 - 1604498989518511913/15134327524627729*c_0101_6^11 - 896656116426026772/15134327524627729*c_0101_6^9 - 132460636870288427/15134327524627729*c_0101_6^7 - 253243607485440255/15134327524627729*c_0101_6^5 + 3513018266786738/15134327524627729*c_0101_6^3 - 27556608659649651/15134327524627729*c_0101_6, c_0101_1 + 2031327130535887/15134327524627729*c_0101_6^18 - 14576756378321822/15134327524627729*c_0101_6^16 - 233145066305888490/15134327524627729*c_0101_6^14 - 244835583539530114/15134327524627729*c_0101_6^12 + 10513124402284526057/15134327524627729*c_0101_6^10 + 7969814706492998031/15134327524627729*c_0101_6^8 + 5753466995751082671/15134327524627729*c_0101_6^6 + 1972668246652269674/15134327524627729*c_0101_6^4 + 491215452488819294/15134327524627729*c_0101_6^2 + 34512719902661197/15134327524627729, c_0101_4 + 190727459578107/1375847956784339*c_0101_6^19 - 1214632739554793/1375847956784339*c_0101_6^17 - 23030009965662051/1375847956784339*c_0101_6^15 - 40421589275644926/1375847956784339*c_0101_6^13 + 972453899563489305/1375847956784339*c_0101_6^11 + 1549481907967988035/1375847956784339*c_0101_6^9 + 967753339972349477/1375847956784339*c_0101_6^7 + 489488605264383888/1375847956784339*c_0101_6^5 + 123116168183366537/1375847956784339*c_0101_6^3 + 22187594268217318/1375847956784339*c_0101_6, c_0101_5 - 59520282875768/1375847956784339*c_0101_6^18 + 380996145108932/1375847956784339*c_0101_6^16 + 7174725122692474/1375847956784339*c_0101_6^14 + 12377866486054237/1375847956784339*c_0101_6^12 - 303898933625099746/1375847956784339*c_0101_6^10 - 473592605952099397/1375847956784339*c_0101_6^8 - 285426188019666946/1375847956784339*c_0101_6^6 - 144752130799714435/1375847956784339*c_0101_6^4 - 32277580037778080/1375847956784339*c_0101_6^2 - 5822681635784111/1375847956784339, c_0101_6^20 - 7*c_0101_6^18 - 116*c_0101_6^16 - 141*c_0101_6^14 + 5150*c_0101_6^12 + 4830*c_0101_6^10 + 3717*c_0101_6^8 + 1601*c_0101_6^6 + 528*c_0101_6^4 + 98*c_0101_6^2 + 12 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB