All modules should be free modules over the same base ring, and the rank of the source of
f should be the product of the ranks of
F and
G. Recall that
** refers to the tensor product of modules, and that
dual G is a free module with the same rank as
G.
No computation is required. The resulting matrix has the same entries as
f, but in a different layout.
If
f is homogeneous, and
source f == F ** G, including the grading, then the resulting matrix will be homogeneous.
i1 : R = QQ[x_1 .. x_12];
|
i2 : f = genericMatrix(R,2,6)
o2 = | x_1 x_3 x_5 x_7 x_9 x_11 |
| x_2 x_4 x_6 x_8 x_10 x_12 |
2 6
o2 : Matrix R <--- R
|
i3 : g = adjoint(f,R^2,R^{-1,-1,-1})
o3 = {-1} | x_1 x_7 |
{-1} | x_2 x_8 |
{-1} | x_3 x_9 |
{-1} | x_4 x_10 |
{-1} | x_5 x_11 |
{-1} | x_6 x_12 |
6 2
o3 : Matrix R <--- R
|
i4 : isHomogeneous g
o4 = true
|