Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 2277907269] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0509 geometric_solution 4.51700420 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 0 0 0 0 0 0 0 0 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.641196812907 0.198854106224 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.936059632810 0.242380772331 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 -1 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 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 1.208593965560 0.340574322175 4 2 5 4 3012 0132 0132 1230 0 0 0 0 0 0 -1 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 0 0 -1 1 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.106085358190 0.626347298262 3 5 2 3 3012 0132 0132 1230 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 0 0 0 -1 0 1 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 1.106085358190 0.626347298262 6 4 6 3 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.455772309135 0.428252340332 5 5 6 6 0132 3201 2031 1302 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.584832544152 0.333012677831 ==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' : 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' : negation(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_0101_3'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(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' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : 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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], '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_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1838839457805807120015799767006473/62148267005812760305040440196480\ 0*c_1001_3^12 + 318964813524254758951828535597249/21430436898556124\ 243117393171200*c_1001_3^11 - 16887155280221850943376503484207169/6\ 21482670058127603050404401964800*c_1001_3^10 - 100747477203111288292303439751889431/310741335029063801525202200982\ 400*c_1001_3^9 + 149657121412258546369230225479610621/7768533375726\ 5950381300550245600*c_1001_3^8 + 5849271378056070282362945142654769\ 21/77685333757265950381300550245600*c_1001_3^7 + 11446151705546487949397806152386001763/6214826700581276030504044019\ 64800*c_1001_3^6 + 18241595782009550214977255007161115343/621482670\ 058127603050404401964800*c_1001_3^5 + 7265995064380592515729785170333078549/31074133502906380152520220098\ 2400*c_1001_3^4 + 496943248348759189208619782226398791/776853337572\ 65950381300550245600*c_1001_3^3 + 553702226096798670721468606361651\ 87/21430436898556124243117393171200*c_1001_3^2 + 3246290257609282821127999723647147773/62148267005812760305040440196\ 4800*c_1001_3 - 125832186140262007711760733968577047/38842666878632\ 975190650275122800, c_0011_0 - 1, c_0011_1 + 39494481913388927475719497/167425288269969720649354634150*c_\ 1001_3^12 - 245538455769708323970728619/167425288269969720649354634\ 150*c_1001_3^11 + 639711542451950715939455191/167425288269969720649\ 354634150*c_1001_3^10 + 1829136510371079278612475809/83712644134984\ 860324677317075*c_1001_3^9 - 15148740877434738047658835701/83712644\ 134984860324677317075*c_1001_3^8 - 32916770050267963891701096851/83712644134984860324677317075*c_1001_\ 3^7 - 156733273093978886964515765457/167425288269969720649354634150\ *c_1001_3^6 - 183016548834266523614976459327/1674252882699697206493\ 54634150*c_1001_3^5 - 16481868416045305589741578636/837126441349848\ 60324677317075*c_1001_3^4 + 17126375900703233158501673279/837126441\ 34984860324677317075*c_1001_3^3 - 85633144445864690719434129897/167\ 425288269969720649354634150*c_1001_3^2 - 3375866991875810545142970297/167425288269969720649354634150*c_1001_\ 3 + 32231563816048620499153799689/83712644134984860324677317075, c_0101_0 + 622942303072087349718488429/669701153079878882597418536600*c\ _1001_3^12 - 3129322696816596770569733633/6697011530798788825974185\ 36600*c_1001_3^11 + 5751524838253640432935150437/669701153079878882\ 597418536600*c_1001_3^10 + 33877464755513256173757743163/3348505765\ 39939441298709268300*c_1001_3^9 - 50343379172889931031215454858/837\ 12644134984860324677317075*c_1001_3^8 - 198486042901385652205960662733/83712644134984860324677317075*c_1001\ _3^7 - 3945446658265483285814610779799/6697011530798788825974185366\ 00*c_1001_3^6 - 6112628086722218137416029750139/6697011530798788825\ 97418536600*c_1001_3^5 - 2468679915663724150105408609577/3348505765\ 39939441298709268300*c_1001_3^4 - 116815411206938835021403586468/83\ 712644134984860324677317075*c_1001_3^3 - 157570804027204521379899837779/669701153079878882597418536600*c_100\ 1_3^2 - 1295025864722376276219621461329/669701153079878882597418536\ 600*c_1001_3 + 50039254349866805817285804362/8371264413498486032467\ 7317075, c_0101_1 - 545402540452578862415645/6697011530798788825974185366*c_1001\ _3^12 + 3145691457443647723588565/6697011530798788825974185366*c_10\ 01_3^11 - 6750338933455663814752339/6697011530798788825974185366*c_\ 1001_3^10 - 29199139857660941905070323/3348505765399394412987092683\ *c_1001_3^9 + 204207170546704832868511844/3348505765399394412987092\ 683*c_1001_3^8 + 567337079758421248840522555/3348505765399394412987\ 092683*c_1001_3^7 + 2125052015569486018602041195/669701153079878882\ 5974185366*c_1001_3^6 + 2986160730601845594649128811/66970115307987\ 88825974185366*c_1001_3^5 - 451301596375292347650862268/33485057653\ 99394412987092683*c_1001_3^4 - 907068541539015337906066709/33485057\ 65399394412987092683*c_1001_3^3 + 2332988487652257083524014163/6697\ 011530798788825974185366*c_1001_3^2 + 1864043733355502945768596679/6697011530798788825974185366*c_1001_3 + 1661060928317015866745697527/3348505765399394412987092683, c_0101_3 + 58403006998589184534872289/167425288269969720649354634150*c_\ 1001_3^12 - 294503347243132166437217803/167425288269969720649354634\ 150*c_1001_3^11 + 496954910850868043230954417/167425288269969720649\ 354634150*c_1001_3^10 + 3324975986267915017068180233/83712644134984\ 860324677317075*c_1001_3^9 - 19364253568644469354865976387/83712644\ 134984860324677317075*c_1001_3^8 - 76164357094609900045852644462/83712644134984860324677317075*c_1001_\ 3^7 - 329815333933003951184034595159/167425288269969720649354634150\ *c_1001_3^6 - 493670701502043377072529231899/1674252882699697206493\ 54634150*c_1001_3^5 - 135180442840720686115092700582/83712644134984\ 860324677317075*c_1001_3^4 + 38607276800454843475134949998/83712644\ 134984860324677317075*c_1001_3^3 + 18415389676897776644435250611/167425288269969720649354634150*c_1001\ _3^2 - 123697999223640210744743948039/16742528826996972064935463415\ 0*c_1001_3 + 26376654927576773768021452943/837126441349848603246773\ 17075, c_0101_5 + 125323080448276888278588419/669701153079878882597418536600*c\ _1001_3^12 - 795296891602843232453991263/66970115307987888259741853\ 6600*c_1001_3^11 + 2117780784183232572262290507/6697011530798788825\ 97418536600*c_1001_3^10 + 5646386657911621539341611793/334850576539\ 939441298709268300*c_1001_3^9 - 12132870684950182166338461838/83712\ 644134984860324677317075*c_1001_3^8 - 24948664789875972133823199263/83712644134984860324677317075*c_1001_\ 3^7 - 473187919503719926505432266889/669701153079878882597418536600\ *c_1001_3^6 - 400114887307498109944568109429/6697011530798788825974\ 18536600*c_1001_3^5 + 136029955818482533285283449253/33485057653993\ 9441298709268300*c_1001_3^4 + 105212409980583925648797265402/837126\ 44134984860324677317075*c_1001_3^3 + 419959390130148541241927244131/669701153079878882597418536600*c_100\ 1_3^2 - 145907198094718278504106776319/6697011530798788825974185366\ 00*c_1001_3 + 1943967839210123222726171432/837126441349848603246773\ 17075, c_1001_3^13 - 5*c_1001_3^12 + 9*c_1001_3^11 + 110*c_1001_3^10 - 648*c_1001_3^9 - 2568*c_1001_3^8 - 6283*c_1001_3^7 - 10023*c_1001_3^6 - 7978*c_1001_3^5 - 2008*c_1001_3^4 - 543*c_1001_3^3 - 1573*c_1001_3^2 + 1152*c_1001_3 + 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB