Magma V2.19-8 Tue Aug 20 2013 23:52:43 on localhost [Seed = 459108559] Type ? for help. Type -D to quit. Loading file "L13n339__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n339 geometric_solution 11.15439127 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 1 1 1 0 0 1 -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 1 0 -1 1 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600477848627 0.687630960517 0 4 6 5 0132 0132 0132 0132 1 1 1 1 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 1 -1 -1 0 1 0 0 -1 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887817555010 0.710282887387 7 0 0 5 0132 0132 0321 2031 0 1 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600477848627 0.687630960517 6 5 0 5 0132 2031 0132 2103 0 1 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 1 -1 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.631701230264 1.087242152241 8 1 7 9 0132 0132 1023 0132 1 1 1 1 0 0 0 0 1 0 0 -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 -3 0 0 3 0 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261381528395 0.573761163536 3 2 1 3 1302 1302 0132 2103 1 1 0 1 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 1 -1 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.600477848627 0.687630960517 3 7 9 1 0132 0321 1230 0132 1 1 1 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 4 -3 -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.515611690818 0.199805595862 2 8 4 6 0132 0132 1023 0321 1 1 1 1 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 4 0 -4 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.211355787755 1.352339500047 4 7 11 10 0132 0132 0132 0132 1 1 1 1 0 1 0 -1 -1 0 0 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 -4 0 4 3 0 0 -3 1 0 0 -1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275659245962 1.191400354635 10 10 4 6 1230 2031 0132 3012 1 1 1 1 0 0 0 0 0 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 -3 3 1 0 0 -1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275659245962 1.191400354635 9 9 8 11 1302 3012 0132 3201 1 1 1 1 0 -1 1 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 4 -4 0 0 0 3 -3 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.275659245962 1.191400354635 11 10 11 8 2031 2310 1302 0132 1 1 1 1 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161986589869 0.889316591705 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : negation(d['c_0110_10']), 'c_1010_11' : negation(d['c_0110_10']), 'c_1010_10' : negation(d['c_0101_8']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_11']), 'c_0101_10' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(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' : negation(d['c_1001_6']), 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0011_5'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0011_9']), '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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_8'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} 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_10, c_0011_11, c_0011_3, c_0011_5, c_0011_9, c_0101_1, c_0101_7, c_0101_8, c_0110_10, c_0110_5, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 6499807191734058667/3577553289986109065905*c_1001_6^15 + 58605886235110347313/3577553289986109065905*c_1001_6^14 - 18201428628948728561/1100785627688033558740*c_1001_6^13 - 14909401763298489051/204431616570634803766*c_1001_6^12 + 861769504833870947879/14310213159944436263620*c_1001_6^11 + 795154945634206607811/7155106579972218131810*c_1001_6^10 - 540031658310853205751/3577553289986109065905*c_1001_6^9 - 63048657093740500911/3577553289986109065905*c_1001_6^8 + 127874274684755114856/511079041426587009415*c_1001_6^7 + 6089280637064487488/16188023936588728805*c_1001_6^6 - 1968210497954996163269/3577553289986109065905*c_1001_6^5 - 3542968605664492082642/3577553289986109065905*c_1001_6^4 + 1957932189357318249536/3577553289986109065905*c_1001_6^3 + 2099897102341174273674/3577553289986109065905*c_1001_6^2 + 360070563241684679682/3577553289986109065905*c_1001_6 + 982692175816560233952/3577553289986109065905, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 6659932951494/478580888327633*c_1001_6^15 - 579166485648/36813914486741*c_1001_6^14 - 30886484341144/478580888327633*c_1001_6^13 + 553925302248/5259130640963*c_1001_6^12 + 38793471230000/478580888327633*c_1001_6^11 - 133779176375448/478580888327633*c_1001_6^10 + 6849162956256/36813914486741*c_1001_6^9 + 114968838448444/478580888327633*c_1001_6^8 - 16686574481848/68368698332519*c_1001_6^7 - 5391545386280/28151816960449*c_1001_6^6 - 228555035581143/478580888327633*c_1001_6^5 + 399877094122860/478580888327633*c_1001_6^4 + 10413594095318/16502789252677*c_1001_6^3 - 437083378246240/478580888327633*c_1001_6^2 + 595968668738201/478580888327633*c_1001_6 - 458224862839524/478580888327633, c_0011_3 - 94052763626085/478580888327633*c_1001_6^15 - 6895566019784/36813914486741*c_1001_6^14 + 482405518481734/478580888327633*c_1001_6^13 + 3051765415456/5259130640963*c_1001_6^12 - 1078919423167150/478580888327633*c_1001_6^11 + 273062763134440/478580888327633*c_1001_6^10 + 98837026662044/36813914486741*c_1001_6^9 - 2004148345671608/478580888327633*c_1001_6^8 - 424987239812618/68368698332519*c_1001_6^7 + 10926795489832/28151816960449*c_1001_6^6 + 6092111112118172/478580888327633*c_1001_6^5 + 4782193770556680/478580888327633*c_1001_6^4 - 183626477612784/16502789252677*c_1001_6^3 - 866829961288696/478580888327633*c_1001_6^2 - 444428410575648/478580888327633*c_1001_6 - 4819544154169432/478580888327633, c_0011_5 - 1, c_0011_9 + 80889480338364/478580888327633*c_1001_6^15 + 5934295891168/36813914486741*c_1001_6^14 - 402018291333968/478580888327633*c_1001_6^13 - 2382604852541/5259130640963*c_1001_6^12 + 881435264514656/478580888327633*c_1001_6^11 - 300175467991237/478580888327633*c_1001_6^10 - 78011677601024/36813914486741*c_1001_6^9 + 1733636563097225/478580888327633*c_1001_6^8 + 343610531662240/68368698332519*c_1001_6^7 + 937139281612/28151816960449*c_1001_6^6 - 4756483734369200/478580888327633*c_1001_6^5 - 3724573024465582/478580888327633*c_1001_6^4 + 139674392597456/16502789252677*c_1001_6^3 - 18949050136395/478580888327633*c_1001_6^2 + 596565761615000/478580888327633*c_1001_6 + 4495187576933769/478580888327633, c_0101_1 + 32728795244812/478580888327633*c_1001_6^15 + 1545511806411/36813914486741*c_1001_6^14 - 171344571090384/478580888327633*c_1001_6^13 - 343146627009/5259130640963*c_1001_6^12 + 380720122050144/478580888327633*c_1001_6^11 - 242003749726810/478580888327633*c_1001_6^10 - 27832191560664/36813914486741*c_1001_6^9 + 825894200912631/478580888327633*c_1001_6^8 + 105653848363104/68368698332519*c_1001_6^7 - 17859800518184/28151816960449*c_1001_6^6 - 1885690522621800/478580888327633*c_1001_6^5 - 814271529085544/478580888327633*c_1001_6^4 + 75864220720208/16502789252677*c_1001_6^3 - 582053821681226/478580888327633*c_1001_6^2 + 401882887917880/478580888327633*c_1001_6 + 1671351632985137/478580888327633, c_0101_7 - 32728795244812/478580888327633*c_1001_6^15 - 1545511806411/36813914486741*c_1001_6^14 + 171344571090384/478580888327633*c_1001_6^13 + 343146627009/5259130640963*c_1001_6^12 - 380720122050144/478580888327633*c_1001_6^11 + 242003749726810/478580888327633*c_1001_6^10 + 27832191560664/36813914486741*c_1001_6^9 - 825894200912631/478580888327633*c_1001_6^8 - 105653848363104/68368698332519*c_1001_6^7 + 17859800518184/28151816960449*c_1001_6^6 + 1885690522621800/478580888327633*c_1001_6^5 + 814271529085544/478580888327633*c_1001_6^4 - 75864220720208/16502789252677*c_1001_6^3 + 582053821681226/478580888327633*c_1001_6^2 - 401882887917880/478580888327633*c_1001_6 - 1671351632985137/478580888327633, c_0101_8 + 35946287471740/478580888327633*c_1001_6^15 + 2249800141112/36813914486741*c_1001_6^14 - 178497301544624/478580888327633*c_1001_6^13 - 829654165856/5259130640963*c_1001_6^12 + 372205999216305/478580888327633*c_1001_6^11 - 168859347094432/478580888327633*c_1001_6^10 - 28131016364452/36813914486741*c_1001_6^9 + 759151324476136/478580888327633*c_1001_6^8 + 135508482999290/68368698332519*c_1001_6^7 + 637249725152/28151816960449*c_1001_6^6 - 2094291199646414/478580888327633*c_1001_6^5 - 1468426015655576/478580888327633*c_1001_6^4 + 56498567369129/16502789252677*c_1001_6^3 - 501859303823464/478580888327633*c_1001_6^2 + 660602016828710/478580888327633*c_1001_6 + 1770315829654776/478580888327633, c_0110_10 + 48686826619804/478580888327633*c_1001_6^15 + 3785612934312/36813914486741*c_1001_6^14 - 251801499581057/478580888327633*c_1001_6^13 - 1745284535328/5259130640963*c_1001_6^12 + 575085311481844/478580888327633*c_1001_6^11 - 111220529506080/478580888327633*c_1001_6^10 - 55447500588649/36813914486741*c_1001_6^9 + 1041827931483112/478580888327633*c_1001_6^8 + 231996088863602/68368698332519*c_1001_6^7 - 6336372427072/28151816960449*c_1001_6^6 - 3240757573784772/478580888327633*c_1001_6^5 - 2582131369670648/478580888327633*c_1001_6^4 + 100355223978622/16502789252677*c_1001_6^3 + 875967306268832/478580888327633*c_1001_6^2 + 21137147892817/478580888327633*c_1001_6 + 2921274029970336/478580888327633, c_0110_5 - 1697640844741/16502789252677*c_1001_6^15 - 140841464161/1269445327129*c_1001_6^14 + 8184680279348/16502789252677*c_1001_6^13 + 61860044365/181349332447*c_1001_6^12 - 17680773657640/16502789252677*c_1001_6^11 + 3792463300186/16502789252677*c_1001_6^10 + 1660114372232/1269445327129*c_1001_6^9 - 33031603963243/16502789252677*c_1001_6^8 - 7870551624044/2357541321811*c_1001_6^7 - 455319771352/970752308981*c_1001_6^6 + 99167513026980/16502789252677*c_1001_6^5 + 91813238806392/16502789252677*c_1001_6^4 - 75864220720208/16502789252677*c_1001_6^3 - 11796633671334/16502789252677*c_1001_6^2 - 20686770998276/16502789252677*c_1001_6 - 94052763626085/16502789252677, c_1001_6^16 + 2*c_1001_6^15 - 4*c_1001_6^14 - 8*c_1001_6^13 + 8*c_1001_6^12 + 8*c_1001_6^11 - 16*c_1001_6^10 + 8*c_1001_6^9 + 52*c_1001_6^8 + 32*c_1001_6^7 - 60*c_1001_6^6 - 112*c_1001_6^5 + 56*c_1001_6^3 + 12*c_1001_6^2 + 64*c_1001_6 + 58 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB