Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 863154140] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1914 geometric_solution 5.52024156 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468977336230 0.224447472047 2 0 3 0 0132 2310 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 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.796102697519 0.605866427040 1 3 4 5 0132 0213 0132 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 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.596590756620 0.640112962439 5 4 2 1 1023 1023 0213 0132 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 0 0 0 0 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.596590756620 0.640112962439 3 6 6 2 1023 0132 1023 0132 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 0 0 0 0 0 0 0 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.062828827562 0.555265363367 5 3 2 5 3201 1023 0132 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 -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.066702358162 0.899758276396 6 4 4 6 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 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.602855283621 0.320273761421 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], '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_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 8167597720661284558610820165437/102905007961954675250394259168*c_01\ 01_6^32 + 83389713970589176295473281722613/102905007961954675250394\ 259168*c_0101_6^30 + 262866760864606852471921727034241/102905007961\ 954675250394259168*c_0101_6^28 - 260963724636358782947089542527991/\ 25726251990488668812598564792*c_0101_6^26 - 3296881902281835532811371426440477/51452503980977337625197129584*c_\ 0101_6^24 - 73908538500759456816481499291569/2572625199048866881259\ 8564792*c_0101_6^22 + 18960362604935547485157645529715453/514525039\ 80977337625197129584*c_0101_6^20 - 6849133823486182589540452591589875/25726251990488668812598564792*c_\ 0101_6^18 - 10692204546679618290218847958379011/1029050079619546752\ 50394259168*c_0101_6^16 - 13649108666680549676909894926748663/51452\ 503980977337625197129584*c_0101_6^14 + 74404768086014759603783976183343289/102905007961954675250394259168*\ c_0101_6^12 - 7413650915045518621292107303460297/128631259952443344\ 06299282396*c_0101_6^10 + 29877821753642859536310888976205041/10290\ 5007961954675250394259168*c_0101_6^8 - 14078796811702905160994225620769045/102905007961954675250394259168*\ c_0101_6^6 + 2549077889981248315028389652423509/5145250398097733762\ 5197129584*c_0101_6^4 - 997397818107815190572664990694731/102905007\ 961954675250394259168*c_0101_6^2 + 72204879864998825583953765946067/102905007961954675250394259168, c_0011_0 - 1, c_0011_1 - 4369099838880344197382639168/3215781498811083601574820599*c_\ 0101_6^32 - 45485556275229197311735981525/3215781498811083601574820\ 599*c_0101_6^30 - 150001607292521537064830885334/321578149881108360\ 1574820599*c_0101_6^28 + 525563198961092179261330009164/32157814988\ 11083601574820599*c_0101_6^26 + 3623046174577401072137149759865/321\ 5781498811083601574820599*c_0101_6^24 + 911097856797303717557609231823/3215781498811083601574820599*c_0101_\ 6^22 - 19885923599029886762926323591936/321578149881108360157482059\ 9*c_0101_6^20 + 10813290898055394341925272016184/321578149881108360\ 1574820599*c_0101_6^18 + 6852501149770073186091696933523/3215781498\ 811083601574820599*c_0101_6^16 + 16121892374155189750035507797495/3\ 215781498811083601574820599*c_0101_6^14 - 36168804289730600684002169134501/3215781498811083601574820599*c_010\ 1_6^12 + 25547550081775637476821411896923/3215781498811083601574820\ 599*c_0101_6^10 - 12367619009403344825054743936758/3215781498811083\ 601574820599*c_0101_6^8 + 5853609932779858787900318520170/321578149\ 8811083601574820599*c_0101_6^6 - 1954002552456122226444857309415/32\ 15781498811083601574820599*c_0101_6^4 + 316999323303039526519266223544/3215781498811083601574820599*c_0101_\ 6^2 - 16209175795372582442975492740/3215781498811083601574820599, c_0011_3 - 8450993940067607917856508725/3215781498811083601574820599*c_\ 0101_6^33 - 86845519432184768452578372563/3215781498811083601574820\ 599*c_0101_6^31 - 278368847514035186665108483858/321578149881108360\ 1574820599*c_0101_6^29 + 1054934475314689732932386380646/3215781498\ 811083601574820599*c_0101_6^27 + 6868280112960866481613735417373/32\ 15781498811083601574820599*c_0101_6^25 + 821446695093944749101964317645/3215781498811083601574820599*c_0101_\ 6^23 - 38647794974749370684743908059787/321578149881108360157482059\ 9*c_0101_6^21 + 26208574407320350070554601057939/321578149881108360\ 1574820599*c_0101_6^19 + 10299702824746541876248376483215/321578149\ 8811083601574820599*c_0101_6^17 + 28940617214570232820413612356611/\ 3215781498811083601574820599*c_0101_6^15 - 74057645551861790876426364478906/3215781498811083601574820599*c_010\ 1_6^13 + 59287822287256063189532308714571/3215781498811083601574820\ 599*c_0101_6^11 - 30299209652472248355479198956445/3215781498811083\ 601574820599*c_0101_6^9 + 14061965428134128928940114366167/32157814\ 98811083601574820599*c_0101_6^7 - 5134337893592048346964245998991/3\ 215781498811083601574820599*c_0101_6^5 + 1028680242201951721098397468323/3215781498811083601574820599*c_0101\ _6^3 - 72130842107562343205209755832/3215781498811083601574820599*c\ _0101_6, c_0101_0 + 10192134739960186386744200377/3215781498811083601574820599*c\ _0101_6^33 + 105422325663273354302382393439/32157814988110836015748\ 20599*c_0101_6^31 + 342314049438175801252202000727/3215781498811083\ 601574820599*c_0101_6^29 - 1254767114545866345811477453848/32157814\ 98811083601574820599*c_0101_6^27 - 8388903205525422577044658688810/3215781498811083601574820599*c_0101\ _6^25 - 1513026030198662986617564595459/321578149881108360157482059\ 9*c_0101_6^23 + 46952646483602701435852304313317/321578149881108360\ 1574820599*c_0101_6^21 - 27972494140046255894137066456661/321578149\ 8811083601574820599*c_0101_6^19 - 16204086878495596336844583411598/\ 3215781498811083601574820599*c_0101_6^17 - 36628652579361522980465578705344/3215781498811083601574820599*c_010\ 1_6^15 + 87636697512869808767562185990495/3215781498811083601574820\ 599*c_0101_6^13 - 63042043173555980830080949119089/3215781498811083\ 601574820599*c_0101_6^11 + 30387299635888773327586090799860/3215781\ 498811083601574820599*c_0101_6^9 - 14532931254239138151365712855879/3215781498811083601574820599*c_010\ 1_6^7 + 4898994274004217943932759736345/321578149881108360157482059\ 9*c_0101_6^5 - 809820274228501255025135984232/321578149881108360157\ 4820599*c_0101_6^3 + 53015986136164351985323225309/3215781498811083\ 601574820599*c_0101_6, c_0101_1 - 2152764167985282038810286921/3215781498811083601574820599*c_\ 0101_6^32 - 20628271980883003889462317944/3215781498811083601574820\ 599*c_0101_6^30 - 54499246057135090693504302963/3215781498811083601\ 574820599*c_0101_6^28 + 329408659584891696433135431187/321578149881\ 1083601574820599*c_0101_6^26 + 1604492021628259041933197793585/3215\ 781498811083601574820599*c_0101_6^24 - 1112861515792214599788480542281/3215781498811083601574820599*c_0101\ _6^22 - 10911439900251648402778811720285/32157814988110836015748205\ 99*c_0101_6^20 + 12870598842808409258299276168217/32157814988110836\ 01574820599*c_0101_6^18 + 2460253980447917301139317118025/321578149\ 8811083601574820599*c_0101_6^16 + 4906986395086629270350447047547/3\ 215781498811083601574820599*c_0101_6^14 - 25771593439891831538567186600772/3215781498811083601574820599*c_010\ 1_6^12 + 23561651116839526096828430786668/3215781498811083601574820\ 599*c_0101_6^10 - 11593316848368943012834024942927/3215781498811083\ 601574820599*c_0101_6^8 + 5543638926145370972445984962596/321578149\ 8811083601574820599*c_0101_6^6 - 2186834851411194902132820646719/32\ 15781498811083601574820599*c_0101_6^4 + 423836109662916225167159243699/3215781498811083601574820599*c_0101_\ 6^2 - 27528614420305993887790939923/3215781498811083601574820599, c_0101_4 - 11320140295198279107858499908/3215781498811083601574820599*c\ _0101_6^33 - 115288720692957590528637386026/32157814988110836015748\ 20599*c_0101_6^31 - 361696582431462313423889004147/3215781498811083\ 601574820599*c_0101_6^29 + 1452442583082868743533051864401/32157814\ 98811083601574820599*c_0101_6^27 + 9087191781051515972740414830874/3215781498811083601574820599*c_0101\ _6^25 + 198035822826857006800925492118/3215781498811083601574820599\ *c_0101_6^23 - 52277517638253671063995647000394/3215781498811083601\ 574820599*c_0101_6^21 + 39719173135376358938658776364132/3215781498\ 811083601574820599*c_0101_6^19 + 12777836642026798170279622095143/3\ 215781498811083601574820599*c_0101_6^17 + 36652252038300228146033358610328/3215781498811083601574820599*c_010\ 1_6^15 - 103800981763763740967369905284494/321578149881108360157482\ 0599*c_0101_6^13 + 86565603852828742833907826088645/321578149881108\ 3601574820599*c_0101_6^11 - 44133641178379055794395694701570/321578\ 1498811083601574820599*c_0101_6^9 + 20483110312300962224693293530190/3215781498811083601574820599*c_010\ 1_6^7 - 7693867826186898622320315280325/321578149881108360157482059\ 9*c_0101_6^5 + 1544304201142475866138500515359/32157814988110836015\ 74820599*c_0101_6^3 - 104288024417591302070901750592/32157814988110\ 83601574820599*c_0101_6, c_0101_6^34 + 10*c_0101_6^32 + 30*c_0101_6^30 - 135*c_0101_6^28 - 782*c_0101_6^26 + 138*c_0101_6^24 + 4686*c_0101_6^22 - 4314*c_0101_6^20 - 795*c_0101_6^18 - 2997*c_0101_6^16 + 9895*c_0101_6^14 - 9003*c_0101_6^12 + 4861*c_0101_6^10 - 2308*c_0101_6^8 + 905*c_0101_6^6 - 213*c_0101_6^4 + 24*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB