infix operators, type 1: _


 _ :
    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