Magma V2.19-8 Tue Aug 20 2013 17:58:51 on localhost [Seed = 2598055463] Type ? for help. Type -D to quit. Loading file "10_63__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_63 geometric_solution 11.51169129 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 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 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.036480433303 0.915712048212 0 4 6 5 0132 0132 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 -9 0 9 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.520183188421 0.886440281920 4 0 7 0 0132 0132 0132 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 -1 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 0 0.244025463965 0.604615220331 8 8 0 4 0132 1230 0132 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 1 -1 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.589677007754 0.668526321912 2 1 3 5 0132 0132 2031 0321 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 9 -1 -8 -1 0 1 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.174297376138 1.618964332559 9 4 1 10 0132 0321 0132 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 8 -9 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 0 0 0 0.601137549067 1.697119660755 11 8 10 1 0132 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639358703672 0.755785813960 12 11 9 2 0132 1302 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 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.164684543786 1.121157085570 3 6 3 11 0132 2103 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257937875936 0.841287782815 5 12 12 7 0132 0213 2031 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 -1 1 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.040099851062 0.623566509490 12 11 5 6 1023 3120 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 1 -1 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.267387964178 0.475916511205 6 10 8 7 0132 3120 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.164684543786 1.121157085570 7 10 9 9 0132 1023 0213 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 1 -1 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.897296579609 1.597073596775 ==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_1001_1']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0101_6'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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_12' : 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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_2']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_1001_1']), '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' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_6']), 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : negation(d['c_0011_5']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_6, c_0101_8, c_1001_1, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 21464774258235143246412368871/242735812601578495779550952*c_1100_1^\ 12 - 67662234775897166478661690305/121367906300789247889775476*c_11\ 00_1^11 + 7669497295628220261995229987/8370200434537189509639688*c_\ 1100_1^10 + 408302380607976755299554959491/121367906300789247889775\ 476*c_1100_1^9 - 1860734176267263233032413282927/242735812601578495\ 779550952*c_1100_1^8 - 1269751306179563763235373556431/121367906300\ 789247889775476*c_1100_1^7 + 2293667761699128080118622330015/121367\ 906300789247889775476*c_1100_1^6 + 3815642676764447983818569097573/242735812601578495779550952*c_1100_\ 1^5 - 3003186993251524169403627518865/121367906300789247889775476*c\ _1100_1^4 - 720475530177370176481474498940/303419765751973119724438\ 69*c_1100_1^3 + 8761782087056520953704694245/6068395315039462394488\ 7738*c_1100_1^2 + 325174530598782621463207711121/121367906300789247\ 889775476*c_1100_1 - 18287097594372564667616829765/2427358126015784\ 95779550952, c_0011_0 - 1, c_0011_10 - 23455832631295451552599/1046275054317148688704961*c_1100_1^\ 12 + 157383633919451632911239/1046275054317148688704961*c_1100_1^11 - 338971679769503234784747/1046275054317148688704961*c_1100_1^10 - 529709133774379521603063/1046275054317148688704961*c_1100_1^9 + 1759160614294699192336370/1046275054317148688704961*c_1100_1^8 + 1175087164931554816846339/1046275054317148688704961*c_1100_1^7 - 2093074192457772168647980/1046275054317148688704961*c_1100_1^6 - 1761418653795475795043028/1046275054317148688704961*c_1100_1^5 - 587971852639314028528545/1046275054317148688704961*c_1100_1^4 + 5883226767940721614202714/1046275054317148688704961*c_1100_1^3 + 6475826813387685688846116/1046275054317148688704961*c_1100_1^2 - 822012091954508140822234/1046275054317148688704961*c_1100_1 - 1335428803977523999973692/1046275054317148688704961, c_0011_11 - 54307883796680937292121/1046275054317148688704961*c_1100_1^\ 12 + 345425278673087132766393/1046275054317148688704961*c_1100_1^11 - 602853292869922668465263/1046275054317148688704961*c_1100_1^10 - 1877075338281146072586756/1046275054317148688704961*c_1100_1^9 + 4418108834625631459197654/1046275054317148688704961*c_1100_1^8 + 5833334428721315907837811/1046275054317148688704961*c_1100_1^7 - 9673371606869986516620659/1046275054317148688704961*c_1100_1^6 - 9320962458736066676474585/1046275054317148688704961*c_1100_1^5 + 11251717499205805041496661/1046275054317148688704961*c_1100_1^4 + 16050461734703520844791777/1046275054317148688704961*c_1100_1^3 + 3021110994429012323743725/1046275054317148688704961*c_1100_1^2 - 2120964103312146767975861/1046275054317148688704961*c_1100_1 - 322055212951984909280365/1046275054317148688704961, c_0011_5 + 76547522250671691417982/1046275054317148688704961*c_1100_1^1\ 2 - 465668592178363481006008/1046275054317148688704961*c_1100_1^11 + 665027709449643902506999/1046275054317148688704961*c_1100_1^10 + 3242873977992556192523670/1046275054317148688704961*c_1100_1^9 - 6364988207144534126273690/1046275054317148688704961*c_1100_1^8 - 10960306443133796669008345/1046275054317148688704961*c_1100_1^7 + 16584918509498537073021488/1046275054317148688704961*c_1100_1^6 + 17492652402746100263184664/1046275054317148688704961*c_1100_1^5 - 23009592794290080445180195/1046275054317148688704961*c_1100_1^4 - 24167473365230165879505115/1046275054317148688704961*c_1100_1^3 + 303594116767603602049424/1046275054317148688704961*c_1100_1^2 + 3150495843361116243566283/1046275054317148688704961*c_1100_1 - 536729610909870686951099/1046275054317148688704961, c_0101_0 - 23455832631295451552599/1046275054317148688704961*c_1100_1^1\ 2 + 157383633919451632911239/1046275054317148688704961*c_1100_1^11 - 338971679769503234784747/1046275054317148688704961*c_1100_1^10 - 529709133774379521603063/1046275054317148688704961*c_1100_1^9 + 1759160614294699192336370/1046275054317148688704961*c_1100_1^8 + 1175087164931554816846339/1046275054317148688704961*c_1100_1^7 - 2093074192457772168647980/1046275054317148688704961*c_1100_1^6 - 1761418653795475795043028/1046275054317148688704961*c_1100_1^5 - 587971852639314028528545/1046275054317148688704961*c_1100_1^4 + 5883226767940721614202714/1046275054317148688704961*c_1100_1^3 + 6475826813387685688846116/1046275054317148688704961*c_1100_1^2 - 822012091954508140822234/1046275054317148688704961*c_1100_1 - 1335428803977523999973692/1046275054317148688704961, c_0101_1 - 30852051165385485739522/1046275054317148688704961*c_1100_1^1\ 2 + 188041644753635499855154/1046275054317148688704961*c_1100_1^11 - 263881613100419433680516/1046275054317148688704961*c_1100_1^10 - 1347366204506766550983693/1046275054317148688704961*c_1100_1^9 + 2658948220330932266861284/1046275054317148688704961*c_1100_1^8 + 4658247263789761090991472/1046275054317148688704961*c_1100_1^7 - 7580297414412214347972679/1046275054317148688704961*c_1100_1^6 - 7559543804940590881431557/1046275054317148688704961*c_1100_1^5 + 11839689351845119070025206/1046275054317148688704961*c_1100_1^4 + 10167234966762799230589063/1046275054317148688704961*c_1100_1^3 - 3454715818958673365102391/1046275054317148688704961*c_1100_1^2 - 2345227065674787315858588/1046275054317148688704961*c_1100_1 + 1013373591025539090693327/1046275054317148688704961, c_0101_10 - 54307883796680937292121/1046275054317148688704961*c_1100_1^\ 12 + 345425278673087132766393/1046275054317148688704961*c_1100_1^11 - 602853292869922668465263/1046275054317148688704961*c_1100_1^10 - 1877075338281146072586756/1046275054317148688704961*c_1100_1^9 + 4418108834625631459197654/1046275054317148688704961*c_1100_1^8 + 5833334428721315907837811/1046275054317148688704961*c_1100_1^7 - 9673371606869986516620659/1046275054317148688704961*c_1100_1^6 - 9320962458736066676474585/1046275054317148688704961*c_1100_1^5 + 11251717499205805041496661/1046275054317148688704961*c_1100_1^4 + 16050461734703520844791777/1046275054317148688704961*c_1100_1^3 + 3021110994429012323743725/1046275054317148688704961*c_1100_1^2 - 2120964103312146767975861/1046275054317148688704961*c_1100_1 - 322055212951984909280365/1046275054317148688704961, c_0101_4 + 72236113480461695063012/1046275054317148688704961*c_1100_1^1\ 2 - 537423206089641266181073/1046275054317148688704961*c_1100_1^11 + 1312105601499132537398000/1046275054317148688704961*c_1100_1^10 + 1570411911631304709689193/1046275054317148688704961*c_1100_1^9 - 8651673418487226054098911/1046275054317148688704961*c_1100_1^8 - 250486199365476575524563/1046275054317148688704961*c_1100_1^7 + 20353856446267743352014334/1046275054317148688704961*c_1100_1^6 - 6603890820898743525969533/1046275054317148688704961*c_1100_1^5 - 24049990179116881860391240/1046275054317148688704961*c_1100_1^4 + 3793879507703472590113429/1046275054317148688704961*c_1100_1^3 + 10491929839631066486742583/1046275054317148688704961*c_1100_1^2 - 1566949638062507516690592/1046275054317148688704961*c_1100_1 - 1661401185318341733000042/1046275054317148688704961, c_0101_6 + 76547522250671691417982/1046275054317148688704961*c_1100_1^1\ 2 - 465668592178363481006008/1046275054317148688704961*c_1100_1^11 + 665027709449643902506999/1046275054317148688704961*c_1100_1^10 + 3242873977992556192523670/1046275054317148688704961*c_1100_1^9 - 6364988207144534126273690/1046275054317148688704961*c_1100_1^8 - 10960306443133796669008345/1046275054317148688704961*c_1100_1^7 + 16584918509498537073021488/1046275054317148688704961*c_1100_1^6 + 17492652402746100263184664/1046275054317148688704961*c_1100_1^5 - 23009592794290080445180195/1046275054317148688704961*c_1100_1^4 - 24167473365230165879505115/1046275054317148688704961*c_1100_1^3 + 303594116767603602049424/1046275054317148688704961*c_1100_1^2 + 3150495843361116243566283/1046275054317148688704961*c_1100_1 - 536729610909870686951099/1046275054317148688704961, c_0101_8 - 25340313512317408026163/1046275054317148688704961*c_1100_1^1\ 2 + 137721919970808827538108/1046275054317148688704961*c_1100_1^11 - 128301648014594204384141/1046275054317148688704961*c_1100_1^10 - 1167903604171275246248512/1046275054317148688704961*c_1100_1^9 + 1349123621698428536628689/1046275054317148688704961*c_1100_1^8 + 4618697891729844466566004/1046275054317148688704961*c_1100_1^7 - 2430466474329219343760240/1046275054317148688704961*c_1100_1^6 - 8099658948949542133636513/1046275054317148688704961*c_1100_1^5 + 1794762439438535965837432/1046275054317148688704961*c_1100_1^4 + 11340615295046498289466815/1046275054317148688704961*c_1100_1^3 + 8538940306999589922831788/1046275054317148688704961*c_1100_1^2 + 312251965641971262586265/1046275054317148688704961*c_1100_1 - 1096560713722130926633324/1046275054317148688704961, c_1001_1 + 76547522250671691417982/1046275054317148688704961*c_1100_1^1\ 2 - 465668592178363481006008/1046275054317148688704961*c_1100_1^11 + 665027709449643902506999/1046275054317148688704961*c_1100_1^10 + 3242873977992556192523670/1046275054317148688704961*c_1100_1^9 - 6364988207144534126273690/1046275054317148688704961*c_1100_1^8 - 10960306443133796669008345/1046275054317148688704961*c_1100_1^7 + 16584918509498537073021488/1046275054317148688704961*c_1100_1^6 + 17492652402746100263184664/1046275054317148688704961*c_1100_1^5 - 23009592794290080445180195/1046275054317148688704961*c_1100_1^4 - 24167473365230165879505115/1046275054317148688704961*c_1100_1^3 + 303594116767603602049424/1046275054317148688704961*c_1100_1^2 + 3150495843361116243566283/1046275054317148688704961*c_1100_1 - 536729610909870686951099/1046275054317148688704961, c_1001_2 + 91383253091088352075808/1046275054317148688704961*c_1100_1^1\ 2 - 645040536657629760796491/1046275054317148688704961*c_1100_1^11 + 1406396501987755520206179/1046275054317148688704961*c_1100_1^10 + 2581832960300597211755395/1046275054317148688704961*c_1100_1^9 - 10128993388394004375452175/1046275054317148688704961*c_1100_1^8 - 4197462732985122461201543/1046275054317148688704961*c_1100_1^7 + 24793262229678903898235283/1046275054317148688704961*c_1100_1^6 + 884623693510004086388371/1046275054317148688704961*c_1100_1^5 - 30913141566513223489688043/1046275054317148688704961*c_1100_1^4 - 6411571059764339973608203/1046275054317148688704961*c_1100_1^3 + 10551064658636160197306935/1046275054317148688704961*c_1100_1^2 + 2268448226497886746172457/1046275054317148688704961*c_1100_1 - 358646594246755352171281/1046275054317148688704961, c_1100_1^13 - 6*c_1100_1^12 + 58/7*c_1100_1^11 + 295/7*c_1100_1^10 - 535/7*c_1100_1^9 - 1059/7*c_1100_1^8 + 190*c_1100_1^7 + 1861/7*c_1100_1^6 - 1797/7*c_1100_1^5 - 2747/7*c_1100_1^4 - 264/7*c_1100_1^3 + 604/7*c_1100_1^2 + 12*c_1100_1 - 58/7 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_6, c_0101_8, c_1001_1, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 251957229213957889176809579217217764743527797481/104508379515039408\ 5718895542957988405876761*c_1100_1^17 - 209088722527082222230557773259229934103060872269/116120421683377120\ 635432838106443156208529*c_1100_1^16 + 2260801712575981166055469811115310269498570156125/34836126505013136\ 1906298514319329468625587*c_1100_1^15 - 10957436198792245733167653040377821707360118798750/1045083795150394\ 085718895542957988405876761*c_1100_1^14 + 711710929364989673073529377049040336414241904568/116120421683377120\ 635432838106443156208529*c_1100_1^13 + 10333525947836796736508397490105895012337189282187/1045083795150394\ 085718895542957988405876761*c_1100_1^12 - 57191708479932879635595607107862428166976489722/1833480342369112431\ 0857816543122603611873*c_1100_1^11 - 18995379349358640503535781558068905564382237178171/3483612650501313\ 61906298514319329468625587*c_1100_1^10 + 54259225366688351501168463674382049230723180124993/1045083795150394\ 085718895542957988405876761*c_1100_1^9 + 11042052065480702162641085827188707144608119633796/3483612650501313\ 61906298514319329468625587*c_1100_1^8 - 35737190711301842191385198638137851017836689258087/1045083795150394\ 085718895542957988405876761*c_1100_1^7 - 13812535086199296385597575576608083465292641022062/1045083795150394\ 085718895542957988405876761*c_1100_1^6 + 9213927202160930190601540660763319069959356028371/10450837951503940\ 85718895542957988405876761*c_1100_1^5 + 1459185198141759608638905165552216101521161578674/34836126505013136\ 1906298514319329468625587*c_1100_1^4 - 95634492689827902864093162457006099859050505777/1161204216833771206\ 35432838106443156208529*c_1100_1^3 - 47366752886075802283487145411954444745623176827/1161204216833771206\ 35432838106443156208529*c_1100_1^2 + 85906911768773506016595319389707823068149759360/1045083795150394085\ 718895542957988405876761*c_1100_1 + 22179513979770335972309887680057113340282022393/1045083795150394085\ 718895542957988405876761, c_0011_0 - 1, c_0011_10 - 586178441043294171859672031220356034/9315045177915523198119\ 09594224589931*c_1100_1^17 + 4548866259617742067368259574865605752/\ 931504517791552319811909594224589931*c_1100_1^16 - 17002517253410157447517722593929712544/9315045177915523198119095942\ 24589931*c_1100_1^15 + 29528006027470673217730340347046272398/93150\ 4517791552319811909594224589931*c_1100_1^14 - 19527996051083818650748004879361682614/9315045177915523198119095942\ 24589931*c_1100_1^13 - 27500362797761722207734619871360127430/93150\ 4517791552319811909594224589931*c_1100_1^12 + 27014381726724407036934625144785179062/9315045177915523198119095942\ 24589931*c_1100_1^11 + 120980968254352196917448678221699879726/9315\ 04517791552319811909594224589931*c_1100_1^10 - 165273416742990042409097456627438423534/931504517791552319811909594\ 224589931*c_1100_1^9 - 49516444158787757948777378042348616698/93150\ 4517791552319811909594224589931*c_1100_1^8 + 153462692933991860437015292786426360600/931504517791552319811909594\ 224589931*c_1100_1^7 - 46860412504063695566228836495714363186/93150\ 4517791552319811909594224589931*c_1100_1^6 - 21958032282606386133609170026457444448/9315045177915523198119095942\ 24589931*c_1100_1^5 + 8462312743310615461452978357485801419/9315045\ 17791552319811909594224589931*c_1100_1^4 + 6525091285278531331774282729486632487/93150451779155231981190959422\ 4589931*c_1100_1^3 - 1492634345853121694721811076360260118/93150451\ 7791552319811909594224589931*c_1100_1^2 - 1306228615019435500769439214977650769/93150451779155231981190959422\ 4589931*c_1100_1 + 79468685528851685249266086277868396/931504517791\ 552319811909594224589931, c_0011_11 - 9199132558050250982919645279204597023/838354066012397087830\ 7186348021309379*c_1100_1^17 + 946520373287516554749639130422213647\ 2/931504517791552319811909594224589931*c_1100_1^16 - 124487144585076303147837901615050835828/279451355337465695943572878\ 2673769793*c_1100_1^15 + 867036416520848618301377812968584082763/83\ 83540660123970878307186348021309379*c_1100_1^14 - 116308327094412388795487731081246925861/931504517791552319811909594\ 224589931*c_1100_1^13 + 246680434014837900785630043843073818247/838\ 3540660123970878307186348021309379*c_1100_1^12 + 188441888436468391869198313097507958344/279451355337465695943572878\ 2673769793*c_1100_1^11 + 633617525533711598737669535324812651253/27\ 94513553374656959435728782673769793*c_1100_1^10 - 5630099529479906713095320245675358166338/83835406601239708783071863\ 48021309379*c_1100_1^9 + 972716128037801963729988577898632140001/27\ 94513553374656959435728782673769793*c_1100_1^8 + 2272435745225445426006839252169652834330/83835406601239708783071863\ 48021309379*c_1100_1^7 - 1348590611161821252788543191425202216567/8\ 383540660123970878307186348021309379*c_1100_1^6 - 909550951353452241022222253590923730529/838354066012397087830718634\ 8021309379*c_1100_1^5 + 94285795548922737990743264484525896179/2794\ 513553374656959435728782673769793*c_1100_1^4 + 26861233098221784753956995275092121476/9315045177915523198119095942\ 24589931*c_1100_1^3 - 2394306332306797659744410455661593709/9315045\ 17791552319811909594224589931*c_1100_1^2 - 12193855210532804824259876871007383800/8383540660123970878307186348\ 021309379*c_1100_1 - 251066072802184521292076874080220365/838354066\ 0123970878307186348021309379, c_0011_5 + 5905222469396068539481686320807099072/8383540660123970878307\ 186348021309379*c_1100_1^17 - 4215755369750270272019826542943244952\ /931504517791552319811909594224589931*c_1100_1^16 + 36863216475422057792946465878174898502/2794513553374656959435728782\ 673769793*c_1100_1^15 - 70335945890108144148953216351090656228/8383\ 540660123970878307186348021309379*c_1100_1^14 - 22796742131790024879955759435418010054/9315045177915523198119095942\ 24589931*c_1100_1^13 + 593477685501922685919484983307129154189/8383\ 540660123970878307186348021309379*c_1100_1^12 - 18735255227207215566560745440315621297/2794513553374656959435728782\ 673769793*c_1100_1^11 - 451983756001162397647187406807555727832/279\ 4513553374656959435728782673769793*c_1100_1^10 - 40443612520702834321043408734246019683/8383540660123970878307186348\ 021309379*c_1100_1^9 + 859400245978883235038791364983441023980/2794\ 513553374656959435728782673769793*c_1100_1^8 - 1189411226706418860737826444813591943810/83835406601239708783071863\ 48021309379*c_1100_1^7 - 583863619603232654185427023372151109944/83\ 83540660123970878307186348021309379*c_1100_1^6 + 162319559968933758347964547441753776752/838354066012397087830718634\ 8021309379*c_1100_1^5 + 29505251965958242771316363964247251293/2794\ 513553374656959435728782673769793*c_1100_1^4 + 5490852378129359158028682450828665730/93150451779155231981190959422\ 4589931*c_1100_1^3 + 869193480527494699547727834575190894/931504517\ 791552319811909594224589931*c_1100_1^2 - 4655237757217741831524327760565392912/83835406601239708783071863480\ 21309379*c_1100_1 - 5665344732732500723764680629351427763/838354066\ 0123970878307186348021309379, c_0101_0 - 586178441043294171859672031220356034/93150451779155231981190\ 9594224589931*c_1100_1^17 + 4548866259617742067368259574865605752/9\ 31504517791552319811909594224589931*c_1100_1^16 - 17002517253410157447517722593929712544/9315045177915523198119095942\ 24589931*c_1100_1^15 + 29528006027470673217730340347046272398/93150\ 4517791552319811909594224589931*c_1100_1^14 - 19527996051083818650748004879361682614/9315045177915523198119095942\ 24589931*c_1100_1^13 - 27500362797761722207734619871360127430/93150\ 4517791552319811909594224589931*c_1100_1^12 + 27014381726724407036934625144785179062/9315045177915523198119095942\ 24589931*c_1100_1^11 + 120980968254352196917448678221699879726/9315\ 04517791552319811909594224589931*c_1100_1^10 - 165273416742990042409097456627438423534/931504517791552319811909594\ 224589931*c_1100_1^9 - 49516444158787757948777378042348616698/93150\ 4517791552319811909594224589931*c_1100_1^8 + 153462692933991860437015292786426360600/931504517791552319811909594\ 224589931*c_1100_1^7 - 46860412504063695566228836495714363186/93150\ 4517791552319811909594224589931*c_1100_1^6 - 21958032282606386133609170026457444448/9315045177915523198119095942\ 24589931*c_1100_1^5 + 8462312743310615461452978357485801419/9315045\ 17791552319811909594224589931*c_1100_1^4 + 6525091285278531331774282729486632487/93150451779155231981190959422\ 4589931*c_1100_1^3 - 1492634345853121694721811076360260118/93150451\ 7791552319811909594224589931*c_1100_1^2 - 1306228615019435500769439214977650769/93150451779155231981190959422\ 4589931*c_1100_1 + 79468685528851685249266086277868396/931504517791\ 552319811909594224589931, c_0101_1 + 31049869186323083556215717094459974698/279451355337465695943\ 5728782673769793*c_1100_1^17 - 774092590795587612282367510835434152\ 84/931504517791552319811909594224589931*c_1100_1^16 + 280161593367571781444844159241916597072/931504517791552319811909594\ 224589931*c_1100_1^15 - 1376957756009350018266173180987731444985/27\ 94513553374656959435728782673769793*c_1100_1^14 + 290995212304040550971634866441306949377/931504517791552319811909594\ 224589931*c_1100_1^13 + 1132389814432675294171421660386332198031/27\ 94513553374656959435728782673769793*c_1100_1^12 - 97670350809060024818570056773788322870/9315045177915523198119095942\ 24589931*c_1100_1^11 - 2327964560480925852064126259680578838531/931\ 504517791552319811909594224589931*c_1100_1^10 + 6709225500814194658870666853804407331866/27945135533746569594357287\ 82673769793*c_1100_1^9 + 1173968134027422013924555739575124922081/9\ 31504517791552319811909594224589931*c_1100_1^8 - 3702194588976864973098846623944446135074/27945135533746569594357287\ 82673769793*c_1100_1^7 - 1703051630569265894533355854989096462319/2\ 794513553374656959435728782673769793*c_1100_1^6 + 828875685752962395622879055758671135457/279451355337465695943572878\ 2673769793*c_1100_1^5 + 176224999231561267839986868419613596352/931\ 504517791552319811909594224589931*c_1100_1^4 - 4583111928197523511063161243899456417/93150451779155231981190959422\ 4589931*c_1100_1^3 - 13793118812309018722454562951553618135/9315045\ 17791552319811909594224589931*c_1100_1^2 - 3403239496483952521274880895574628716/27945135533746569594357287826\ 73769793*c_1100_1 + 2409174776464304529965099791501263385/279451355\ 3374656959435728782673769793, c_0101_10 + 9199132558050250982919645279204597023/838354066012397087830\ 7186348021309379*c_1100_1^17 - 946520373287516554749639130422213647\ 2/931504517791552319811909594224589931*c_1100_1^16 + 124487144585076303147837901615050835828/279451355337465695943572878\ 2673769793*c_1100_1^15 - 867036416520848618301377812968584082763/83\ 83540660123970878307186348021309379*c_1100_1^14 + 116308327094412388795487731081246925861/931504517791552319811909594\ 224589931*c_1100_1^13 - 246680434014837900785630043843073818247/838\ 3540660123970878307186348021309379*c_1100_1^12 - 188441888436468391869198313097507958344/279451355337465695943572878\ 2673769793*c_1100_1^11 - 633617525533711598737669535324812651253/27\ 94513553374656959435728782673769793*c_1100_1^10 + 5630099529479906713095320245675358166338/83835406601239708783071863\ 48021309379*c_1100_1^9 - 972716128037801963729988577898632140001/27\ 94513553374656959435728782673769793*c_1100_1^8 - 2272435745225445426006839252169652834330/83835406601239708783071863\ 48021309379*c_1100_1^7 + 1348590611161821252788543191425202216567/8\ 383540660123970878307186348021309379*c_1100_1^6 + 909550951353452241022222253590923730529/838354066012397087830718634\ 8021309379*c_1100_1^5 - 94285795548922737990743264484525896179/2794\ 513553374656959435728782673769793*c_1100_1^4 - 26861233098221784753956995275092121476/9315045177915523198119095942\ 24589931*c_1100_1^3 + 2394306332306797659744410455661593709/9315045\ 17791552319811909594224589931*c_1100_1^2 + 20577395870656775702567063219028693179/8383540660123970878307186348\ 021309379*c_1100_1 + 251066072802184521292076874080220365/838354066\ 0123970878307186348021309379, c_0101_4 - 6495403056985241236461092010391801670/9315045177915523198119\ 09594224589931*c_1100_1^17 + 51286853192509222270654413043619797455\ /931504517791552319811909594224589931*c_1100_1^16 - 196527280983417878415928345894218015843/931504517791552319811909594\ 224589931*c_1100_1^15 + 364597644634888253859166811854961827960/931\ 504517791552319811909594224589931*c_1100_1^14 - 313695814505345584171391783828705634047/931504517791552319811909594\ 224589931*c_1100_1^13 - 146393081974182107011529242518857180397/931\ 504517791552319811909594224589931*c_1100_1^12 + 160425359638716098273583717440383155911/931504517791552319811909594\ 224589931*c_1100_1^11 + 1402575205490556329663839836439021394560/93\ 1504517791552319811909594224589931*c_1100_1^10 - 2002890752135253596164749122443772707609/93150451779155231981190959\ 4224589931*c_1100_1^9 - 45100495107946289272398089246565271736/9315\ 04517791552319811909594224589931*c_1100_1^8 + 1017864905243876630604446695980171588269/93150451779155231981190959\ 4224589931*c_1100_1^7 - 96271426387925109455962108277246778516/9315\ 04517791552319811909594224589931*c_1100_1^6 - 227711599957641002929090164207503311599/931504517791552319811909594\ 224589931*c_1100_1^5 - 5887393690742552654324078759656082657/931504\ 517791552319811909594224589931*c_1100_1^4 + 31005464435017999835643438141216493661/9315045177915523198119095942\ 24589931*c_1100_1^3 - 943142988557468393660493463355356104/93150451\ 7791552319811909594224589931*c_1100_1^2 - 1900184215406893388265630755499700979/93150451779155231981190959422\ 4589931*c_1100_1 + 287982944090307768242998086504468846/93150451779\ 1552319811909594224589931, c_0101_6 + 5905222469396068539481686320807099072/8383540660123970878307\ 186348021309379*c_1100_1^17 - 4215755369750270272019826542943244952\ /931504517791552319811909594224589931*c_1100_1^16 + 36863216475422057792946465878174898502/2794513553374656959435728782\ 673769793*c_1100_1^15 - 70335945890108144148953216351090656228/8383\ 540660123970878307186348021309379*c_1100_1^14 - 22796742131790024879955759435418010054/9315045177915523198119095942\ 24589931*c_1100_1^13 + 593477685501922685919484983307129154189/8383\ 540660123970878307186348021309379*c_1100_1^12 - 18735255227207215566560745440315621297/2794513553374656959435728782\ 673769793*c_1100_1^11 - 451983756001162397647187406807555727832/279\ 4513553374656959435728782673769793*c_1100_1^10 - 40443612520702834321043408734246019683/8383540660123970878307186348\ 021309379*c_1100_1^9 + 859400245978883235038791364983441023980/2794\ 513553374656959435728782673769793*c_1100_1^8 - 1189411226706418860737826444813591943810/83835406601239708783071863\ 48021309379*c_1100_1^7 - 583863619603232654185427023372151109944/83\ 83540660123970878307186348021309379*c_1100_1^6 + 162319559968933758347964547441753776752/838354066012397087830718634\ 8021309379*c_1100_1^5 + 29505251965958242771316363964247251293/2794\ 513553374656959435728782673769793*c_1100_1^4 + 5490852378129359158028682450828665730/93150451779155231981190959422\ 4589931*c_1100_1^3 + 869193480527494699547727834575190894/931504517\ 791552319811909594224589931*c_1100_1^2 - 4655237757217741831524327760565392912/83835406601239708783071863480\ 21309379*c_1100_1 - 5665344732732500723764680629351427763/838354066\ 0123970878307186348021309379, c_0101_8 - 9401853398658085154267795189593949828/9315045177915523198119\ 09594224589931*c_1100_1^17 + 71881896661112215285583568214723068704\ /931504517791552319811909594224589931*c_1100_1^16 - 266459206448498372248660850028073481343/931504517791552319811909594\ 224589931*c_1100_1^15 + 461306229755921385594674809573838406070/931\ 504517791552319811909594224589931*c_1100_1^14 - 341401344097678602920407365643189713139/931504517791552319811909594\ 224589931*c_1100_1^13 - 284701019227122371877477153626674713177/931\ 504517791552319811909594224589931*c_1100_1^12 + 132171934478826446779071459702462658953/931504517791552319811909594\ 224589931*c_1100_1^11 + 2097417100866940731052069940289363896540/93\ 1504517791552319811909594224589931*c_1100_1^10 - 2381781464925009676035241585615830858421/93150451779155231981190959\ 4224589931*c_1100_1^9 - 676360176848970077164603117977732406192/931\ 504517791552319811909594224589931*c_1100_1^8 + 1230342502887994968465177931382153710855/93150451779155231981190959\ 4224589931*c_1100_1^7 + 344245473751916443588222019715266312574/931\ 504517791552319811909594224589931*c_1100_1^6 - 322898024876296666446839472532197630771/931504517791552319811909594\ 224589931*c_1100_1^5 - 132657470961254956767225866630631572187/9315\ 04517791552319811909594224589931*c_1100_1^4 + 35760066751030826006634512088560504554/9315045177915523198119095942\ 24589931*c_1100_1^3 + 14235892097269342853543515062135818306/931504\ 517791552319811909594224589931*c_1100_1^2 - 2366563946422860243993244069298384782/93150451779155231981190959422\ 4589931*c_1100_1 - 834817416427659320454022595416680392/93150451779\ 1552319811909594224589931, c_1001_1 + 40716823710222449562840846472497702706/838354066012397087830\ 7186348021309379*c_1100_1^17 - 358774585366371106663406227244277003\ 96/931504517791552319811909594224589931*c_1100_1^16 + 416469417129655683570640044810992309792/279451355337465695943572878\ 2673769793*c_1100_1^15 - 2378861464921594029571117708318646563628/8\ 383540660123970878307186348021309379*c_1100_1^14 + 249213936557919724875347197277235273860/931504517791552319811909594\ 224589931*c_1100_1^13 + 471338581655314662497025499974203663536/838\ 3540660123970878307186348021309379*c_1100_1^12 - 226486596957115430651070146717643681862/279451355337465695943572878\ 2673769793*c_1100_1^11 - 2894029095356197075098319805110395222628/2\ 794513553374656959435728782673769793*c_1100_1^10 + 12744546824836282965297603851095608891508/8383540660123970878307186\ 348021309379*c_1100_1^9 - 510101582283974308416683802983975837756/2\ 794513553374656959435728782673769793*c_1100_1^8 - 4312895368188791067055812764776688916122/83835406601239708783071863\ 48021309379*c_1100_1^7 + 586918786353198599434623305174519062289/83\ 83540660123970878307186348021309379*c_1100_1^6 + 636778570401435031476486479970781691539/838354066012397087830718634\ 8021309379*c_1100_1^5 - 131754284765171719989779098033893077/279451\ 3553374656959435728782673769793*c_1100_1^4 + 1036200476902844802453916078821943736/93150451779155231981190959422\ 4589931*c_1100_1^3 + 4873585098802467741606574471098567443/93150451\ 7791552319811909594224589931*c_1100_1^2 - 3027947656394285952677576025411947336/83835406601239708783071863480\ 21309379*c_1100_1 - 2030807019676719845178923974899623021/838354066\ 0123970878307186348021309379, c_1001_2 - 19082943285530021226070980783563545688/838354066012397087830\ 7186348021309379*c_1100_1^17 + 171619130422872317724187096555959755\ 68/931504517791552319811909594224589931*c_1100_1^16 - 201528962836934308549858492739642336206/279451355337465695943572878\ 2673769793*c_1100_1^15 + 1163180563565124294776720188030973332180/8\ 383540660123970878307186348021309379*c_1100_1^14 - 115941651781562415741093121473130380138/931504517791552319811909594\ 224589931*c_1100_1^13 - 430273246958926135353980257596087737888/838\ 3540660123970878307186348021309379*c_1100_1^12 + 242810454891710585853059453782746762461/279451355337465695943572878\ 2673769793*c_1100_1^11 + 1361189582307219876608093893728554639666/2\ 794513553374656959435728782673769793*c_1100_1^10 - 6852209204761468156947491251843449161333/83835406601239708783071863\ 48021309379*c_1100_1^9 + 154605045964179941971946168131751933023/27\ 94513553374656959435728782673769793*c_1100_1^8 + 4166146981023592452594268409951537843614/83835406601239708783071863\ 48021309379*c_1100_1^7 - 1009732351784518861212670958928894902824/8\ 383540660123970878307186348021309379*c_1100_1^6 - 1381522960622509829568786569722975953872/83835406601239708783071863\ 48021309379*c_1100_1^5 + 103213611341585945361858716852947822639/27\ 94513553374656959435728782673769793*c_1100_1^4 + 33240934052253357229435186585537889086/9315045177915523198119095942\ 24589931*c_1100_1^3 - 3318944434094610574165156497774122270/9315045\ 17791552319811909594224589931*c_1100_1^2 - 39389012712239400300984135604493983064/8383540660123970878307186348\ 021309379*c_1100_1 + 1248539532103428450018840211055223301/83835406\ 60123970878307186348021309379, c_1100_1^18 - 269/37*c_1100_1^17 + 942/37*c_1100_1^16 - 1418/37*c_1100_1^15 + 646/37*c_1100_1^14 + 1660/37*c_1100_1^13 - 143/37*c_1100_1^12 - 8439/37*c_1100_1^11 + 6289/37*c_1100_1^10 + 6259/37*c_1100_1^9 - 4043/37*c_1100_1^8 - 3027/37*c_1100_1^7 + 816/37*c_1100_1^6 + 898/37*c_1100_1^5 + 39/37*c_1100_1^4 - 81/37*c_1100_1^3 - 5/37*c_1100_1^2 + 5/37*c_1100_1 + 1/37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.620 Total time: 9.839 seconds, Total memory usage: 148.22MB