A pattern that acts as a vector of floating point numbers. Superpose adds the vectors. Append concatenates the vectors. Inner_product computes the conventionally-defined inner product.