Magma V2.19-8 Tue Aug 20 2013 23:38:18 on localhost [Seed = 2716321167] Type ? for help. Type -D to quit. Loading file "K12n79__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n79 geometric_solution 8.24751051 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 3201 0132 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 1 -1 0 0 0 0 0 -1 0 1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.221764663753 0.621069987457 0 3 5 4 0132 2310 0132 0132 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 2 0 -2 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.724562099710 0.505323514842 0 0 6 6 2310 0132 2310 0132 0 0 0 0 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 3 0 -3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.762011177194 1.143125529982 7 8 0 1 0132 0132 0132 3201 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 -1 1 0 0 0 0 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365779417498 1.184075302063 8 9 1 9 0321 0132 0132 1230 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 -3 2 1 1 0 -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.793742082429 0.425491200730 7 6 9 1 3120 1302 0321 0132 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 -3 3 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.600152616575 0.274537353311 8 2 2 5 2103 3201 0132 2031 0 0 0 0 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 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.574230343195 0.719331231657 3 8 9 5 0132 0321 1230 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 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.891315768630 0.507663727753 4 3 6 7 0321 0132 2103 0321 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 1 -1 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.170232723629 0.768018789938 4 4 5 7 3012 0132 0321 3012 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 3 -3 0 -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.922503003877 1.903039240477 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : d['c_0011_6'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(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' : d['c_0110_6'], 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_6'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0011_5']), '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' : 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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], '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_0101_5']), 'c_0101_8' : negation(d['c_0101_0']), 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 620462447657832510626222475699878/11465241556732168606202041849*c_0\ 110_6^15 - 449073830958160173432053853539349/1637891650961738372314\ 577407*c_0110_6^14 - 14345067101570987638080020634030981/2293048311\ 3464337212404083698*c_0110_6^13 - 208690636802026430610361095691290\ 65/22930483113464337212404083698*c_0110_6^12 - 16763301600567088507061932369961961/11465241556732168606202041849*c\ _0110_6^11 - 16666154122338556446138666134166979/229304831134643372\ 12404083698*c_0110_6^10 - 9198187650911254601479872367005453/229304\ 83113464337212404083698*c_0110_6^9 + 29670447747054834873266455577305261/22930483113464337212404083698*c\ _0110_6^8 + 9170875989229591760353429720631455/22930483113464337212\ 404083698*c_0110_6^7 + 12300086046237873895096422742259629/11465241\ 556732168606202041849*c_0110_6^6 - 3218104396530454652783267630980688/11465241556732168606202041849*c_\ 0110_6^5 + 6628077393049142307521247893422976/114652415567321686062\ 02041849*c_0110_6^4 - 3639309168300485328959334130398574/1146524155\ 6732168606202041849*c_0110_6^3 + 3545911544398320921248155025158495\ /22930483113464337212404083698*c_0110_6^2 - 93044238770170331859834655381386/1637891650961738372314577407*c_011\ 0_6 + 148034826353804196415194819784322/114652415567321686062020418\ 49, c_0011_0 - 1, c_0011_3 + c_0110_6, c_0011_5 + 187302650522264902746675/40530836924642755000237*c_0110_6^15 + 984309849986995863989190/40530836924642755000237*c_0110_6^14 + 2398524821119772704558265/40530836924642755000237*c_0110_6^13 + 3837578348046784575675400/40530836924642755000237*c_0110_6^12 + 6293405139237205117621793/40530836924642755000237*c_0110_6^11 + 4381843501616341974032220/40530836924642755000237*c_0110_6^10 + 3288164413837750873416122/40530836924642755000237*c_0110_6^9 - 3526618642091171755566783/40530836924642755000237*c_0110_6^8 - 2017796674663754326409524/40530836924642755000237*c_0110_6^7 - 5314872004544523472919824/40530836924642755000237*c_0110_6^6 - 261491014562994171748890/40530836924642755000237*c_0110_6^5 - 2631591737631871063097214/40530836924642755000237*c_0110_6^4 + 998152877583370997897772/40530836924642755000237*c_0110_6^3 - 728523095425706264572925/40530836924642755000237*c_0110_6^2 + 267827363151405266493222/40530836924642755000237*c_0110_6 - 71156734275978810520301/40530836924642755000237, c_0011_6 - 79282300880617599070308/40530836924642755000237*c_0110_6^15 - 396402844734918890191323/40530836924642755000237*c_0110_6^14 - 886131568599358601305925/40530836924642755000237*c_0110_6^13 - 1251451557036827751784643/40530836924642755000237*c_0110_6^12 - 1994279098168910315298322/40530836924642755000237*c_0110_6^11 - 811036919602243509955658/40530836924642755000237*c_0110_6^10 - 333721067601935762962216/40530836924642755000237*c_0110_6^9 + 2099200990167940968935465/40530836924642755000237*c_0110_6^8 + 599360950594633331558897/40530836924642755000237*c_0110_6^7 + 1463057344529933172327957/40530836924642755000237*c_0110_6^6 - 623201862152608059055843/40530836924642755000237*c_0110_6^5 + 665303330660433353464237/40530836924642755000237*c_0110_6^4 - 530233467679879222650273/40530836924642755000237*c_0110_6^3 + 188910361631297990727118/40530836924642755000237*c_0110_6^2 - 75013047636409758098833/40530836924642755000237*c_0110_6 - 6900667183112873472358/40530836924642755000237, c_0101_0 - 147035382390276909834804/40530836924642755000237*c_0110_6^15 - 845144351897921077866650/40530836924642755000237*c_0110_6^14 - 2154156813759590542805333/40530836924642755000237*c_0110_6^13 - 3331301782041445161225580/40530836924642755000237*c_0110_6^12 - 4897930386949619815281175/40530836924642755000237*c_0110_6^11 - 3491250847273307230943115/40530836924642755000237*c_0110_6^10 - 645974763899154696516739/40530836924642755000237*c_0110_6^9 + 4026036326301093582962405/40530836924642755000237*c_0110_6^8 + 3882727465309804222932693/40530836924642755000237*c_0110_6^7 + 2229916896977271225516358/40530836924642755000237*c_0110_6^6 - 71878072828995915055854/40530836924642755000237*c_0110_6^5 + 30874168583114275139645/40530836924642755000237*c_0110_6^4 + 243532922156099044368057/40530836924642755000237*c_0110_6^3 - 297521357930145102838520/40530836924642755000237*c_0110_6^2 + 142862881038926080919082/40530836924642755000237*c_0110_6 - 21701116718714702667485/40530836924642755000237, c_0101_1 - 235383064501719852988712/40530836924642755000237*c_0110_6^15 - 1101160396314878305414255/40530836924642755000237*c_0110_6^14 - 2240020851732101211250399/40530836924642755000237*c_0110_6^13 - 2818090572983398103550478/40530836924642755000237*c_0110_6^12 - 4652723248050668999813110/40530836924642755000237*c_0110_6^11 - 480384814189071115241183/40530836924642755000237*c_0110_6^10 - 166795257979676936713401/40530836924642755000237*c_0110_6^9 + 6333311704906886752444827/40530836924642755000237*c_0110_6^8 - 446319356477716833639749/40530836924642755000237*c_0110_6^7 + 3501017371383960829879918/40530836924642755000237*c_0110_6^6 - 3011401988514920437314658/40530836924642755000237*c_0110_6^5 + 2746669713768620626275967/40530836924642755000237*c_0110_6^4 - 2137109419000500944398866/40530836924642755000237*c_0110_6^3 + 1059502639873457844473529/40530836924642755000237*c_0110_6^2 - 340271641548711785329079/40530836924642755000237*c_0110_6 + 94925619813426753571106/40530836924642755000237, c_0101_2 - 37407912258117618377350/40530836924642755000237*c_0110_6^15 - 130422631432758974899009/40530836924642755000237*c_0110_6^14 - 128975003496255781511565/40530836924642755000237*c_0110_6^13 + 71034954648372962737548/40530836924642755000237*c_0110_6^12 + 11709893490810305492908/40530836924642755000237*c_0110_6^11 + 1116718491073943964512053/40530836924642755000237*c_0110_6^10 + 545456105128843909481326/40530836924642755000237*c_0110_6^9 + 1243804270885733071199825/40530836924642755000237*c_0110_6^8 - 1228166883912704336065476/40530836924642755000237*c_0110_6^7 + 91117078210835891767234/40530836924642755000237*c_0110_6^6 - 1370181537652334889466232/40530836924642755000237*c_0110_6^5 + 659855651266754484985592/40530836924642755000237*c_0110_6^4 - 655968422575388944904953/40530836924642755000237*c_0110_6^3 + 477071940772223166906159/40530836924642755000237*c_0110_6^2 - 111969091826940657079291/40530836924642755000237*c_0110_6 + 36487708484147219064331/40530836924642755000237, c_0101_5 - 331175887875805004554875/40530836924642755000237*c_0110_6^15 - 1688920794046285730508698/40530836924642755000237*c_0110_6^14 - 3856545320444991378275053/40530836924642755000237*c_0110_6^13 - 5542991885646716120681189/40530836924642755000237*c_0110_6^12 - 8747016099120166021047529/40530836924642755000237*c_0110_6^11 - 4140445989525218355056410/40530836924642755000237*c_0110_6^10 - 1668881932932193492900688/40530836924642755000237*c_0110_6^9 + 8503428547376358527656624/40530836924642755000237*c_0110_6^8 + 2994493170416687761328199/40530836924642755000237*c_0110_6^7 + 5991652107493470906865578/40530836924642755000237*c_0110_6^6 - 2050574433469811114132373/40530836924642755000237*c_0110_6^5 + 2857576869411402601666520/40530836924642755000237*c_0110_6^4 - 1873298325050533283110810/40530836924642755000237*c_0110_6^3 + 697182668193792069689874/40530836924642755000237*c_0110_6^2 - 276628284437090353755945/40530836924642755000237*c_0110_6 + 58833539137632716935912/40530836924642755000237, c_0101_7 - 264580212041613626650583/40530836924642755000237*c_0110_6^15 - 1387478296496655107067890/40530836924642755000237*c_0110_6^14 - 3243297440731105927443356/40530836924642755000237*c_0110_6^13 - 4687952787510552012004651/40530836924642755000237*c_0110_6^12 - 7160526505947921244743729/40530836924642755000237*c_0110_6^11 - 3605565406315220165215354/40530836924642755000237*c_0110_6^10 - 769530519411617151819074/40530836924642755000237*c_0110_6^9 + 7318139974380129566674596/40530836924642755000237*c_0110_6^8 + 3477846983176441292502924/40530836924642755000237*c_0110_6^7 + 4219122068503145920225861/40530836924642755000237*c_0110_6^6 - 1725372113678022456013186/40530836924642755000237*c_0110_6^5 + 1560679659232107550901229/40530836924642755000237*c_0110_6^4 - 1086295269540560107442957/40530836924642755000237*c_0110_6^3 + 284643586378804525414597/40530836924642755000237*c_0110_6^2 - 121453546865760524329729/40530836924642755000237*c_0110_6 + 35387799635830635360033/40530836924642755000237, c_0110_6^16 + 92/19*c_0110_6^15 + 198/19*c_0110_6^14 + 270/19*c_0110_6^13 + 441/19*c_0110_6^12 + 139/19*c_0110_6^11 + 82/19*c_0110_6^10 - 487/19*c_0110_6^9 - 39/19*c_0110_6^8 - 344/19*c_0110_6^7 + 184/19*c_0110_6^6 - 224/19*c_0110_6^5 + 157/19*c_0110_6^4 - 79/19*c_0110_6^3 + 32/19*c_0110_6^2 - 9/19*c_0110_6 + 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB