MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: Sudoku puzzle
  • Next by Date: Re: Periodic function Roots
  • Previous by thread: Square-root Kalman Information filter