next up previous contents
Next: Other examples. Up: Linear algebra. Previous: Determinant

The 301 instruction.

  This multiplication takes 3 arguments: 2 objects at levels 3 and 2, and a real at level 1: the product type: