Magma V2.19-8 Tue Aug 20 2013 23:42:48 on localhost [Seed = 2260788174] Type ? for help. Type -D to quit. Loading file "L13n5896__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5896 geometric_solution 10.49294808 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.506782541984 0.798940693486 0 5 6 6 0132 0132 0213 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307825126330 0.589845930242 2 0 3 2 3012 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.336980238195 1.307010557625 7 2 5 0 0132 1230 2103 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971574647786 0.543980838797 8 9 0 9 0132 0132 0132 1230 0 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 0 0 0 0 0 0 0 0 0 2 1 -3 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509949596343 0.865454588203 3 1 8 8 2103 0132 3120 3201 1 0 0 0 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 1 -3 2 -2 0 3 -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.713833162520 1.070610390076 7 1 1 9 2103 0213 0132 3012 1 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 0 -1 1 2 0 0 -2 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836946257544 0.713214770750 3 10 6 10 0132 0132 2103 3012 0 0 0 0 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 -3 3 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893130274072 0.967518454822 4 5 5 10 0132 2310 3120 1023 0 0 0 1 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 0 0 0 0 0 -3 3 -1 1 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233016275616 0.871762947546 4 4 6 10 3012 0132 1230 3120 0 0 0 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 -2 2 0 3 0 -3 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.495420242678 0.874938004162 9 7 7 8 3120 0132 1230 1023 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 0 0 0 0 0 0 0 0.250837602658 0.869464704549 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : negation(d['c_1001_1']), 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0110_10'], 'c_1100_3' : d['c_0110_10'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1100_10' : d['c_0101_3'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_10'], 'c_1100_8' : negation(d['c_0101_3']), '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_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' : 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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_4']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_10'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0110_10']), 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_9, c_0110_10, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 8720490312216836822218/228164322052795275*c_0110_10^11 + 847223672418456419759828/2509807542580748025*c_0110_10^10 + 440725671239204505928624/278867504731194225*c_0110_10^9 + 1264916138065814292668/374318798296905*c_0110_10^8 + 9266752088289877511244874/2509807542580748025*c_0110_10^7 - 4688822044290808963217/14341757386175703*c_0110_10^6 + 1756585107011273335910642/836602514193582675*c_0110_10^5 - 2596160526427665587738332/501961508516149605*c_0110_10^4 + 14241336753745287461808623/2509807542580748025*c_0110_10^3 - 1210004817413652333567034/2509807542580748025*c_0110_10^2 - 1256311613095721198516498/836602514193582675*c_0110_10 + 1265423393374812415982201/2509807542580748025, c_0011_0 - 1, c_0011_10 + 4983387413131/18895596029217*c_0110_10^11 + 41712737906803/18895596029217*c_0110_10^10 + 20527183394324/2099510669913*c_0110_10^9 + 250749343598/14090675637*c_0110_10^8 + 233136151779956/18895596029217*c_0110_10^7 - 370122132168955/18895596029217*c_0110_10^6 + 53310712400143/6298532009739*c_0110_10^5 - 832887161952403/18895596029217*c_0110_10^4 + 997400592413395/18895596029217*c_0110_10^3 - 285923959743143/18895596029217*c_0110_10^2 - 84950043345733/6298532009739*c_0110_10 + 123612969554050/18895596029217, c_0011_4 - 1162067730334/6298532009739*c_0110_10^11 - 9904311402247/6298532009739*c_0110_10^10 - 4966826169205/699836889971*c_0110_10^9 - 64296575987/4696891879*c_0110_10^8 - 72198470556350/6298532009739*c_0110_10^7 + 65185203166972/6298532009739*c_0110_10^6 - 12472082977006/2099510669913*c_0110_10^5 + 193747153416643/6298532009739*c_0110_10^4 - 201433692176221/6298532009739*c_0110_10^3 + 52344971319587/6298532009739*c_0110_10^2 + 19328382734506/2099510669913*c_0110_10 - 23148409706920/6298532009739, c_0011_6 + 648988858658/6298532009739*c_0110_10^11 + 5245972274384/6298532009739*c_0110_10^10 + 2487388323211/699836889971*c_0110_10^9 + 26744238569/4696891879*c_0110_10^8 + 12921855730669/6298532009739*c_0110_10^7 - 67788197054219/6298532009739*c_0110_10^6 + 7284388935668/2099510669913*c_0110_10^5 - 114615133536635/6298532009739*c_0110_10^4 + 157806318799805/6298532009739*c_0110_10^3 - 54167883342790/6298532009739*c_0110_10^2 - 12151061941118/2099510669913*c_0110_10 + 24170934425111/6298532009739, c_0101_0 + 4122382044637/18895596029217*c_0110_10^11 + 34828347369163/18895596029217*c_0110_10^10 + 17297536187696/2099510669913*c_0110_10^9 + 217268577533/14090675637*c_0110_10^8 + 219756884028530/18895596029217*c_0110_10^7 - 284076419523526/18895596029217*c_0110_10^6 + 34735062262552/6298532009739*c_0110_10^5 - 709583390626711/18895596029217*c_0110_10^4 + 764155978253836/18895596029217*c_0110_10^3 - 193896140348990/18895596029217*c_0110_10^2 - 68991687775993/6298532009739*c_0110_10 + 83143904404855/18895596029217, c_0101_10 - 4493691709787/18895596029217*c_0110_10^11 - 38337913238291/18895596029217*c_0110_10^10 - 19228921700200/2099510669913*c_0110_10^9 - 248863548469/14090675637*c_0110_10^8 - 276579009356392/18895596029217*c_0110_10^7 + 261065126932904/18895596029217*c_0110_10^6 - 44910880676906/6298532009739*c_0110_10^5 + 732917003936570/18895596029217*c_0110_10^4 - 781736072391194/18895596029217*c_0110_10^3 + 187229682372604/18895596029217*c_0110_10^2 + 81304956681794/6298532009739*c_0110_10 - 72909663746507/18895596029217, c_0101_2 - 2266407352483/18895596029217*c_0110_10^11 - 19811118280501/18895596029217*c_0110_10^10 - 10157687164580/2099510669913*c_0110_10^9 - 139718065817/14090675637*c_0110_10^8 - 178140104025416/18895596029217*c_0110_10^7 + 96242115858460/18895596029217*c_0110_10^6 - 13535889096307/6298532009739*c_0110_10^5 + 375694703966998/18895596029217*c_0110_10^4 - 293965632302989/18895596029217*c_0110_10^3 + 26010840094322/18895596029217*c_0110_10^2 + 43401448515106/6298532009739*c_0110_10 - 30332111645530/18895596029217, c_0101_3 - 1162067730334/6298532009739*c_0110_10^11 - 9904311402247/6298532009739*c_0110_10^10 - 4966826169205/699836889971*c_0110_10^9 - 64296575987/4696891879*c_0110_10^8 - 72198470556350/6298532009739*c_0110_10^7 + 65185203166972/6298532009739*c_0110_10^6 - 12472082977006/2099510669913*c_0110_10^5 + 193747153416643/6298532009739*c_0110_10^4 - 201433692176221/6298532009739*c_0110_10^3 + 52344971319587/6298532009739*c_0110_10^2 + 21427893404419/2099510669913*c_0110_10 - 23148409706920/6298532009739, c_0101_9 - 2175415468663/18895596029217*c_0110_10^11 - 19090430546011/18895596029217*c_0110_10^10 - 9835371218063/2099510669913*c_0110_10^9 - 137035861826/14090675637*c_0110_10^8 - 180991316836523/18895596029217*c_0110_10^7 + 80711828360869/18895596029217*c_0110_10^6 - 12881895455548/6298532009739*c_0110_10^5 + 365737990016806/18895596029217*c_0110_10^4 - 290737021854421/18895596029217*c_0110_10^3 + 31392490320620/18895596029217*c_0110_10^2 + 32538501952639/6298532009739*c_0110_10 - 10631101129522/18895596029217, c_0110_10^12 + 8*c_0110_10^11 + 34*c_0110_10^10 + 54*c_0110_10^9 + 23*c_0110_10^8 - 89*c_0110_10^7 + 62*c_0110_10^6 - 181*c_0110_10^5 + 261*c_0110_10^4 - 136*c_0110_10^3 - 29*c_0110_10^2 + 46*c_0110_10 - 11, c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB