_ :
description:
ket1 _ ket2
the infix operator for ket label merge
merge the labels of the two kets, and multiply their coefficients
Note the identity element for ket merging is the empty ket |>
Ie, ket _ |> == |> _ ket == ket, for any ket
examples:
-- "week" + "day":
|week> _ |day>
|weekday>
-- an abstract example showing the coefficient multiplication:
3|one> _ 5|two>
15|onetwo>
see also:
+ , - , __ , :_ , .
Home