Magma V2.19-8 Tue Aug 20 2013 23:46:25 on localhost [Seed = 1325999454] Type ? for help. Type -D to quit. Loading file "K14n18009__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18009 geometric_solution 10.56673183 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 1 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.578967118149 0.645669772231 0 3 3 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.495811473716 0.596888027312 4 0 0 5 0132 0132 1023 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 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.181058760819 0.641265556612 6 1 1 7 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386711397172 0.642712394007 2 8 9 10 0132 0132 0132 0132 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 0 4 -4 1 0 -1 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556934576562 0.496733974531 11 11 2 7 0132 1230 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076830689967 0.852995816868 3 8 8 11 0132 1023 1230 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329128103409 0.931418221967 9 10 3 5 1230 2103 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 -5 4 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.117664217534 0.842144939311 6 4 9 6 1023 0132 3120 3012 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 5 -5 -1 0 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329128103409 0.931418221967 10 7 8 4 3120 3012 3120 0132 0 0 0 0 0 -1 0 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 4 0 -4 0 0 -1 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630492964605 0.437813423400 11 7 4 9 3120 2103 0132 3120 0 0 0 0 0 1 -1 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 -4 4 0 0 0 0 0 1 -1 0 0 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592677285037 0.805586118822 5 6 5 10 0132 2310 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895255371160 1.162904176410 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_7'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_0_11' : 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' : d['1'], 's_2_5' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : negation(d['c_0101_6']), 'c_1100_8' : negation(d['c_0101_8']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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_0101_4'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_8']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : 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_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_6, c_0101_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2603504867570221667224/24143487930831347*c_1100_0^11 + 14436557627045255262110/1857191379294719*c_1100_0^10 + 3939544164238365180686952/24143487930831347*c_1100_0^9 - 41090080097517894900029461/24143487930831347*c_1100_0^8 + 155092311247237338802519124/24143487930831347*c_1100_0^7 - 273266726817356327700245321/24143487930831347*c_1100_0^6 + 265219184764696498832674926/24143487930831347*c_1100_0^5 - 11362057674495544351773330/1857191379294719*c_1100_0^4 + 3630229119990009482918980/1857191379294719*c_1100_0^3 - 8063970011082904319421977/24143487930831347*c_1100_0^2 + 699744833999953021218178/24143487930831347*c_1100_0 - 22722284493575259615796/24143487930831347, c_0011_0 - 1, c_0011_10 + 1024128732039343/24143487930831347*c_1100_0^11 + 5705074667366364/1857191379294719*c_1100_0^10 + 1574370384054049873/24143487930831347*c_1100_0^9 - 15639631901713771974/24143487930831347*c_1100_0^8 + 55790035063622089947/24143487930831347*c_1100_0^7 - 88830869397697369452/24143487930831347*c_1100_0^6 + 74513011512407542279/24143487930831347*c_1100_0^5 - 2549348430641081022/1857191379294719*c_1100_0^4 + 595827191885239212/1857191379294719*c_1100_0^3 - 997569771688896228/24143487930831347*c_1100_0^2 + 189021816407581901/24143487930831347*c_1100_0 - 1941115699413732/24143487930831347, c_0011_11 + 8634607095583701/24143487930831347*c_1100_0^11 + 3692116673180807/142860875330363*c_1100_0^10 + 13176603524115705273/24143487930831347*c_1100_0^9 - 133936643390109078481/24143487930831347*c_1100_0^8 + 490421548084113826602/24143487930831347*c_1100_0^7 - 817883773495381941721/24143487930831347*c_1100_0^6 + 729825222439620240015/24143487930831347*c_1100_0^5 - 27130988311594457688/1857191379294719*c_1100_0^4 + 514285805917751676/142860875330363*c_1100_0^3 - 7734401989504479691/24143487930831347*c_1100_0^2 - 20835725173058904/24143487930831347*c_1100_0 + 30610045802126436/24143487930831347, c_0011_7 + 10173410690871044/24143487930831347*c_1100_0^11 + 56471842351887168/1857191379294719*c_1100_0^10 + 15450304915746541211/24143487930831347*c_1100_0^9 - 159374151209631726768/24143487930831347*c_1100_0^8 + 594029452776219582169/24143487930831347*c_1100_0^7 - 1024158606079944175268/24143487930831347*c_1100_0^6 + 964448618879975531251/24143487930831347*c_1100_0^5 - 3041543221849395046/142860875330363*c_1100_0^4 + 11891281935568720614/1857191379294719*c_1100_0^3 - 24378217631695437084/24143487930831347*c_1100_0^2 + 2130916306491562277/24143487930831347*c_1100_0 - 79959909026086688/24143487930831347, c_0011_9 + 3776089556250111/24143487930831347*c_1100_0^11 + 20984479062889392/1857191379294719*c_1100_0^10 + 5756893262681367759/24143487930831347*c_1100_0^9 - 58691684225398575743/24143487930831347*c_1100_0^8 + 215575888895727412857/24143487930831347*c_1100_0^7 - 361329863496071137595/24143487930831347*c_1100_0^6 + 324174112738552657251/24143487930831347*c_1100_0^5 - 932409716130713471/142860875330363*c_1100_0^4 + 2996994177060993432/1857191379294719*c_1100_0^3 - 3490843699845918869/24143487930831347*c_1100_0^2 - 5402225599490091/24143487930831347*c_1100_0 + 13496498467751928/24143487930831347, c_0101_0 - 14167873190758525/24143487930831347*c_1100_0^11 - 6043554575453180/142860875330363*c_1100_0^10 - 21442707101437275728/24143487930831347*c_1100_0^9 + 223519161215890899318/24143487930831347*c_1100_0^8 - 842915137433555535207/24143487930831347*c_1100_0^7 + 1482265533931426348125/24143487930831347*c_1100_0^6 - 1432440639475315928294/24143487930831347*c_1100_0^5 + 60765477293741735058/1857191379294719*c_1100_0^4 - 18972038747511192181/1857191379294719*c_1100_0^3 + 39810993813301538492/24143487930831347*c_1100_0^2 - 3068905671492272568/24143487930831347*c_1100_0 + 92550992272800417/24143487930831347, c_0101_1 - 7101024494753015/24143487930831347*c_1100_0^11 - 39356618349788076/1857191379294719*c_1100_0^10 - 10727193763584391592/24143487930831347*c_1100_0^9 + 112455255504490410846/24143487930831347*c_1100_0^8 - 426659347585353312328/24143487930831347*c_1100_0^7 + 757665997886852066912/24143487930831347*c_1100_0^6 - 740909584342752904414/24143487930831347*c_1100_0^5 + 31892016592118892532/1857191379294719*c_1100_0^4 - 104162890308381474/19146302879327*c_1100_0^3 + 21385508316628748400/24143487930831347*c_1100_0^2 - 1587994345199647921/24143487930831347*c_1100_0 + 49993073997014145/24143487930831347, c_0101_10 - 18826139173992526/24143487930831347*c_1100_0^11 - 104427438870603483/1857191379294719*c_1100_0^10 - 28520506388659067043/24143487930831347*c_1100_0^9 + 296425099566805185451/24143487930831347*c_1100_0^8 - 1114176243764895502610/24143487930831347*c_1100_0^7 + 1948449527564155300176/24143487930831347*c_1100_0^6 - 1869416018655284181994/24143487930831347*c_1100_0^5 + 78585475320753404661/1857191379294719*c_1100_0^4 - 24309714780897991570/1857191379294719*c_1100_0^3 + 50728830727224215468/24143487930831347*c_1100_0^2 - 3967247990404228944/24143487930831347*c_1100_0 + 117505629652223191/24143487930831347, c_0101_4 - 19536983944915797/24143487930831347*c_1100_0^11 - 108386134222059231/1857191379294719*c_1100_0^10 - 29612142375658506668/24143487930831347*c_1100_0^9 + 307305481008437619073/24143487930831347*c_1100_0^8 - 1153104305157298608594/24143487930831347*c_1100_0^7 + 2010685216806713611104/24143487930831347*c_1100_0^6 - 1921696144668407639865/24143487930831347*c_1100_0^5 + 80375568097935579873/1857191379294719*c_1100_0^4 - 24728267381170921366/1857191379294719*c_1100_0^3 + 51429789977368805936/24143487930831347*c_1100_0^2 - 4068672091587915869/24143487930831347*c_1100_0 + 118870053916387951/24143487930831347, c_0101_6 + 9149281958831701/24143487930831347*c_1100_0^11 + 50766767684520804/1857191379294719*c_1100_0^10 + 13875934531692491338/24143487930831347*c_1100_0^9 - 143734519307917954794/24143487930831347*c_1100_0^8 + 538239417712597492222/24143487930831347*c_1100_0^7 - 935327736682246805816/24143487930831347*c_1100_0^6 + 889935607367567988972/24143487930831347*c_1100_0^5 - 36990713453401054576/1857191379294719*c_1100_0^4 + 11295454743683481402/1857191379294719*c_1100_0^3 - 23380647860006540856/24143487930831347*c_1100_0^2 + 1941894490083980376/24143487930831347*c_1100_0 - 53875305395841609/24143487930831347, c_0101_8 - 10191532078408825/24143487930831347*c_1100_0^11 - 56429922119252992/1857191379294719*c_1100_0^10 - 15343902864543361770/24143487930831347*c_1100_0^9 + 162488456176696106970/24143487930831347*c_1100_0^8 - 623754695680781676008/24143487930831347*c_1100_0^7 + 1130565754068773358455/24143487930831347*c_1100_0^6 - 1139590796215663941979/24143487930831347*c_1100_0^5 + 3958037462242995921/142860875330363*c_1100_0^4 - 17623999303967219782/1857191379294719*c_1100_0^3 + 42994428737719735777/24143487930831347*c_1100_0^2 - 3988083715577287848/24143487930831347*c_1100_0 + 148115675454349627/24143487930831347, c_1100_0^12 + 72*c_1100_0^11 + 1507*c_1100_0^10 - 15912*c_1100_0^9 + 60925*c_1100_0^8 - 110094*c_1100_0^7 + 110978*c_1100_0^6 - 65664*c_1100_0^5 + 23179*c_1100_0^4 - 4752*c_1100_0^3 + 564*c_1100_0^2 - 36*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.580 Total time: 1.790 seconds, Total memory usage: 32.09MB