Given two k-forms a and b,
return the inner product
,<a,b>. Here our
underlying vector space V is R^nR^n.
The inner product is a symmetric bilinear form defined in two stages.
First, we specify its behaviour on decomposable k-forms
=_1_komitted and
=_1_komitted as
,=(
_i,_j_1 i,j n)
omitted
and secondly, we extend to the whole of ^k(V)omitted
through linearity.