Magma V2.19-8 Wed Aug 21 2013 01:07:11 on localhost [Seed = 1999728522] Type ? for help. Type -D to quit. Loading file "L14n32956__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32956 geometric_solution 11.69690909 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 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.896144175287 0.841213289263 0 5 3 6 0132 0132 3012 0132 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 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.687194486673 0.425414558962 7 0 5 8 0132 0132 3120 0132 1 0 1 1 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 1 0 -1 1 0 -5 4 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.675241209502 0.740810128890 6 1 7 0 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199997226400 0.688544785239 8 6 0 9 1023 3120 0132 0132 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 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.408151458626 0.824067230554 10 1 2 9 0132 0132 3120 3201 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 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.675241209502 0.740810128890 3 4 1 10 0132 3120 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.515017142891 1.011109833502 2 3 9 11 0132 1230 1230 0132 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 0 0 0 0 0 0 0 0 0 0 -1 0 0 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.592398983480 0.333738908329 10 4 2 12 2103 1023 0132 0132 1 0 1 1 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 0 1 -1 5 0 -4 -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.595002545978 1.477288415915 11 5 4 7 0213 2310 0132 3012 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 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.595002545978 1.477288415915 5 6 8 12 0132 2310 2103 2103 1 0 1 1 0 0 -1 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 0 -1 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592398983480 0.333738908329 9 12 7 12 0213 2103 0132 3120 1 0 1 1 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 0 0 0 0 0 -1 1 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.394296146125 1.404026258064 11 11 8 10 3120 2103 0132 2103 1 0 1 1 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 -1 1 0 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259050735841 0.600481626401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_0101_1'], 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_5']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1325029002365602785344958828533258/19444056732483485286364083719332\ 5*c_1001_7^13 - 28611312627108621401821852897450693/466657361579603\ 6468727380092639800*c_1001_7^12 + 830495276577736379801355825819360\ 1/777762269299339411454563348773300*c_1001_7^11 + 115879108971449663844624537270533503/466657361579603646872738009263\ 9800*c_1001_7^10 + 403821323843863716368988078997504681/46665736157\ 96036468727380092639800*c_1001_7^9 - 5709470363010233904034310114093383/23332868078980182343636900463199\ 00*c_1001_7^8 - 664725169951395011237731845338528261/23332868078980\ 18234363690046319900*c_1001_7^7 - 220505225263379461556565443092153\ 33/194440567324834852863640837193325*c_1001_7^6 + 1840995560478993406024475849540791973/46665736157960364687273800926\ 39800*c_1001_7^5 + 318686289025662007266905362578647771/15555245385\ 98678822909126697546600*c_1001_7^4 - 133540552101607276310550550419497447/518508179532892940969708899182\ 200*c_1001_7^3 - 379365621797163272017597939765266949/2333286807898\ 018234363690046319900*c_1001_7^2 + 383383051139846141247120040646639537/466657361579603646872738009263\ 9800*c_1001_7 + 258821499481572907583446558967543617/46665736157960\ 36468727380092639800, c_0011_0 - 1, c_0011_11 - 779068457335816980903987/1086202912717442655651344*c_1001_7\ ^13 - 673151162143964328117113/1086202912717442655651344*c_1001_7^1\ 2 + 1425820655846167214005615/1086202912717442655651344*c_1001_7^11 + 385794570135286320945145/135775364089680331956418*c_1001_7^10 + 9843576405906036709316605/1086202912717442655651344*c_1001_7^9 - 60181578457029502004604/67887682044840165978209*c_1001_7^8 - 17648040575349880488180641/543101456358721327825672*c_1001_7^7 - 14232123520378186942033037/1086202912717442655651344*c_1001_7^6 + 24673895125997668124813907/543101456358721327825672*c_1001_7^5 + 12612375785882469821749675/543101456358721327825672*c_1001_7^4 - 31204415930290037586156571/1086202912717442655651344*c_1001_7^3 - 18216711241364141608090399/1086202912717442655651344*c_1001_7^2 + 4517607554854304096799151/543101456358721327825672*c_1001_7 + 4917162038004766854030119/1086202912717442655651344, c_0011_12 - 1259403832635438572222283/1086202912717442655651344*c_1001_\ 7^13 - 1562697612576865406067411/1086202912717442655651344*c_1001_7\ ^12 + 2041147521270049823137103/1086202912717442655651344*c_1001_7^\ 11 + 2777396432168617865243689/543101456358721327825672*c_1001_7^10 + 17045924789767623958981735/1086202912717442655651344*c_1001_7^9 + 247064881933827276439279/67887682044840165978209*c_1001_7^8 - 29185842273027067171479221/543101456358721327825672*c_1001_7^7 - 38256827217119246172832081/1086202912717442655651344*c_1001_7^6 + 20074620308911230089724929/271550728179360663912836*c_1001_7^5 + 3930733108412202584997925/67887682044840165978209*c_1001_7^4 - 52391306875843022324479493/1086202912717442655651344*c_1001_7^3 - 45436228823578543465445331/1086202912717442655651344*c_1001_7^2 + 1936603538490370537558845/135775364089680331956418*c_1001_7 + 14844966442179616734407533/1086202912717442655651344, c_0011_3 + 226585732839164613743127/1086202912717442655651344*c_1001_7^\ 13 + 573898922596003194087287/1086202912717442655651344*c_1001_7^12 - 76662420108985462392103/1086202912717442655651344*c_1001_7^11 - 675434003921178357342815/543101456358721327825672*c_1001_7^10 - 3987000046039611399985451/1086202912717442655651344*c_1001_7^9 - 1138708548767664922933549/271550728179360663912836*c_1001_7^8 + 4917248708447580778839103/543101456358721327825672*c_1001_7^7 + 17811767424973660510847441/1086202912717442655651344*c_1001_7^6 - 1247037048142621529711793/135775364089680331956418*c_1001_7^5 - 1523132117714147380853920/67887682044840165978209*c_1001_7^4 + 4377164598277689204915205/1086202912717442655651344*c_1001_7^3 + 14633548555970116369304231/1086202912717442655651344*c_1001_7^2 - 47740729912696899470205/67887682044840165978209*c_1001_7 - 4507526972493399067410733/1086202912717442655651344, c_0011_4 + c_1001_7, c_0011_9 - 1, c_0101_0 + 117039814698415946831559/1086202912717442655651344*c_1001_7^\ 13 + 336911591553204498865845/1086202912717442655651344*c_1001_7^12 - 277893004286958101624259/1086202912717442655651344*c_1001_7^11 - 145378784797912133578687/135775364089680331956418*c_1001_7^10 - 2002920037545263762095625/1086202912717442655651344*c_1001_7^9 - 113089674102733282481247/67887682044840165978209*c_1001_7^8 + 4576652479289005718418725/543101456358721327825672*c_1001_7^7 + 13191167219134429258550905/1086202912717442655651344*c_1001_7^6 - 7282845728712517304905447/543101456358721327825672*c_1001_7^5 - 12270540678494397243259991/543101456358721327825672*c_1001_7^4 + 11126801091582314915109775/1086202912717442655651344*c_1001_7^3 + 20548451474171226863992835/1086202912717442655651344*c_1001_7^2 - 1498783076410000393807427/543101456358721327825672*c_1001_7 - 7819389885228865565243291/1086202912717442655651344, c_0101_1 + 226585732839164613743127/1086202912717442655651344*c_1001_7^\ 13 + 573898922596003194087287/1086202912717442655651344*c_1001_7^12 - 76662420108985462392103/1086202912717442655651344*c_1001_7^11 - 675434003921178357342815/543101456358721327825672*c_1001_7^10 - 3987000046039611399985451/1086202912717442655651344*c_1001_7^9 - 1138708548767664922933549/271550728179360663912836*c_1001_7^8 + 4917248708447580778839103/543101456358721327825672*c_1001_7^7 + 17811767424973660510847441/1086202912717442655651344*c_1001_7^6 - 1247037048142621529711793/135775364089680331956418*c_1001_7^5 - 1523132117714147380853920/67887682044840165978209*c_1001_7^4 + 4377164598277689204915205/1086202912717442655651344*c_1001_7^3 + 14633548555970116369304231/1086202912717442655651344*c_1001_7^2 - 47740729912696899470205/67887682044840165978209*c_1001_7 - 4507526972493399067410733/1086202912717442655651344, c_0101_10 - 551157062792040899466441/543101456358721327825672*c_1001_7^\ 13 - 194734957138565825519753/135775364089680331956418*c_1001_7^12 + 850117702634622156406451/543101456358721327825672*c_1001_7^11 + 2628752004812136243419735/543101456358721327825672*c_1001_7^10 + 951304037694231865866283/67887682044840165978209*c_1001_7^9 + 1331124746824548335785743/271550728179360663912836*c_1001_7^8 - 6533449832949998878474159/135775364089680331956418*c_1001_7^7 - 20551195508041079033927439/543101456358721327825672*c_1001_7^6 + 37109610040749356086415795/543101456358721327825672*c_1001_7^5 + 34483175801135262862331563/543101456358721327825672*c_1001_7^4 - 3182421897506465456925807/67887682044840165978209*c_1001_7^3 - 26060771613874215955426943/543101456358721327825672*c_1001_7^2 + 8085223729133028094497807/543101456358721327825672*c_1001_7 + 4519404937747421084161181/271550728179360663912836, c_0101_12 + 62140613107912296114261/1086202912717442655651344*c_1001_7^\ 13 + 218443752793615462445437/1086202912717442655651344*c_1001_7^12 - 165395188994060154175141/1086202912717442655651344*c_1001_7^11 - 279411193238439519563197/543101456358721327825672*c_1001_7^10 - 1000238253125407499695113/1086202912717442655651344*c_1001_7^9 - 399870327134117344182551/271550728179360663912836*c_1001_7^8 + 2547684311686730308438817/543101456358721327825672*c_1001_7^7 + 6502498776170775575726099/1086202912717442655651344*c_1001_7^6 - 1113996018496706004198305/135775364089680331956418*c_1001_7^5 - 1128961513388293874181267/135775364089680331956418*c_1001_7^4 + 8176013301381672235029703/1086202912717442655651344*c_1001_7^3 + 4948264728598170050968205/1086202912717442655651344*c_1001_7^2 - 221141606805425999093805/67887682044840165978209*c_1001_7 - 1230033751865533291749927/1086202912717442655651344, c_0101_5 - 1, c_1001_2 + 61637956522970425215813/1086202912717442655651344*c_1001_7^1\ 3 + 373777478799858850803201/1086202912717442655651344*c_1001_7^12 + 162592243286369611918859/1086202912717442655651344*c_1001_7^11 - 338857845434349671617883/543101456358721327825672*c_1001_7^10 - 1797576442608901527317517/1086202912717442655651344*c_1001_7^9 - 1029964782751983668531063/271550728179360663912836*c_1001_7^8 + 1293231434540607995456309/543101456358721327825672*c_1001_7^7 + 13267944113408467718033371/1086202912717442655651344*c_1001_7^6 + 81930562309397121939761/271550728179360663912836*c_1001_7^5 - 3994056516570495802165199/271550728179360663912836*c_1001_7^4 - 1743205502794315271084549/1086202912717442655651344*c_1001_7^3 + 8795890026148452791542653/1086202912717442655651344*c_1001_7^2 + 133663153208376265587345/271550728179360663912836*c_1001_7 - 2439462756430899245988571/1086202912717442655651344, c_1001_7^14 + 76/39*c_1001_7^13 - 22/39*c_1001_7^12 - 211/39*c_1001_7^11 - 219/13*c_1001_7^10 - 171/13*c_1001_7^9 + 1634/39*c_1001_7^8 + 2459/39*c_1001_7^7 - 1421/39*c_1001_7^6 - 3676/39*c_1001_7^5 - c_1001_7^4 + 2546/39*c_1001_7^3 + 701/39*c_1001_7^2 - 809/39*c_1001_7 - 395/39 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB