Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2968595851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2425 geometric_solution 5.77451882 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 1 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.113564096840 1.085464581946 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 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 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.806907728561 0.980613177848 4 3 0 1 2310 3201 0132 3012 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 -1 1 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.806907728561 0.980613177848 1 5 2 5 0132 0132 2310 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 -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.795786332800 0.478221893598 6 1 2 6 0132 0132 3201 1023 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 0.339323330631 0.586093131266 5 3 5 3 2310 0132 3201 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 1 -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.752656592279 0.193513519850 4 6 6 4 0132 3201 2310 1023 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 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.471110718207 0.657946785618 ==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' : 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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), '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' : 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' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : 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' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(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: 26 Groebner basis: [ t - 1268469159665752286861/10091520772354325*c_0101_6^12 - 3788590197354658683319/10091520772354325*c_0101_6^11 + 27956550432451930787898/10091520772354325*c_0101_6^10 + 4703230583925864757307/10091520772354325*c_0101_6^9 - 158621001035796257138353/10091520772354325*c_0101_6^8 + 336978845829045553033801/10091520772354325*c_0101_6^7 - 495365202826794925217196/10091520772354325*c_0101_6^6 + 384571313047015402754797/10091520772354325*c_0101_6^5 - 142093269640778605284116/10091520772354325*c_0101_6^4 + 119851482963671224326337/10091520772354325*c_0101_6^3 - 11736744465241792803896/10091520772354325*c_0101_6^2 + 1101260393561539631028/272743804658225*c_0101_6 - 95675420160010213216229/10091520772354325, c_0011_0 - 1, c_0011_1 - 18709235671241/403660830894173*c_0101_5*c_0101_6^12 - 57802751110659/403660830894173*c_0101_5*c_0101_6^11 + 403342046192370/403660830894173*c_0101_5*c_0101_6^10 + 94704378476162/403660830894173*c_0101_5*c_0101_6^9 - 2297482579771500/403660830894173*c_0101_5*c_0101_6^8 + 4825344867946542/403660830894173*c_0101_5*c_0101_6^7 - 7012668108009838/403660830894173*c_0101_5*c_0101_6^6 + 5310854351962022/403660830894173*c_0101_5*c_0101_6^5 - 1787392792685959/403660830894173*c_0101_5*c_0101_6^4 + 1359502766663893/403660830894173*c_0101_5*c_0101_6^3 - 148557047870940/403660830894173*c_0101_5*c_0101_6^2 + 12839710991013/10909752186329*c_0101_5*c_0101_6 - 1264232099836035/403660830894173*c_0101_5, c_0101_0 + 363807286935230/403660830894173*c_0101_5*c_0101_6^12 + 1083894943244376/403660830894173*c_0101_5*c_0101_6^11 - 8032393473800777/403660830894173*c_0101_5*c_0101_6^10 - 1313631037481618/403660830894173*c_0101_5*c_0101_6^9 + 45614809406288501/403660830894173*c_0101_5*c_0101_6^8 - 96866005673344427/403660830894173*c_0101_5*c_0101_6^7 + 142137657907085455/403660830894173*c_0101_5*c_0101_6^6 - 110284698828357760/403660830894173*c_0101_5*c_0101_6^5 + 40240448657206280/403660830894173*c_0101_5*c_0101_6^4 - 34073435430940696/403660830894173*c_0101_5*c_0101_6^3 + 3356755119955668/403660830894173*c_0101_5*c_0101_6^2 - 317943133598123/10909752186329*c_0101_5*c_0101_6 + 27870896613055641/403660830894173*c_0101_5, c_0101_1 + 52833296338330/403660830894173*c_0101_5*c_0101_6^12 + 157275463366069/403660830894173*c_0101_5*c_0101_6^11 - 1165585027677815/403660830894173*c_0101_5*c_0101_6^10 - 181537079264624/403660830894173*c_0101_5*c_0101_6^9 + 6605183279560667/403660830894173*c_0101_5*c_0101_6^8 - 14142243690283775/403660830894173*c_0101_5*c_0101_6^7 + 20768175838929732/403660830894173*c_0101_5*c_0101_6^6 - 16069109342069968/403660830894173*c_0101_5*c_0101_6^5 + 6160263942743054/403660830894173*c_0101_5*c_0101_6^4 - 5072116635477437/403660830894173*c_0101_5*c_0101_6^3 + 481853618637070/403660830894173*c_0101_5*c_0101_6^2 - 46671114774878/10909752186329*c_0101_5*c_0101_6 + 3572553345239063/403660830894173*c_0101_5, c_0101_4 + 214809306/72250014479*c_0101_6^12 + 435136833/72250014479*c_0101_6^11 - 4597140287/72250014479*c_0101_6^10 + 7186279949/72250014479*c_0101_6^9 + 16219019605/72250014479*c_0101_6^8 - 102145504499/72250014479*c_0101_6^7 + 217051752718/72250014479*c_0101_6^6 - 243855693536/72250014479*c_0101_6^5 + 136265730750/72250014479*c_0101_6^4 - 11856161066/72250014479*c_0101_6^3 - 57919497955/72250014479*c_0101_6^2 - 36037396527/72250014479*c_0101_6 + 8399088419/72250014479, c_0101_5^2 + 13708977379850/403660830894173*c_0101_6^12 + 65691071384055/403660830894173*c_0101_6^11 - 194824840519457/403660830894173*c_0101_6^10 - 476884769611103/403660830894173*c_0101_6^9 + 955124258970888/403660830894173*c_0101_6^8 - 1044625956582711/403660830894173*c_0101_6^7 + 2789150503047423/403660830894173*c_0101_6^6 - 1289817330265516/403660830894173*c_0101_6^5 + 2372475281257782/403660830894173*c_0101_6^4 - 1699617562221737/403660830894173*c_0101_6^3 - 3119989680916640/403660830894173*c_0101_6^2 - 53725811288818/10909752186329*c_0101_6 - 25884147660426/403660830894173, c_0101_6^13 + 3*c_0101_6^12 - 22*c_0101_6^11 - 4*c_0101_6^10 + 125*c_0101_6^9 - 264*c_0101_6^8 + 387*c_0101_6^7 - 298*c_0101_6^6 + 108*c_0101_6^5 - 93*c_0101_6^4 + 8*c_0101_6^3 - 32*c_0101_6^2 + 75*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB