Magma V2.19-8 Tue Aug 20 2013 23:41:31 on localhost [Seed = 1326001148] Type ? for help. Type -D to quit. Loading file "K12n594__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n594 geometric_solution 10.97018822 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.098929448292 1.037834724229 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537679227262 0.638968081278 7 0 8 0 0132 0132 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 1 -1 7 0 -7 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.098929448292 1.037834724229 9 6 9 0 0132 3201 2031 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360802110144 0.343674971307 7 1 10 11 1023 0132 0132 0132 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 0 0 0 0 0 -1 1 7 0 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471598671182 0.372617019689 9 11 1 6 2103 2103 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.457737726785 1.082428125215 5 9 3 1 3201 0132 2310 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.300029706131 1.387385563948 2 4 11 8 0132 1023 1230 1230 0 0 0 0 0 1 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 0 0 0 -7 0 7 -7 0 0 7 -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.290644120594 1.809875319150 7 10 10 2 3012 1230 1302 0132 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 0 0 0 0 1 0 -1 -7 0 0 7 -7 6 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730218724379 0.611193213311 3 6 5 3 0132 0132 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.732498429065 0.702451498755 8 11 8 4 2031 2031 3012 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 -1 1 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604431221246 1.369347296208 10 5 4 7 1302 2103 0132 3012 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245896874701 0.984147917034 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_4'], 'c_1010_11' : d['c_0101_1'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : negation(d['c_0101_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : d['c_0101_10'], '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_3']), 'c_0011_8' : d['c_0011_8'], '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_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_0011_8'], 'c_0110_10' : d['c_0101_4'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_1']})} 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_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 3028102776576749258220804250474120/94163864990048838126199437*c_100\ 1_0^13 + 9463625307091974778474793772291406/94163864990048838126199\ 437*c_1001_0^12 + 3871467517977575460727646914912362/31387954996682\ 946042066479*c_1001_0^11 + 5594644660016764466942078878870805/94163\ 864990048838126199437*c_1001_0^10 + 2728050698463201225052516528528079/94163864990048838126199437*c_100\ 1_0^9 + 7651739349999152372838489090506729/941638649900488381261994\ 37*c_1001_0^8 + 11870005951623702005440767705668951/941638649900488\ 38126199437*c_1001_0^7 + 10780597787140563074364586642974574/941638\ 64990048838126199437*c_1001_0^6 + 673623721085884309143326898698297\ 9/94163864990048838126199437*c_1001_0^5 + 3042779134780775866774341539120671/94163864990048838126199437*c_100\ 1_0^4 + 1002769451428443842274222518315446/941638649900488381261994\ 37*c_1001_0^3 + 233739892960011405048277285852937/94163864990048838\ 126199437*c_1001_0^2 + 35897444606666832425169435089027/94163864990\ 048838126199437*c_1001_0 + 2879461080992157133109706116122/94163864\ 990048838126199437, c_0011_0 - 1, c_0011_10 - 6575452828261102516370398313/323587164914257175691407*c_100\ 1_0^13 - 19407640077610303213950841704/323587164914257175691407*c_1\ 001_0^12 - 21900857285993961054611020516/323587164914257175691407*c\ _1001_0^11 - 8519058270250220654199511922/323587164914257175691407*\ c_1001_0^10 - 4666246491217458005873835339/323587164914257175691407\ *c_1001_0^9 - 15905598450567216271507396960/32358716491425717569140\ 7*c_1001_0^8 - 23043887928795301464698831997/3235871649142571756914\ 07*c_1001_0^7 - 19545915362211025482971167849/323587164914257175691\ 407*c_1001_0^6 - 11460940555947663939800483848/32358716491425717569\ 1407*c_1001_0^5 - 4811820186602928840725132057/32358716491425717569\ 1407*c_1001_0^4 - 1458033251681648619252939419/32358716491425717569\ 1407*c_1001_0^3 - 304999348041882412638844887/323587164914257175691\ 407*c_1001_0^2 - 40519957358844186905435949/32358716491425717569140\ 7*c_1001_0 - 2657120360175068954188389/323587164914257175691407, c_0011_11 + 33438487669929363876931662170/323587164914257175691407*c_10\ 01_0^13 + 105045954510921419323935233511/323587164914257175691407*c\ _1001_0^12 + 129734568360353893575321323151/32358716491425717569140\ 7*c_1001_0^11 + 63326901845796661905987823806/323587164914257175691\ 407*c_1001_0^10 + 30667423051164764905435024894/3235871649142571756\ 91407*c_1001_0^9 + 84929272669231097058477183452/323587164914257175\ 691407*c_1001_0^8 + 132314025927383828578684116343/3235871649142571\ 75691407*c_1001_0^7 + 120696669335180830557331829465/32358716491425\ 7175691407*c_1001_0^6 + 75787580495899634159888348423/3235871649142\ 57175691407*c_1001_0^5 + 34429539829122561029483871800/323587164914\ 257175691407*c_1001_0^4 + 11418518601741925295709902794/32358716491\ 4257175691407*c_1001_0^3 + 2684909709604321420362832916/32358716491\ 4257175691407*c_1001_0^2 + 416856586789681322194878033/323587164914\ 257175691407*c_1001_0 + 33774352846922968274510224/3235871649142571\ 75691407, c_0011_3 - 29435996052441566648201709258/323587164914257175691407*c_100\ 1_0^13 - 93075332787196894973071915504/323587164914257175691407*c_1\ 001_0^12 - 115489281986926992107067267274/323587164914257175691407*\ c_1001_0^11 - 56451896389558424594792380653/32358716491425717569140\ 7*c_1001_0^10 - 26556857492412906600186379546/323587164914257175691\ 407*c_1001_0^9 - 74973363337128127996641639312/32358716491425717569\ 1407*c_1001_0^8 - 117689885676822533296522066125/323587164914257175\ 691407*c_1001_0^7 - 107258178184953268270872415220/3235871649142571\ 75691407*c_1001_0^6 - 67130846471445316395959515345/323587164914257\ 175691407*c_1001_0^5 - 30351899908637636149991108912/32358716491425\ 7175691407*c_1001_0^4 - 9992997523723178504985479357/32358716491425\ 7175691407*c_1001_0^3 - 2328416829039989153575777688/32358716491425\ 7175691407*c_1001_0^2 - 356382866877808223559779796/323587164914257\ 175691407*c_1001_0 - 28672221219348349101188554/3235871649142571756\ 91407, c_0011_5 + 73520813648259556737093095933/323587164914257175691407*c_100\ 1_0^13 + 231448442912690097893139244488/323587164914257175691407*c_\ 1001_0^12 + 286172551097046043217446219858/323587164914257175691407\ *c_1001_0^11 + 139511422625086930188861755112/323587164914257175691\ 407*c_1001_0^10 + 66793487631066613356072679567/3235871649142571756\ 91407*c_1001_0^9 + 186850858760042785128093570120/32358716491425717\ 5691407*c_1001_0^8 + 291848039603037736040668531644/323587164914257\ 175691407*c_1001_0^7 + 265934037347029375270756496834/3235871649142\ 57175691407*c_1001_0^6 + 166655285018753037771929005704/32358716491\ 4257175691407*c_1001_0^5 + 75509999568401932746601649620/3235871649\ 14257175691407*c_1001_0^4 + 24943290012513638482507285071/323587164\ 914257175691407*c_1001_0^3 + 5836070012020258595562006388/323587164\ 914257175691407*c_1001_0^2 + 898983303589555606641280943/3235871649\ 14257175691407*c_1001_0 + 72413252396729977539119144/32358716491425\ 7175691407, c_0011_8 + 806617606763314330035742706/323587164914257175691407*c_1001_\ 0^13 + 2445737459537956688083350056/323587164914257175691407*c_1001\ _0^12 + 2881804791089472945259424869/323587164914257175691407*c_100\ 1_0^11 + 1247224635195978429176722600/323587164914257175691407*c_10\ 01_0^10 + 604196939503233308477354278/323587164914257175691407*c_10\ 01_0^9 + 1938427915906323190236194597/323587164914257175691407*c_10\ 01_0^8 + 2971200642993988591543620917/323587164914257175691407*c_10\ 01_0^7 + 2622518983804825576423914279/323587164914257175691407*c_10\ 01_0^6 + 1560907457741956902995371059/323587164914257175691407*c_10\ 01_0^5 + 642327060476950790363284136/323587164914257175691407*c_100\ 1_0^4 + 178238360392745411781249278/323587164914257175691407*c_1001\ _0^3 + 28927400800158908083432189/323587164914257175691407*c_1001_0\ ^2 + 940467656136149202275804/323587164914257175691407*c_1001_0 - 467294354928434536056873/323587164914257175691407, c_0101_0 - 9974042386927775969130046696/323587164914257175691407*c_1001\ _0^13 - 31273975785913698776168073352/323587164914257175691407*c_10\ 01_0^12 - 38464121706018794866160311557/323587164914257175691407*c_\ 1001_0^11 - 18519005757351303860404816740/323587164914257175691407*\ c_1001_0^10 - 8896944967722451836979047563/323587164914257175691407\ *c_1001_0^9 - 25260490069889831775260037720/32358716491425717569140\ 7*c_1001_0^8 - 39311740277188455529340070736/3235871649142571756914\ 07*c_1001_0^7 - 35645720106338518858884179716/323587164914257175691\ 407*c_1001_0^6 - 22238018305882811254265303463/32358716491425717569\ 1407*c_1001_0^5 - 10033998589869213497636870236/3235871649142571756\ 91407*c_1001_0^4 - 3299049405643945857087048936/3235871649142571756\ 91407*c_1001_0^3 - 767931184831031161996255461/32358716491425717569\ 1407*c_1001_0^2 - 117733245482327968426746095/323587164914257175691\ 407*c_1001_0 - 9397993759787462981130654/323587164914257175691407, c_0101_1 + 5574729511341266908526969354/323587164914257175691407*c_1001\ _0^13 + 17510684458078237318088346615/323587164914257175691407*c_10\ 01_0^12 + 21535403023713873522010846573/323587164914257175691407*c_\ 1001_0^11 + 10351826848291018515298569239/323587164914257175691407*\ c_1001_0^10 + 4965021438532585809421180630/323587164914257175691407\ *c_1001_0^9 + 14168939217250706858030231318/32358716491425717569140\ 7*c_1001_0^8 + 22001806376274278378750888367/3235871649142571756914\ 07*c_1001_0^7 + 19933159026562635674555743280/323587164914257175691\ 407*c_1001_0^6 + 12450528621609792989507445740/32358716491425717569\ 1407*c_1001_0^5 + 5623055677349128271464432519/32358716491425717569\ 1407*c_1001_0^4 + 1849138048919466009111366381/32358716491425717569\ 1407*c_1001_0^3 + 430478471256861874730014554/323587164914257175691\ 407*c_1001_0^2 + 65702315317165989079566763/32358716491425717569140\ 7*c_1001_0 + 5424720860025477914876775/323587164914257175691407, c_0101_10 - 4902441972380416665697291545/323587164914257175691407*c_100\ 1_0^13 - 15457504629420152498124324494/323587164914257175691407*c_1\ 001_0^12 - 19050823979967510853113528697/323587164914257175691407*c\ _1001_0^11 - 9138208215910478687621835326/323587164914257175691407*\ c_1001_0^10 - 4292759318766095795948953066/323587164914257175691407\ *c_1001_0^9 - 12481206533456978560315521682/32358716491425717569140\ 7*c_1001_0^8 - 19469418654631359742628609927/3235871649142571756914\ 07*c_1001_0^7 - 17599689306005878090887670847/323587164914257175691\ 407*c_1001_0^6 - 10951688876084517027691607267/32358716491425717569\ 1407*c_1001_0^5 - 4928494436576606201974633847/32358716491425717569\ 1407*c_1001_0^4 - 1616413567514877184386512397/32358716491425717569\ 1407*c_1001_0^3 - 375666182711945015102874231/323587164914257175691\ 407*c_1001_0^2 - 57691710877427896619689744/32358716491425717569140\ 7*c_1001_0 - 4856036289354280732587063/323587164914257175691407, c_0101_3 - 17708122226698976333117550399/323587164914257175691407*c_100\ 1_0^13 - 55890587740547298874287954878/323587164914257175691407*c_1\ 001_0^12 - 69164877859154297682979383738/323587164914257175691407*c\ _1001_0^11 - 33595566698936787937787290852/323587164914257175691407\ *c_1001_0^10 - 15827647970064323971149360663/3235871649142571756914\ 07*c_1001_0^9 - 45043022672973976879547182697/323587164914257175691\ 407*c_1001_0^8 - 70560034306349028527664814226/32358716491425717569\ 1407*c_1001_0^7 - 64144813345905439323219742537/3235871649142571756\ 91407*c_1001_0^6 - 40056283783555740923209567358/323587164914257175\ 691407*c_1001_0^5 - 18077331507597918954799894334/32358716491425717\ 5691407*c_1001_0^4 - 5943271910573971308640378842/32358716491425717\ 5691407*c_1001_0^3 - 1383350278540708236285136226/32358716491425717\ 5691407*c_1001_0^2 - 211597381345964162421412251/323587164914257175\ 691407*c_1001_0 - 17028921851855741711881956/3235871649142571756914\ 07, c_0101_4 - 1168474570622961998896995628/323587164914257175691407*c_1001\ _0^13 - 4471072401056404761660500058/323587164914257175691407*c_100\ 1_0^12 - 6842308404715604023323956478/323587164914257175691407*c_10\ 01_0^11 - 4726682421184744988069730944/323587164914257175691407*c_1\ 001_0^10 - 1943770669281940783570301766/323587164914257175691407*c_\ 1001_0^9 - 3478044469743071657878528839/323587164914257175691407*c_\ 1001_0^8 - 6523964346010433803378234998/323587164914257175691407*c_\ 1001_0^7 - 6897274635491487527858350402/323587164914257175691407*c_\ 1001_0^6 - 4850835795907568519530584944/323587164914257175691407*c_\ 1001_0^5 - 2452963055429209514306094882/323587164914257175691407*c_\ 1001_0^4 - 901992014522695025702230403/323587164914257175691407*c_1\ 001_0^3 - 237327857357074463066041467/323587164914257175691407*c_10\ 01_0^2 - 41667095541183324909818388/323587164914257175691407*c_1001\ _0 - 3954034437846931074545153/323587164914257175691407, c_1001_0^14 + 9482/2687*c_1001_0^13 + 13669/2687*c_1001_0^12 + 9052/2687*c_1001_0^11 + 4354/2687*c_1001_0^10 + 7752/2687*c_1001_0^9 + 13261/2687*c_1001_0^8 + 13756/2687*c_1001_0^7 + 9760/2687*c_1001_0^6 + 5055/2687*c_1001_0^5 + 1950/2687*c_1001_0^4 + 556/2687*c_1001_0^3 + 113/2687*c_1001_0^2 + 15/2687*c_1001_0 + 1/2687 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 34.100 Total time: 34.310 seconds, Total memory usage: 100.22MB