Magma V2.19-8 Tue Aug 20 2013 23:41:30 on localhost [Seed = 3819276114] Type ? for help. Type -D to quit. Loading file "K12n590__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n590 geometric_solution 10.22207337 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 -1 1 0 -14 0 14 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.216250349853 0.746448301294 0 5 6 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 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 0 13 -13 14 0 -1 -13 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.455610855469 0.685498641882 7 0 8 7 0132 0132 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 1 -1 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.355224494153 0.714468937420 9 8 5 0 0132 1023 2031 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 14 0 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541728378255 2.379450842550 10 8 0 6 0132 3201 0132 2103 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 0 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.384595792858 2.077688055490 9 1 10 3 2103 0132 0321 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.064587748357 0.605116148458 1 10 1 4 2031 0321 0132 2103 0 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 0 13 -13 -13 0 13 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.831601852340 0.386721907628 2 9 11 2 0132 2103 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 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.940597078185 0.775216488442 3 11 4 2 1023 3120 2310 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 -14 13 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.006761012834 0.428049423795 3 7 5 11 0132 2103 2103 2310 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 1 -1 0 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301434138105 0.624459284750 4 11 5 6 0132 3201 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.091900989714 0.973270904690 9 8 10 7 3201 3120 2310 0132 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 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.877374119962 0.445511771020 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_1001_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0101_0']), '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' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : negation(d['c_1001_11']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_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_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} 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_6, c_0101_0, c_0101_11, c_0101_2, c_0101_7, c_0110_6, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 355146754526617422010245742246/547673105987571389430942311*c_1001_5\ ^10 + 5132309176062067833590868198391/547673105987571389430942311*c\ _1001_5^9 - 34634235634184207251327256595382/5476731059875713894309\ 42311*c_1001_5^8 + 7009568258707478675254170189951/2882490031513533\ 6285839069*c_1001_5^7 - 335335237405685273987040847586297/547673105\ 987571389430942311*c_1001_5^6 + 588145990242956289691353975138709/5\ 47673105987571389430942311*c_1001_5^5 - 24863431662959592395029343473174/17666874386695851271965881*c_1001_\ 5^4 + 649316285091486768616747018094408/547673105987571389430942311\ *c_1001_5^3 - 424397983318372069649611201043940/5476731059875713894\ 30942311*c_1001_5^2 + 113013212476218071061647804697538/54767310598\ 7571389430942311*c_1001_5 - 155053924678645222215832850644439/54767\ 3105987571389430942311, c_0011_0 - 1, c_0011_10 + 294655316377220/207511047983768073*c_1001_5^10 - 1282645552914806/69170349327922691*c_1001_5^9 + 22743981182333864/207511047983768073*c_1001_5^8 - 69345444984764014/207511047983768073*c_1001_5^7 + 38225739308833703/69170349327922691*c_1001_5^6 - 18936939838098681/69170349327922691*c_1001_5^5 - 146118263658638353/207511047983768073*c_1001_5^4 + 452134082056849738/207511047983768073*c_1001_5^3 - 336805906937002964/207511047983768073*c_1001_5^2 + 55123017236990580/69170349327922691*c_1001_5 + 145619574781171807/207511047983768073, c_0011_11 - 440378384234266/207511047983768073*c_1001_5^10 + 2109212740179946/69170349327922691*c_1001_5^9 - 42266113689262936/207511047983768073*c_1001_5^8 + 158941180928123144/207511047983768073*c_1001_5^7 - 127373826181874648/69170349327922691*c_1001_5^6 + 203605509761546720/69170349327922691*c_1001_5^5 - 680973606073594030/207511047983768073*c_1001_5^4 + 353931723517442224/207511047983768073*c_1001_5^3 + 17947509225598858/207511047983768073*c_1001_5^2 - 90781925717424777/69170349327922691*c_1001_5 - 140290783502661521/207511047983768073, c_0011_3 + 154360925688481/207511047983768073*c_1001_5^10 - 740256094336087/69170349327922691*c_1001_5^9 + 14790729119211232/207511047983768073*c_1001_5^8 - 55303330825560176/207511047983768073*c_1001_5^7 + 44049802101127347/69170349327922691*c_1001_5^6 - 71991686721585067/69170349327922691*c_1001_5^5 + 265910896123208455/207511047983768073*c_1001_5^4 - 200536236900322270/207511047983768073*c_1001_5^3 + 35892808839698723/207511047983768073*c_1001_5^2 + 13848241898544920/69170349327922691*c_1001_5 - 52061896194951691/207511047983768073, c_0011_6 - 814666180048216/207511047983768073*c_1001_5^10 + 3885150232522979/69170349327922691*c_1001_5^9 - 76941036151826245/207511047983768073*c_1001_5^8 + 283304511129466205/207511047983768073*c_1001_5^7 - 220116795520116381/69170349327922691*c_1001_5^6 + 343295193938241115/69170349327922691*c_1001_5^5 - 1165459517400415360/207511047983768073*c_1001_5^4 + 709541086622769010/207511047983768073*c_1001_5^3 - 203418233632559291/207511047983768073*c_1001_5^2 - 48188815497624274/69170349327922691*c_1001_5 - 76483355694301463/207511047983768073, c_0101_0 + 237134407419140/207511047983768073*c_1001_5^10 - 1045529912884089/69170349327922691*c_1001_5^9 + 19340198169893321/207511047983768073*c_1001_5^8 - 66602503307270968/207511047983768073*c_1001_5^7 + 51579342884658664/69170349327922691*c_1001_5^6 - 87941171196212198/69170349327922691*c_1001_5^5 + 361289529311151524/207511047983768073*c_1001_5^4 - 277146384681172595/207511047983768073*c_1001_5^3 + 183926597892690823/207511047983768073*c_1001_5^2 + 43279927828842657/69170349327922691*c_1001_5 + 26308772536365292/207511047983768073, c_0101_11 - 149351071785341/207511047983768073*c_1001_5^10 + 840618898386136/69170349327922691*c_1001_5^9 - 18866128382967710/207511047983768073*c_1001_5^8 + 78446637048357019/207511047983768073*c_1001_5^7 - 65347654991683769/69170349327922691*c_1001_5^6 + 103983045235022038/69170349327922691*c_1001_5^5 - 323450504851868288/207511047983768073*c_1001_5^4 + 194267126274175946/207511047983768073*c_1001_5^3 + 26570335641593636/207511047983768073*c_1001_5^2 + 14544656165106479/69170349327922691*c_1001_5 + 47425923238982858/207511047983768073, c_0101_2 - 298560299378116/207511047983768073*c_1001_5^10 + 1459749435005043/69170349327922691*c_1001_5^9 - 30032740629009373/207511047983768073*c_1001_5^8 + 117765089751180938/207511047983768073*c_1001_5^7 - 100264030602232399/69170349327922691*c_1001_5^6 + 175162313336286535/69170349327922691*c_1001_5^5 - 658959722347934095/207511047983768073*c_1001_5^4 + 514016117798742904/207511047983768073*c_1001_5^3 - 286343554085884034/207511047983768073*c_1001_5^2 - 3259267073028519/69170349327922691*c_1001_5 + 17025668782386100/207511047983768073, c_0101_7 - 166558609079012/207511047983768073*c_1001_5^10 + 850467413263279/69170349327922691*c_1001_5^9 - 18322133209508954/207511047983768073*c_1001_5^8 + 75989140979845102/207511047983768073*c_1001_5^7 - 68233830639228047/69170349327922691*c_1001_5^6 + 124226218976124908/69170349327922691*c_1001_5^5 - 466165018959406937/207511047983768073*c_1001_5^4 + 316340384750344025/207511047983768073*c_1001_5^3 + 28116671767362239/207511047983768073*c_1001_5^2 - 85176623782081601/69170349327922691*c_1001_5 + 9371619089209199/207511047983768073, c_0110_6 - 178980473964022/69170349327922691*c_1001_5^10 + 2449301023516075/69170349327922691*c_1001_5^9 - 15236098741798918/69170349327922691*c_1001_5^8 + 50644275471590413/69170349327922691*c_1001_5^7 - 98938508684071084/69170349327922691*c_1001_5^6 + 107690529654631449/69170349327922691*c_1001_5^5 - 48524314759885273/69170349327922691*c_1001_5^4 - 98066817333307277/69170349327922691*c_1001_5^3 + 143300129977363696/69170349327922691*c_1001_5^2 - 94447263726243159/69170349327922691*c_1001_5 - 29822065555329550/69170349327922691, c_1001_11 - 54855739413446/207511047983768073*c_1001_5^10 + 133323848197790/69170349327922691*c_1001_5^9 + 389487788068729/207511047983768073*c_1001_5^8 - 17863585799689064/207511047983768073*c_1001_5^7 + 30684128585281614/69170349327922691*c_1001_5^6 - 84019471257767560/69170349327922691*c_1001_5^5 + 447293710907078509/207511047983768073*c_1001_5^4 - 568639420136966737/207511047983768073*c_1001_5^3 + 254051355196985420/207511047983768073*c_1001_5^2 + 15569516545709892/69170349327922691*c_1001_5 - 162046677505064683/207511047983768073, c_1001_5^11 - 14*c_1001_5^10 + 91*c_1001_5^9 - 331*c_1001_5^8 + 775*c_1001_5^7 - 1230*c_1001_5^6 + 1423*c_1001_5^5 - 849*c_1001_5^4 + 370*c_1001_5^3 + 221*c_1001_5^2 + 293*c_1001_5 + 197 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.350 Total time: 3.569 seconds, Total memory usage: 64.12MB