poly question

*To*: mathgroup at smc.vnet.net*Subject*: [mg58393] poly question*From*: János <janos.lobb at yale.edu>*Date*: Thu, 30 Jun 2005 04:37:30 -0400 (EDT)*Sender*: owner-wri-mathgroup at wolfram.com

I have a polynom called ftlmat (Dialog) In[187]:= ftlmat (Dialog) Out[187]= 2*a^2*b^2*c + 2*a*b^2*c*d - 2*b^2*c^2*d + b^2*c^2*d^2 + 4*a^2*b*c*e - 2*a^2*c^2*e + 2*a*b*c^2*e + 4*a*b*c*d*e - 4*a*c^2*d*e - 2*b*c^2*d*e - 2*c^2*d^2*e + 2*b*c^2*d^2* e + 2*a^2*c*e^2 + 2*a*c^2*e^2 + 2*a*c*d*e^2 + c^2*d^2*e^2 + 2*a^2*b*c*f - 2*a*b^2*d*f + 4*a*b*c*d*f - 4*b^2*c*d*f - 2*b^2*d^2*f + 2*b*c*d^2*f + 2*b^2*c*d^2* f - 2*a^2*c*e*f + 4*a*b*c*e*f - 4*a*b*d*e*f - 4*a*c*d*e*f - 4*b*c*d*e*f - 4*b*d^2*e*f - 2*c*d^2*e*f + 4*b*c*d^2*e*f + 4*a*c*e^2* f - 2*a*d*e^2*f - 2*d^2*e^2*f + 2*c*d^2*e^2* f + 2*a^2*b*f^2 + 4*a*b*d*f^2 - 2*b^2*d*f^2 + 2*b*d^2*f^2 + b^2*d^2*f^2 + 2*a*b*e*f^2 - 2*b*d*e*f^2 + 2*b*d^2*e*f^2 + 2*a*e^2*f^2 + d^2*e^2*f^2 If I do a PolynomialReduce of it the following way, I get: In[170]:= PolynomialReduce[ftlmat, {a*b*c, a*b*f, a*c*e, a*e*f, b*c*d, b*d*f, c*d*e, d*e*f}, {a, b, c, d, e, f}] Out[170]= {{2*a*b + 2*b*d + 4*a*e + 2*c*e + 4*d*e + 2*a*f + 4*d*f + 4*e*f, -2*b*d - 4*d*e + 2*a*f + 4*d*f + 2*e*f, -2*a*c - 4*c*d + 2*a*e + 2*c*e + 2*d*e - 2*a*f - 4*d*f + 4*e*f, -2*d*e + 2*e*f, -2*b*c + b*c*d - 2*c*e + 2*c*d*e - 4*b*f + 2*d*f + 2*b*d*f - 4*e*f + 4*d*e*f, -2*b*d - 4*d*e - 2*b*f + 2*d*f + b*d*f - 2*e*f + 2*d*e*f, -2*c*d + c*d*e - 2*d*f + 2*d*e*f, -2*d*e + d*e*f}, 0} The result show that the first poly I got - related to a*b*c - has all 6 variables, the next has 5 and the rest goes like 5,3,5,4,4,3. If I total them it is 35. My question is what series of polynomials should I use in PolymonialReduce to get results which contain the least amount of variables each - that is the total of the number of variables in each resulting polynom should be minimal, and on the same time the number of selected polynoms should be also minimal and their construction is "simple" - not necessary the same length as in my case - and I should not get any reminder in the result of PolynominalReduce. If I look PolynomialReduce as giving a "vectorization" of the polynom regarding to the selected {poly1,poly2,...} base, then the components of the result are the "polynomial projections" to the individual base polynoms. I would like to select a base where the resulting components have the minimum number of variables per component and I want this base to be as simple as possible, that is they also should have minimum number of variables in them. I am sure algebra has some theory for it, but my brain is just not recalling it right now. Any good tip, János