Magma V2.19-8 Tue Aug 20 2013 17:58:13 on localhost [Seed = 3246421399] Type ? for help. Type -D to quit. Loading file "10_100__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_100 geometric_solution 12.81088257 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 3 0132 0132 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 1 0 -1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168883086977 1.778302176153 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 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439060334756 0.862278266489 7 0 8 3 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 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 1.062438266708 1.106579048966 6 0 2 0 0132 1302 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 0 0 1 0 -1 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.550170969302 0.824813622815 9 1 9 10 0132 0132 3120 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 -1 1 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.387664283814 0.489359190433 11 7 1 12 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799587031715 0.671711161990 3 8 11 1 0132 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 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.689878539737 1.504771237181 2 9 8 5 0132 0132 3120 3201 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 1 0 -12 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439060334756 0.862278266489 12 6 7 2 1302 3120 3120 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 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748244215807 0.549132696594 4 7 4 13 0132 0132 3120 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 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.387664283814 0.489359190433 11 12 4 13 2310 2310 0132 0213 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 0 0 -11 0 -1 12 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342615072299 0.469803285609 5 13 10 6 0132 0132 3201 0132 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 1 -1 0 0 0 1 -1 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365986959365 0.945620038954 13 8 5 10 0132 2031 0132 3201 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 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365986959365 0.945620038954 12 11 9 10 0132 0132 0132 0213 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 -1 1 0 0 0 1 -1 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342615072299 0.469803285609 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_13'], 'c_1001_6' : d['c_1001_13'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_1001_4']), 'c_1001_8' : negation(d['c_1001_13']), 'c_1010_13' : negation(d['c_0101_10']), 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_1001_13'], 'c_1010_10' : negation(d['c_0101_13']), 's_0_10' : d['1'], 's_3_10' : 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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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' : negation(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_0101_13']), 'c_1100_8' : d['c_0101_1'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_1'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_10']), 'c_1100_13' : negation(d['c_0101_13']), 's_0_11' : negation(d['1']), 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_1001_4']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_1001_13'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), '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_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(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_0101_0'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0101_13'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_11'], 'c_0011_7' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_13'], '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' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_2'], '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' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_2, c_1001_0, c_1001_13, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 785680997248122408058214978891315/490264831547711066805504*c_1001_4\ ^13 - 52232038385966304733305919127820217/980529663095422133611008*\ c_1001_4^12 + 67751373366087603399981962603719175/15085071739929571\ 2863232*c_1001_4^11 - 7652910138282078002012465106845050075/3922118\ 652381688534444032*c_1001_4^10 + 6957348876469200192106065258884491\ 607/1307372884127229511481344*c_1001_4^9 - 38949251849722278170339535421830851191/3922118652381688534444032*c_\ 1001_4^8 + 17286864501132876849816060347876294787/13073728841272295\ 11481344*c_1001_4^7 - 50180483976572702032455519967192902019/392211\ 8652381688534444032*c_1001_4^6 + 3536412425891115709912828011732506\ 9987/3922118652381688534444032*c_1001_4^5 - 161595716334694529436577146728444795/35334402273708905715712*c_1001\ _4^4 + 1591066338202566165953853408481690775/9805296630954221336110\ 08*c_1001_4^3 - 23373713054436984565800428397444569/612831039434638\ 83350688*c_1001_4^2 + 1631841178759890591134622939174833/3064155197\ 1731941675344*c_1001_4 - 12790722010981552825542867131143/383019399\ 6466492709418, c_0011_0 - 1, c_0011_10 - 1331429462082977514165475/769646517343345473792*c_1001_4^13 + 22473581403237027766298555/384823258671672736896*c_1001_4^12 - 1582150882688558883339452527/3078586069373381895168*c_1001_4^11 + 7186013830206136890593784013/3078586069373381895168*c_1001_4^10 - 6823707068272062437303794253/1026195356457793965056*c_1001_4^9 + 39835222899212399235520995529/3078586069373381895168*c_1001_4^8 - 18392144740242803957156975837/1026195356457793965056*c_1001_4^7 + 55338008362160991911287946719/3078586069373381895168*c_1001_4^6 - 40192143959583532126452441887/3078586069373381895168*c_1001_4^5 + 23446086232838431829026729/3466876204249303936*c_1001_4^4 - 232469464466019939508862053/96205814667918184224*c_1001_4^3 + 6734198525186028198438989/12025726833489773028*c_1001_4^2 - 898725006183035670055915/12025726833489773028*c_1001_4 + 12858203969181468040732/3006431708372443257, c_0011_11 + 1331429462082977514165475/769646517343345473792*c_1001_4^13 - 22473581403237027766298555/384823258671672736896*c_1001_4^12 + 1582150882688558883339452527/3078586069373381895168*c_1001_4^11 - 7186013830206136890593784013/3078586069373381895168*c_1001_4^10 + 6823707068272062437303794253/1026195356457793965056*c_1001_4^9 - 39835222899212399235520995529/3078586069373381895168*c_1001_4^8 + 18392144740242803957156975837/1026195356457793965056*c_1001_4^7 - 55338008362160991911287946719/3078586069373381895168*c_1001_4^6 + 40192143959583532126452441887/3078586069373381895168*c_1001_4^5 - 23446086232838431829026729/3466876204249303936*c_1001_4^4 + 232469464466019939508862053/96205814667918184224*c_1001_4^3 - 6734198525186028198438989/12025726833489773028*c_1001_4^2 + 898725006183035670055915/12025726833489773028*c_1001_4 - 12858203969181468040732/3006431708372443257, c_0011_3 + 282146654652790434888655/192411629335836368448*c_1001_4^13 - 4803902060464991112865781/96205814667918184224*c_1001_4^12 + 346440600713510553683907691/769646517343345473792*c_1001_4^11 - 1620102119534371321657657453/769646517343345473792*c_1001_4^10 + 1591260801637214726029200269/256548839114448491264*c_1001_4^9 - 9659213609545826978897577913/769646517343345473792*c_1001_4^8 + 4667582660937438642401386637/256548839114448491264*c_1001_4^7 - 14821218243405491840967244903/769646517343345473792*c_1001_4^6 + 11483924680963155102034844615/769646517343345473792*c_1001_4^5 - 14496739401230522319526055/1733438102124651968*c_1001_4^4 + 19804395333539078529873133/6012863416744886514*c_1001_4^3 - 20738971257599400646534921/24051453666979546056*c_1001_4^2 + 1615877187599221203757711/12025726833489773028*c_1001_4 - 28279325751798158268382/3006431708372443257, c_0011_8 + c_1001_4 - 1, c_0101_0 + 7290047963627454896739155/769646517343345473792*c_1001_4^13 - 124128288129390589149441571/384823258671672736896*c_1001_4^12 + 8951549856988522392020793119/3078586069373381895168*c_1001_4^11 - 41830764255451416400456843277/3078586069373381895168*c_1001_4^10 + 41023925513574257144677561037/1026195356457793965056*c_1001_4^9 - 248431456773252194272962018953/3078586069373381895168*c_1001_4^8 + 119646881513333534697054905245/1026195356457793965056*c_1001_4^7 - 378215033465233499917492066175/3078586069373381895168*c_1001_4^6 + 291334637786766890976450068671/3078586069373381895168*c_1001_4^5 - 182502398572829847255157131/3466876204249303936*c_1001_4^4 + 1975709366379273257799652823/96205814667918184224*c_1001_4^3 - 31950143742158692549899053/6012863416744886514*c_1001_4^2 + 9818406923099302891889915/12025726833489773028*c_1001_4 - 169071159396227101146128/3006431708372443257, c_0101_1 - 677998448732775114368225/64137209778612122816*c_1001_4^13 + 69402952997762800556465965/192411629335836368448*c_1001_4^12 - 838659060011666895675510189/256548839114448491264*c_1001_4^11 + 369722545575630326020521113/24051453666979546056*c_1001_4^10 - 1460531919049425273451490345/32068604889306061408*c_1001_4^9 + 5942422084869528891503137769/64137209778612122816*c_1001_4^8 - 25982465181543947816948281585/192411629335836368448*c_1001_4^7 + 55296545998359467122322573353/384823258671672736896*c_1001_4^6 - 43074275830682872840433434309/384823258671672736896*c_1001_4^5 + 437309121381824696762497453/6933752408498607872*c_1001_4^4 - 100090109343313399000043899/4008575611163257676*c_1001_4^3 + 316030394296578404716165835/48102907333959092112*c_1001_4^2 - 1030973789559043485357678/1002143902790814419*c_1001_4 + 217575364777720447910755/3006431708372443257, c_0101_10 - 10566857911306419424738765/769646517343345473792*c_1001_4^1\ 3 + 179767223932288336760838673/384823258671672736896*c_1001_4^12 - 12933544059985776614750486977/3078586069373381895168*c_1001_4^11 + 60276012399047598147894876059/3078586069373381895168*c_1001_4^10 - 58939039495310618675920459995/1026195356457793965056*c_1001_4^9 + 355769028553771370428290226783/3078586069373381895168*c_1001_4^8 - 512194028869985446287775002817/3078586069373381895168*c_1001_4^7 + 179185089187304532733806976355/1026195356457793965056*c_1001_4^6 - 412223176684506736697815614889/3078586069373381895168*c_1001_4^5 + 64231168216624377993594955/866719051062325984*c_1001_4^4 - 2765387377053767867416909471/96205814667918184224*c_1001_4^3 + 177714868793855308097773547/24051453666979546056*c_1001_4^2 - 13552674059257803941799133/12025726833489773028*c_1001_4 + 231451089289666890919982/3006431708372443257, c_0101_11 - 6661356421118692014885/1002143902790814419*c_1001_4^13 + 2712177474917803070584153/12025726833489773028*c_1001_4^12 - 8068240500836184772223081/4008575611163257676*c_1001_4^11 + 447229910642579420260658761/48102907333959092112*c_1001_4^10 - 433037448743394485869241051/16034302444653030704*c_1001_4^9 + 861901959922608195866211509/16034302444653030704*c_1001_4^8 - 3677875947734082833606821321/48102907333959092112*c_1001_4^7 + 3807864949574096676640699439/48102907333959092112*c_1001_4^6 - 2875358361763790782915567067/48102907333959092112*c_1001_4^5 + 14086872868952377369149033/433359525531162992*c_1001_4^4 - 99073378589701576501120327/8017151222326515352*c_1001_4^3 + 37341721509863707552195319/12025726833489773028*c_1001_4^2 - 462668765807056603408630/1002143902790814419*c_1001_4 + 92178866571794892534334/3006431708372443257, c_0101_13 - 10566857911306419424738765/769646517343345473792*c_1001_4^1\ 3 + 179767223932288336760838673/384823258671672736896*c_1001_4^12 - 12933544059985776614750486977/3078586069373381895168*c_1001_4^11 + 60276012399047598147894876059/3078586069373381895168*c_1001_4^10 - 58939039495310618675920459995/1026195356457793965056*c_1001_4^9 + 355769028553771370428290226783/3078586069373381895168*c_1001_4^8 - 512194028869985446287775002817/3078586069373381895168*c_1001_4^7 + 179185089187304532733806976355/1026195356457793965056*c_1001_4^6 - 412223176684506736697815614889/3078586069373381895168*c_1001_4^5 + 64231168216624377993594955/866719051062325984*c_1001_4^4 - 2765387377053767867416909471/96205814667918184224*c_1001_4^3 + 177714868793855308097773547/24051453666979546056*c_1001_4^2 - 13552674059257803941799133/12025726833489773028*c_1001_4 + 231451089289666890919982/3006431708372443257, c_0101_2 - 7290047963627454896739155/769646517343345473792*c_1001_4^13 + 124128288129390589149441571/384823258671672736896*c_1001_4^12 - 8951549856988522392020793119/3078586069373381895168*c_1001_4^11 + 41830764255451416400456843277/3078586069373381895168*c_1001_4^10 - 41023925513574257144677561037/1026195356457793965056*c_1001_4^9 + 248431456773252194272962018953/3078586069373381895168*c_1001_4^8 - 119646881513333534697054905245/1026195356457793965056*c_1001_4^7 + 378215033465233499917492066175/3078586069373381895168*c_1001_4^6 - 291334637786766890976450068671/3078586069373381895168*c_1001_4^5 + 182502398572829847255157131/3466876204249303936*c_1001_4^4 - 1975709366379273257799652823/96205814667918184224*c_1001_4^3 + 31950143742158692549899053/6012863416744886514*c_1001_4^2 - 9818406923099302891889915/12025726833489773028*c_1001_4 + 169071159396227101146128/3006431708372443257, c_1001_0 - 220687308727821387580265/48102907333959092112*c_1001_4^13 + 3768150072646561738659583/24051453666979546056*c_1001_4^12 - 273815660762917481616379949/192411629335836368448*c_1001_4^11 + 1291172444125620197151402371/192411629335836368448*c_1001_4^10 - 1279325545102490708433062723/64137209778612122816*c_1001_4^9 + 7837656501024287292231327035/192411629335836368448*c_1001_4^8 - 3824788073704914704567618727/64137209778612122816*c_1001_4^7 + 12274700821258402547234946269/192411629335836368448*c_1001_4^6 - 9621693236811529988216319445/192411629335836368448*c_1001_4^5 + 6150909236718425637158107/216679762765581496*c_1001_4^4 - 545407255864349501219058757/48102907333959092112*c_1001_4^3 + 145014910358284191466809505/48102907333959092112*c_1001_4^2 - 2872996022567949489394489/6012863416744886514*c_1001_4 + 102441382448016872230865/3006431708372443257, c_1001_13 + c_1001_4 - 1, c_1001_4^14 - 13618/395*c_1001_4^13 + 101547/316*c_1001_4^12 - 2471617/1580*c_1001_4^11 + 1525751/316*c_1001_4^10 - 16292333/1580*c_1001_4^9 + 25177331/1580*c_1001_4^8 - 28790227/1580*c_1001_4^7 + 24551251/1580*c_1001_4^6 - 3888089/395*c_1001_4^5 + 1800964/395*c_1001_4^4 - 591296/395*c_1001_4^3 + 130048/395*c_1001_4^2 - 17152/395*c_1001_4 + 1024/395 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_2, c_1001_0, c_1001_13, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 491747081162/563823909*c_1001_4^11 + 2622767639050/187941303*c_1001_4^10 + 3988942396694/62647101*c_1001_4^9 - 10766281768523/62647101*c_1001_4^8 - 7361397481990/62647101*c_1001_4^7 + 1313061669781/2320263*c_1001_4^6 + 4475912959708/20882367*c_1001_4^5 - 812381133661/302643*c_1001_4^4 + 3766050519398/773421*c_1001_4^3 - 4739555412/1019*c_1001_4^2 + 5879561149964/2320263*c_1001_4 - 488289048880/773421, c_0011_0 - 1, c_0011_10 - 4284899/62647101*c_1001_13*c_1001_4^11 - 67850804/62647101*c_1001_13*c_1001_4^10 - 11137285/2320263*c_1001_13*c_1001_4^9 + 100969760/6960789*c_1001_13*c_1001_4^8 + 18569996/2320263*c_1001_13*c_1001_4^7 - 330781370/6960789*c_1001_13*c_1001_4^6 - 3292319/257807*c_1001_13*c_1001_4^5 + 22045055/100881*c_1001_13*c_1001_4^4 - 315794746/773421*c_1001_13*c_1001_4^3 + 1215415/3057*c_1001_13*c_1001_4^2 - 56991344/257807*c_1001_13*c_1001_4 + 14666655/257807*c_1001_13 + 3577319/62647101*c_1001_4^11 + 18822484/20882367*c_1001_4^10 + 27577210/6960789*c_1001_4^9 - 85704281/6960789*c_1001_4^8 - 42004843/6960789*c_1001_4^7 + 31301452/773421*c_1001_4^6 + 20006312/2320263*c_1001_4^5 - 2067963/11209*c_1001_4^4 + 270961370/773421*c_1001_4^3 - 350574/1019*c_1001_4^2 + 49606830/257807*c_1001_4 - 12854697/257807, c_0011_11 - 4284899/62647101*c_1001_13*c_1001_4^11 - 67850804/62647101*c_1001_13*c_1001_4^10 - 11137285/2320263*c_1001_13*c_1001_4^9 + 100969760/6960789*c_1001_13*c_1001_4^8 + 18569996/2320263*c_1001_13*c_1001_4^7 - 330781370/6960789*c_1001_13*c_1001_4^6 - 3292319/257807*c_1001_13*c_1001_4^5 + 22045055/100881*c_1001_13*c_1001_4^4 - 315794746/773421*c_1001_13*c_1001_4^3 + 1215415/3057*c_1001_13*c_1001_4^2 - 56991344/257807*c_1001_13*c_1001_4 + 14666655/257807*c_1001_13 - 3756905/62647101*c_1001_4^11 - 20138491/20882367*c_1001_4^10 - 93120107/20882367*c_1001_4^9 + 79327229/6960789*c_1001_4^8 + 60228323/6960789*c_1001_4^7 - 9799638/257807*c_1001_4^6 - 39841754/2320263*c_1001_4^5 + 2040001/11209*c_1001_4^4 - 249012707/773421*c_1001_4^3 + 307789/1019*c_1001_4^2 - 41725143/257807*c_1001_4 + 10164702/257807, c_0011_3 + 942737/6960789*c_1001_4^11 + 135713434/62647101*c_1001_4^10 + 206173309/20882367*c_1001_4^9 - 559395664/20882367*c_1001_4^8 - 14216068/773421*c_1001_4^7 + 612363077/6960789*c_1001_4^6 + 77780929/2320263*c_1001_4^5 - 42103775/100881*c_1001_4^4 + 584797271/773421*c_1001_4^3 - 2208029/3057*c_1001_4^2 + 101672442/257807*c_1001_4 - 25334631/257807, c_0011_8 + c_1001_13 - 8443939/62647101*c_1001_4^11 - 44965282/20882367*c_1001_4^10 - 204221306/20882367*c_1001_4^9 + 6938409/257807*c_1001_4^8 + 125799994/6960789*c_1001_4^7 - 205050424/2320263*c_1001_4^6 - 75223034/2320263*c_1001_4^5 + 14046020/33627*c_1001_4^4 - 586794118/773421*c_1001_4^3 + 738360/1019*c_1001_4^2 - 101934864/257807*c_1001_4 + 25453899/257807, c_0101_0 - 4284899/62647101*c_1001_4^11 - 67850804/62647101*c_1001_4^10 - 11137285/2320263*c_1001_4^9 + 100969760/6960789*c_1001_4^8 + 18569996/2320263*c_1001_4^7 - 330781370/6960789*c_1001_4^6 - 3292319/257807*c_1001_4^5 + 22045055/100881*c_1001_4^4 - 315794746/773421*c_1001_4^3 + 1215415/3057*c_1001_4^2 - 56991344/257807*c_1001_4 + 14666655/257807, c_0101_1 - 3388234/62647101*c_1001_4^11 - 54580415/62647101*c_1001_4^10 - 84514937/20882367*c_1001_4^9 + 211820953/20882367*c_1001_4^8 + 55609591/6960789*c_1001_4^7 - 234548035/6960789*c_1001_4^6 - 12457744/773421*c_1001_4^5 + 16387436/100881*c_1001_4^4 - 221780969/773421*c_1001_4^3 + 823711/3057*c_1001_4^2 - 37329339/257807*c_1001_4 + 9098367/257807, c_0101_10 + 15254/773421*c_1001_13*c_1001_4^11 + 18818683/62647101*c_1001_13*c_1001_4^10 + 24619393/20882367*c_1001_13*c_1001_4^9 - 4100890/773421*c_1001_13*c_1001_4^8 - 3062270/2320263*c_1001_13*c_1001_4^7 + 115259446/6960789*c_1001_13*c_1001_4^6 - 586324/2320263*c_1001_13*c_1001_4^5 - 7118434/100881*c_1001_13*c_1001_4^4 + 111615415/773421*c_1001_13*c_1001_4^3 - 455741/3057*c_1001_13*c_1001_4^2 + 22650715/257807*c_1001_13*c_1001_4 - 6313911/257807*c_1001_13 + 3999826/62647101*c_1001_4^11 + 64420343/62647101*c_1001_4^10 + 11084215/2320263*c_1001_4^9 - 83133932/6960789*c_1001_4^8 - 63474496/6960789*c_1001_4^7 + 276939512/6960789*c_1001_4^6 + 41379251/2320263*c_1001_4^5 - 19359272/100881*c_1001_4^4 + 88098243/257807*c_1001_4^3 - 985864/3057*c_1001_4^2 + 44771645/257807*c_1001_4 - 10959933/257807, c_0101_11 - 5491174/62647101*c_1001_4^11 - 87572930/62647101*c_1001_4^10 - 43987418/6960789*c_1001_4^9 + 369815134/20882367*c_1001_4^8 + 79647614/6960789*c_1001_4^7 - 403764238/6960789*c_1001_4^6 - 46286078/2320263*c_1001_4^5 + 27539770/100881*c_1001_4^4 - 128781450/257807*c_1001_4^3 + 1467784/3057*c_1001_4^2 - 67727931/257807*c_1001_4 + 16887878/257807, c_0101_13 - 15254/773421*c_1001_13*c_1001_4^11 - 18818683/62647101*c_1001_13*c_1001_4^10 - 24619393/20882367*c_1001_13*c_1001_4^9 + 4100890/773421*c_1001_13*c_1001_4^8 + 3062270/2320263*c_1001_13*c_1001_4^7 - 115259446/6960789*c_1001_13*c_1001_4^6 + 586324/2320263*c_1001_13*c_1001_4^5 + 7118434/100881*c_1001_13*c_1001_4^4 - 111615415/773421*c_1001_13*c_1001_4^3 + 455741/3057*c_1001_13*c_1001_4^2 - 22650715/257807*c_1001_13*c_1001_4 + 6313911/257807*c_1001_13 - 950501/62647101*c_1001_4^11 - 15388222/62647101*c_1001_4^10 - 24141763/20882367*c_1001_4^9 + 6357394/2320263*c_1001_4^8 + 16951318/6960789*c_1001_4^7 - 61417588/6960789*c_1001_4^6 - 11162056/2320263*c_1001_4^5 + 4432651/100881*c_1001_4^4 - 20038466/257807*c_1001_4^3 + 226190/3057*c_1001_4^2 - 10431016/257807*c_1001_4 + 2607189/257807, c_0101_2 + 4284899/62647101*c_1001_4^11 + 67850804/62647101*c_1001_4^10 + 11137285/2320263*c_1001_4^9 - 100969760/6960789*c_1001_4^8 - 18569996/2320263*c_1001_4^7 + 330781370/6960789*c_1001_4^6 + 3292319/257807*c_1001_4^5 - 22045055/100881*c_1001_4^4 + 315794746/773421*c_1001_4^3 - 1215415/3057*c_1001_4^2 + 56991344/257807*c_1001_4 - 14666655/257807, c_1001_0 + 2530648/20882367*c_1001_4^11 + 122187374/62647101*c_1001_4^10 + 188740771/20882367*c_1001_4^9 - 159365326/6960789*c_1001_4^8 - 123843760/6960789*c_1001_4^7 + 175486877/2320263*c_1001_4^6 + 80906666/2320263*c_1001_4^5 - 36828056/100881*c_1001_4^4 + 500638190/773421*c_1001_4^3 - 621468/1019*c_1001_4^2 + 84706234/257807*c_1001_4 - 20723579/257807, c_1001_13^2 - 8443939/62647101*c_1001_13*c_1001_4^11 - 44965282/20882367*c_1001_13*c_1001_4^10 - 204221306/20882367*c_1001_13*c_1001_4^9 + 6938409/257807*c_1001_13*c_1001_4^8 + 125799994/6960789*c_1001_13*c_1001_4^7 - 205050424/2320263*c_1001_13*c_1001_4^6 - 75223034/2320263*c_1001_13*c_1001_4^5 + 14046020/33627*c_1001_13*c_1001_4^4 - 586794118/773421*c_1001_13*c_1001_4^3 + 738360/1019*c_1001_13*c_1001_4^2 - 101934864/257807*c_1001_13*c_1001_4 + 25453899/257807*c_1001_13 + c_1001_4^2 - 2*c_1001_4 + 1, c_1001_4^12 + 15*c_1001_4^11 + 57*c_1001_4^10 - 270*c_1001_4^9 + 63*c_1001_4^8 + 783*c_1001_4^7 - 405*c_1001_4^6 - 3321*c_1001_4^5 + 8667*c_1001_4^4 - 10935*c_1001_4^3 + 8262*c_1001_4^2 - 3645*c_1001_4 + 729 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 25.390 Total time: 25.600 seconds, Total memory usage: 193.06MB