Magma V2.19-8 Tue Aug 20 2013 23:41:31 on localhost [Seed = 189624248] Type ? for help. Type -D to quit. Loading file "K12n624__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n624 geometric_solution 10.55147238 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1302 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 -1 11 -10 0 0 -1 1 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.279249863863 0.624312557854 0 4 6 5 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 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.242676228949 1.555161060090 7 0 0 6 0132 0132 2031 1230 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 1 -1 0 -10 0 10 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.402989075250 1.334723721406 8 6 5 0 0132 2103 2103 0132 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 11 -11 -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.597010924750 1.334723721406 7 1 9 6 1023 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229677298921 0.222113053824 3 9 1 7 2103 0132 0132 0213 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 -11 11 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381977356056 0.489231067579 2 3 4 1 3012 2103 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665668553827 0.718498011880 2 4 10 5 0132 1023 0132 0213 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208110978407 2.074928469799 3 9 11 11 0132 3201 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 -11 11 0 1 0 0 -1 0 0 0 0 1 10 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446702099142 1.216632962761 10 5 8 4 0321 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 10 0 -10 0 1 -1 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886694793905 1.838654877195 9 11 11 7 0321 0213 2310 0132 0 0 0 0 0 1 -1 0 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 -11 11 0 0 0 -10 10 -1 1 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309739274773 0.681077970775 8 10 10 8 3120 3201 0213 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 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 11 -11 1 0 -1 0 0 -11 0 11 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309739274773 0.681077970775 ==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' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], '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_1100_9' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_11']), '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_5']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_5'], '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_0'], 'c_0110_10' : d['c_0011_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_0'], '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_10']), 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(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_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0110_4, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 142068329016287088807635188936232/161291381659777383554181168526671\ *c_1001_4^11 + 129691067093125650073588403842127/537637938865924611\ 84727056175557*c_1001_4^10 - 169182234818646755195579846123688/5973\ 754876288051242747450686173*c_1001_4^9 + 10188160268534694561611478433331306/1612913816597773835541811685266\ 71*c_1001_4^8 - 94283010863320671545475345697248856/161291381659777\ 383554181168526671*c_1001_4^7 - 15061171160693515795106459301365259\ 8/53763793886592461184727056175557*c_1001_4^6 - 868637421757079381640951999124425110/161291381659777383554181168526\ 671*c_1001_4^5 + 303479231813168245467424474728391036/1792126462886\ 4153728242352058519*c_1001_4^4 - 2967822064159627052487999613719019\ 1/53763793886592461184727056175557*c_1001_4^3 - 20511297668616891707321131366367119/1792126462886415372824235205851\ 9*c_1001_4^2 + 26176432404388601454976925266661350/1612913816597773\ 83554181168526671*c_1001_4 + 49021656409687145031285917615300275/23\ 041625951396769079168738360953, c_0011_0 - 1, c_0011_10 - 31470969683663777478315737/50199620809143287754180257867*c_\ 1001_4^11 + 9134872694348772584648599/50199620809143287754180257867\ *c_1001_4^10 - 912112415808301890743464959/501996208091432877541802\ 57867*c_1001_4^9 - 87580185184244396470949709/501996208091432877541\ 80257867*c_1001_4^8 - 18723825388335767524109465410/501996208091432\ 87754180257867*c_1001_4^7 - 148444448312718385573865139837/50199620\ 809143287754180257867*c_1001_4^6 - 506821661608207131623389495280/50199620809143287754180257867*c_1001\ _4^5 - 326876280390272510921889544724/50199620809143287754180257867\ *c_1001_4^4 + 74109284463048308155696628119/50199620809143287754180\ 257867*c_1001_4^3 - 56074337156537341623016802138/50199620809143287\ 754180257867*c_1001_4^2 - 29160837870515982403460288243/50199620809\ 143287754180257867*c_1001_4 - 2589406491459763797215122285/71713744\ 01306183964882893981, c_0011_11 + 75990468050794220386497847/50199620809143287754180257867*c_\ 1001_4^11 - 92259569859097833120490969/5019962080914328775418025786\ 7*c_1001_4^10 + 2314202684317255127317593821/5019962080914328775418\ 0257867*c_1001_4^9 - 1951376681976155616091840334/50199620809143287\ 754180257867*c_1001_4^8 + 47817120036516654602554289005/50199620809\ 143287754180257867*c_1001_4^7 + 313814814930864047853504732984/5019\ 9620809143287754180257867*c_1001_4^6 + 950455809530523494964859770132/50199620809143287754180257867*c_1001\ _4^5 + 25956503412347105360932129955/50199620809143287754180257867*\ c_1001_4^4 + 160315112299182361043917649532/50199620809143287754180\ 257867*c_1001_4^3 + 105757561374203559172493303510/5019962080914328\ 7754180257867*c_1001_4^2 + 104859176104135660280820716447/501996208\ 09143287754180257867*c_1001_4 + 2844061034040257129061569357/717137\ 4401306183964882893981, c_0011_3 - 38716467115492725305689638/50199620809143287754180257867*c_1\ 001_4^11 + 30357981432115598553665614/50199620809143287754180257867\ *c_1001_4^10 - 1148431558082257917310368875/50199620809143287754180\ 257867*c_1001_4^9 + 478303444353530348844415090/5019962080914328775\ 4180257867*c_1001_4^8 - 23628043224099699700947939705/5019962080914\ 3287754180257867*c_1001_4^7 - 170511724048787337139356643159/501996\ 20809143287754180257867*c_1001_4^6 - 546701808577176013327745209502/50199620809143287754180257867*c_1001\ _4^5 - 175960579225626963797499663644/50199620809143287754180257867\ *c_1001_4^4 + 54968507527465732156029573061/50199620809143287754180\ 257867*c_1001_4^3 - 68510833562033698115665931323/50199620809143287\ 754180257867*c_1001_4^2 - 93462342244514336305449831964/50199620809\ 143287754180257867*c_1001_4 - 2170451609222878650480054793/71713744\ 01306183964882893981, c_0011_5 + 12276089685188483041349071/50199620809143287754180257867*c_1\ 001_4^11 - 12937459948236899219972822/50199620809143287754180257867\ *c_1001_4^10 + 371778557488716804618831872/501996208091432877541802\ 57867*c_1001_4^9 - 257629957916325023668217570/50199620809143287754\ 180257867*c_1001_4^8 + 7687037017367974606438882352/501996208091432\ 87754180257867*c_1001_4^7 + 51867421384932688351138930101/501996208\ 09143287754180257867*c_1001_4^6 + 161926961454575811319247715259/50\ 199620809143287754180257867*c_1001_4^5 + 28912967027670261461993268741/50199620809143287754180257867*c_1001_\ 4^4 + 22970636239561018250359242269/50199620809143287754180257867*c\ _1001_4^3 + 7232879759086569185340993297/50199620809143287754180257\ 867*c_1001_4^2 + 22732412623041033542193948162/50199620809143287754\ 180257867*c_1001_4 + 3885175234179175490613314965/71713744013061839\ 64882893981, c_0101_0 - 12276089685188483041349071/50199620809143287754180257867*c_1\ 001_4^11 + 12937459948236899219972822/50199620809143287754180257867\ *c_1001_4^10 - 371778557488716804618831872/501996208091432877541802\ 57867*c_1001_4^9 + 257629957916325023668217570/50199620809143287754\ 180257867*c_1001_4^8 - 7687037017367974606438882352/501996208091432\ 87754180257867*c_1001_4^7 - 51867421384932688351138930101/501996208\ 09143287754180257867*c_1001_4^6 - 161926961454575811319247715259/50\ 199620809143287754180257867*c_1001_4^5 - 28912967027670261461993268741/50199620809143287754180257867*c_1001_\ 4^4 - 22970636239561018250359242269/50199620809143287754180257867*c\ _1001_4^3 - 7232879759086569185340993297/50199620809143287754180257\ 867*c_1001_4^2 - 22732412623041033542193948162/50199620809143287754\ 180257867*c_1001_4 - 3885175234179175490613314965/71713744013061839\ 64882893981, c_0101_1 + 372496082328250895196291874/50199620809143287754180257867*c_\ 1001_4^11 - 444622869475851542056936301/501996208091432877541802578\ 67*c_1001_4^10 + 11254916124690004866755398299/50199620809143287754\ 180257867*c_1001_4^9 - 9265948154335615553896255173/501996208091432\ 87754180257867*c_1001_4^8 + 231833691230835165394110111382/50199620\ 809143287754180257867*c_1001_4^7 + 1544200131615970103210498649199/50199620809143287754180257867*c_100\ 1_4^6 + 4641794371121592672749148303744/501996208091432877541802578\ 67*c_1001_4^5 - 125568998402470816656113813671/50199620809143287754\ 180257867*c_1001_4^4 - 315646615718914660072969881867/5019962080914\ 3287754180257867*c_1001_4^3 + 292417758933015851815911441577/501996\ 20809143287754180257867*c_1001_4^2 + 636394830697720680283096434445/50199620809143287754180257867*c_1001\ _4 - 645907193440274060268488893/7171374401306183964882893981, c_0101_10 - 58892974968668735897521306/50199620809143287754180257867*c_\ 1001_4^11 + 78046326557551564717611628/5019962080914328775418025786\ 7*c_1001_4^10 - 1800098884550505535790256919/5019962080914328775418\ 0257867*c_1001_4^9 + 1702455716753649581433015123/50199620809143287\ 754180257867*c_1001_4^8 - 37174633670440636853841190295/50199620809\ 143287754180257867*c_1001_4^7 - 239360415429698924008875920380/5019\ 9620809143287754180257867*c_1001_4^6 - 708449351167914095098178622688/50199620809143287754180257867*c_1001\ _4^5 + 62380851387549109053501659562/50199620809143287754180257867*\ c_1001_4^4 - 134598104735217629907714657332/50199620809143287754180\ 257867*c_1001_4^3 - 161111918222572714850189389078/5019962080914328\ 7754180257867*c_1001_4^2 - 62039824869874405810249921859/5019962080\ 9143287754180257867*c_1001_4 - 785561352250340988625317741/71713744\ 01306183964882893981, c_0101_2 + 210844251257675011640776562/50199620809143287754180257867*c_\ 1001_4^11 - 259322658430024337577025270/501996208091432877541802578\ 67*c_1001_4^10 + 6380887051463850873473247257/501996208091432877541\ 80257867*c_1001_4^9 - 5478862364647387571357161691/5019962080914328\ 7754180257867*c_1001_4^8 + 131449994216051279834755860076/501996208\ 09143287754180257867*c_1001_4^7 + 869228871274238810496178285780/50\ 199620809143287754180257867*c_1001_4^6 + 2596386762807163529531393831040/50199620809143287754180257867*c_100\ 1_4^5 - 162720865318889471603675301977/5019962080914328775418025786\ 7*c_1001_4^4 - 168453722712380188927493067487/501996208091432877541\ 80257867*c_1001_4^3 + 146606893029679449887932925572/50199620809143\ 287754180257867*c_1001_4^2 + 347867225116503481664851347034/5019962\ 0809143287754180257867*c_1001_4 - 1475550286655769160818556436/7171\ 374401306183964882893981, c_0101_6 + 1, c_0110_4 + 59850697462412163819295356/50199620809143287754180257867*c_1\ 001_4^11 - 67096194894241111646669257/50199620809143287754180257867\ *c_1001_4^10 + 1816744032610131740547877695/50199620809143287754180\ 257867*c_1001_4^9 - 1373482394059787139133515680/501996208091432877\ 54180257867*c_1001_4^8 + 37553614661308491985639894807/501996208091\ 43287754180257867*c_1001_4^7 + 250478708236348770840094809757/50199\ 620809143287754180257867*c_1001_4^6 + 772331031682527698808015756866/50199620809143287754180257867*c_1001\ _4^5 + 90055717221927925947334503654/50199620809143287754180257867*\ c_1001_4^4 + 119314532904491924627801933112/50199620809143287754180\ 257867*c_1001_4^3 + 50704987003052419177450625394/50199620809143287\ 754180257867*c_1001_4^2 + 99125203664439916866517414399/50199620809\ 143287754180257867*c_1001_4 - 6492647810476931756987358083/71713744\ 01306183964882893981, c_1001_4^12 - c_1001_4^11 + 30*c_1001_4^10 - 19*c_1001_4^9 + 618*c_1001_4^8 + 4267*c_1001_4^7 + 13273*c_1001_4^6 + 2171*c_1001_4^5 - 528*c_1001_4^4 + 1167*c_1001_4^3 + 1864*c_1001_4^2 + 315*c_1001_4 - 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.160 Total time: 4.370 seconds, Total memory usage: 80.94MB