description:
multiply(seq, seq)
the multiply function
takes element-wise multiply of the coefficients
examples:
multiply(3|a> + 1.2|b>, 3.5|a> + 0.9|b> + 5.13|c>)
10.5|a> + 1.08|b> + 0|c>
-- we can use it to implement the dot-product:
dot (*,*) #=> measure-currency multiply(|_self1>, |_self2>)
see also:
intersection, union, complement, addition