Коэффициенты из бумаги М. Нисснер. Эффективное отбраковывание с обратной заплатой для аппаратной тесселяции.

Question

http://research.microsoft.com/en-us/um/people/cloop/vmvbpc.pdf В этой статье авторы демонстрируют новый метод отбраковки пятен с обратной стороны в области клипов. В разделе 5, использующем программное обеспечение символической алгебры для расширенного уравнения, они обнаружили, что все коэффициенты матрицы T(u,v) - это сумма сумм cross4. Они сгенерировали таблицу:

int idx[4][] = {{i1, j1, k1, l1},
...
{im, jm, km, lm}};
float wgt[] = {w1, ..., wm};

Поэтому я пытаюсь сделать то же самое, но я никогда не использовал программное обеспечение для символической алгебры. Все, что я сделал через 4 часа, было так (Wolfram Mathematica):

B[u_, v_] := Transpose[({
     {BernsteinBasis[3, 0, u]},
     {BernsteinBasis[3, 1, u]},
     {BernsteinBasis[3, 2, u]},
     {BernsteinBasis[3, 3, u]}
    })].({
    {b0, b1, b2, b3},
    {b4, b5, b6, b7},
    {b8, b9, b10, b11},
    {b12, b13, b14, b15}
   }).({
    {BernsteinBasis[3, 0, v]},
    {BernsteinBasis[3, 1, v]},
    {BernsteinBasis[3, 2, v]},
    {BernsteinBasis[3, 3, v]}
   })

fx[a_, b_, c_] := Det[({
    {a.y, b.y, c.y},
    {a.z, b.z, c.z},
    {a.w, b.w, c.w}
   })]

fy[a_, b_, c_] := -Det[({
     {a.x, b.x, c.x},
     {a.z, b.z, c.z},
     {a.w, b.w, c.w}
    })]


fz[a_, b_, c_] := Det[({
    {a.x, b.x, c.x},
    {a.y, b.y, c.y},
    {a.w, b.w, c.w}
   })]

fw[a_, b_, c_] := -Det[({
     {a.x, b.x, c.x},
     {a.y, b.y, c.y},
     {a.x, b.z, c.z}
    })]


cross4[a_, b_, c_] := Transpose[({
    {fx[a, b, c], fy[a, b, c], fz[a, b, c], fw[a, b, c]}
   })]

T[a_, b_] := 
 cross4[B[a, b], D[B[u, v], u] /. u -> a /. v -> b, 
  D[B[u, v], v] /. u -> a /. v -> b]

Может ли кто-нибудь, кто хорошо разбирается в символической алгебре, помочь мне сгенерировать эту таблицу?