Magma V2.19-8 Tue Aug 20 2013 23:47:35 on localhost [Seed = 3532961933] Type ? for help. Type -D to quit. Loading file "L11a117__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a117 geometric_solution 11.15439127 oriented_manifold CS_known -0.0000000000000010 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 1 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 0 0 0 -1 0 1 0 0 0 0 -6 7 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184335320667 0.796697987212 0 4 0 5 0132 0132 3012 0132 1 1 1 1 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 1 -1 -1 1 0 0 6 1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724340754038 1.191400354635 3 2 2 0 3201 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 -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.198239995578 1.088350074842 5 6 0 2 3012 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184335320667 0.796697987212 7 1 6 8 0132 0132 0321 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 -1 0 0 1 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.484388309182 0.199805595862 8 6 1 3 3120 0321 0132 1230 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 -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.155632156050 0.655907610250 9 3 4 5 0132 0132 0321 0321 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 -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.112813735352 0.721827739307 4 10 11 10 0132 0132 0132 0213 0 1 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 2 -1 -1 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.720507145050 0.825081260438 11 10 4 5 0132 3012 0132 3120 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 -1 1 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.783049053292 1.373624410331 6 11 10 11 0132 0213 0321 0321 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 -1 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.720507145050 0.825081260438 8 7 9 7 1230 0132 0321 0213 0 1 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 -2 1 1 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.720507145050 0.825081260438 8 9 9 7 0132 0321 0213 0132 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 -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.399522151373 0.687630960517 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_2']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_1001_7'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_3'], 'c_0101_10' : d['c_0011_5'], 's_2_0' : d['1'], 's_2_1' : 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_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : negation(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_1100_9' : d['c_1001_10'], 'c_0011_10' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : 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' : negation(d['1']), 's_3_8' : d['1'], '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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : d['c_0101_7'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_10, c_1001_4, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 6499807191734058667/3577553289986109065905*c_1001_4^15 + 58605886235110347313/3577553289986109065905*c_1001_4^14 + 18201428628948728561/1100785627688033558740*c_1001_4^13 - 14909401763298489051/204431616570634803766*c_1001_4^12 - 861769504833870947879/14310213159944436263620*c_1001_4^11 + 795154945634206607811/7155106579972218131810*c_1001_4^10 + 540031658310853205751/3577553289986109065905*c_1001_4^9 - 63048657093740500911/3577553289986109065905*c_1001_4^8 - 127874274684755114856/511079041426587009415*c_1001_4^7 + 6089280637064487488/16188023936588728805*c_1001_4^6 + 1968210497954996163269/3577553289986109065905*c_1001_4^5 - 3542968605664492082642/3577553289986109065905*c_1001_4^4 - 1957932189357318249536/3577553289986109065905*c_1001_4^3 + 2099897102341174273674/3577553289986109065905*c_1001_4^2 - 360070563241684679682/3577553289986109065905*c_1001_4 + 982692175816560233952/3577553289986109065905, c_0011_0 - 1, c_0011_11 - 94052763626085/478580888327633*c_1001_4^15 + 6895566019784/36813914486741*c_1001_4^14 + 482405518481734/478580888327633*c_1001_4^13 - 3051765415456/5259130640963*c_1001_4^12 - 1078919423167150/478580888327633*c_1001_4^11 - 273062763134440/478580888327633*c_1001_4^10 + 98837026662044/36813914486741*c_1001_4^9 + 2004148345671608/478580888327633*c_1001_4^8 - 424987239812618/68368698332519*c_1001_4^7 - 10926795489832/28151816960449*c_1001_4^6 + 6092111112118172/478580888327633*c_1001_4^5 - 4782193770556680/478580888327633*c_1001_4^4 - 183626477612784/16502789252677*c_1001_4^3 + 866829961288696/478580888327633*c_1001_4^2 - 444428410575648/478580888327633*c_1001_4 + 4819544154169432/478580888327633, c_0011_2 - 6659932951494/478580888327633*c_1001_4^15 - 579166485648/36813914486741*c_1001_4^14 + 30886484341144/478580888327633*c_1001_4^13 + 553925302248/5259130640963*c_1001_4^12 - 38793471230000/478580888327633*c_1001_4^11 - 133779176375448/478580888327633*c_1001_4^10 - 6849162956256/36813914486741*c_1001_4^9 + 114968838448444/478580888327633*c_1001_4^8 + 16686574481848/68368698332519*c_1001_4^7 - 5391545386280/28151816960449*c_1001_4^6 + 228555035581143/478580888327633*c_1001_4^5 + 399877094122860/478580888327633*c_1001_4^4 - 10413594095318/16502789252677*c_1001_4^3 - 437083378246240/478580888327633*c_1001_4^2 - 595968668738201/478580888327633*c_1001_4 - 458224862839524/478580888327633, c_0011_3 + 1, c_0011_5 - 32728795244812/478580888327633*c_1001_4^15 + 1545511806411/36813914486741*c_1001_4^14 + 171344571090384/478580888327633*c_1001_4^13 - 343146627009/5259130640963*c_1001_4^12 - 380720122050144/478580888327633*c_1001_4^11 - 242003749726810/478580888327633*c_1001_4^10 + 27832191560664/36813914486741*c_1001_4^9 + 825894200912631/478580888327633*c_1001_4^8 - 105653848363104/68368698332519*c_1001_4^7 - 17859800518184/28151816960449*c_1001_4^6 + 1885690522621800/478580888327633*c_1001_4^5 - 814271529085544/478580888327633*c_1001_4^4 - 75864220720208/16502789252677*c_1001_4^3 - 582053821681226/478580888327633*c_1001_4^2 - 401882887917880/478580888327633*c_1001_4 + 1671351632985137/478580888327633, c_0101_0 + 48686826619804/478580888327633*c_1001_4^15 - 3785612934312/36813914486741*c_1001_4^14 - 251801499581057/478580888327633*c_1001_4^13 + 1745284535328/5259130640963*c_1001_4^12 + 575085311481844/478580888327633*c_1001_4^11 + 111220529506080/478580888327633*c_1001_4^10 - 55447500588649/36813914486741*c_1001_4^9 - 1041827931483112/478580888327633*c_1001_4^8 + 231996088863602/68368698332519*c_1001_4^7 + 6336372427072/28151816960449*c_1001_4^6 - 3240757573784772/478580888327633*c_1001_4^5 + 2582131369670648/478580888327633*c_1001_4^4 + 100355223978622/16502789252677*c_1001_4^3 - 875967306268832/478580888327633*c_1001_4^2 + 21137147892817/478580888327633*c_1001_4 - 2921274029970336/478580888327633, c_0101_1 - 80889480338364/478580888327633*c_1001_4^15 + 5934295891168/36813914486741*c_1001_4^14 + 402018291333968/478580888327633*c_1001_4^13 - 2382604852541/5259130640963*c_1001_4^12 - 881435264514656/478580888327633*c_1001_4^11 - 300175467991237/478580888327633*c_1001_4^10 + 78011677601024/36813914486741*c_1001_4^9 + 1733636563097225/478580888327633*c_1001_4^8 - 343610531662240/68368698332519*c_1001_4^7 + 937139281612/28151816960449*c_1001_4^6 + 4756483734369200/478580888327633*c_1001_4^5 - 3724573024465582/478580888327633*c_1001_4^4 - 139674392597456/16502789252677*c_1001_4^3 - 18949050136395/478580888327633*c_1001_4^2 - 596565761615000/478580888327633*c_1001_4 + 4495187576933769/478580888327633, c_0101_2 + 35946287471740/478580888327633*c_1001_4^15 - 2249800141112/36813914486741*c_1001_4^14 - 178497301544624/478580888327633*c_1001_4^13 + 829654165856/5259130640963*c_1001_4^12 + 372205999216305/478580888327633*c_1001_4^11 + 168859347094432/478580888327633*c_1001_4^10 - 28131016364452/36813914486741*c_1001_4^9 - 759151324476136/478580888327633*c_1001_4^8 + 135508482999290/68368698332519*c_1001_4^7 - 637249725152/28151816960449*c_1001_4^6 - 2094291199646414/478580888327633*c_1001_4^5 + 1468426015655576/478580888327633*c_1001_4^4 + 56498567369129/16502789252677*c_1001_4^3 + 501859303823464/478580888327633*c_1001_4^2 + 660602016828710/478580888327633*c_1001_4 - 1770315829654776/478580888327633, c_0101_7 + 32728795244812/478580888327633*c_1001_4^15 - 1545511806411/36813914486741*c_1001_4^14 - 171344571090384/478580888327633*c_1001_4^13 + 343146627009/5259130640963*c_1001_4^12 + 380720122050144/478580888327633*c_1001_4^11 + 242003749726810/478580888327633*c_1001_4^10 - 27832191560664/36813914486741*c_1001_4^9 - 825894200912631/478580888327633*c_1001_4^8 + 105653848363104/68368698332519*c_1001_4^7 + 17859800518184/28151816960449*c_1001_4^6 - 1885690522621800/478580888327633*c_1001_4^5 + 814271529085544/478580888327633*c_1001_4^4 + 75864220720208/16502789252677*c_1001_4^3 + 582053821681226/478580888327633*c_1001_4^2 + 401882887917880/478580888327633*c_1001_4 - 1671351632985137/478580888327633, c_1001_10 - 1697640844741/16502789252677*c_1001_4^15 + 140841464161/1269445327129*c_1001_4^14 + 8184680279348/16502789252677*c_1001_4^13 - 61860044365/181349332447*c_1001_4^12 - 17680773657640/16502789252677*c_1001_4^11 - 3792463300186/16502789252677*c_1001_4^10 + 1660114372232/1269445327129*c_1001_4^9 + 33031603963243/16502789252677*c_1001_4^8 - 7870551624044/2357541321811*c_1001_4^7 + 455319771352/970752308981*c_1001_4^6 + 99167513026980/16502789252677*c_1001_4^5 - 91813238806392/16502789252677*c_1001_4^4 - 75864220720208/16502789252677*c_1001_4^3 + 11796633671334/16502789252677*c_1001_4^2 - 20686770998276/16502789252677*c_1001_4 + 94052763626085/16502789252677, c_1001_4^16 - 2*c_1001_4^15 - 4*c_1001_4^14 + 8*c_1001_4^13 + 8*c_1001_4^12 - 8*c_1001_4^11 - 16*c_1001_4^10 - 8*c_1001_4^9 + 52*c_1001_4^8 - 32*c_1001_4^7 - 60*c_1001_4^6 + 112*c_1001_4^5 - 56*c_1001_4^3 + 12*c_1001_4^2 - 64*c_1001_4 + 58, c_1001_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB