The quadratic form on a tensor product #
Main definitions #
QuadraticForm.tensorDistrib (Q₁ ⊗ₜ Q₂): the quadratic form on
M₁ ⊗ M₂constructed by applying
M₂. This construction is not available in characteristic two.
The tensor product of two quadratic forms injects into quadratic forms on tensor products.
Note this is heterobasic; the quadratic form on the left can take values in a larger ring than the one on the right.
The tensor product of two quadratic forms, a shorthand for dot notation.