learn rules: +=>
+=> :
description:
op |ket> +=> sequence
add the sequence on the right hand side to the existing definition of op|ket>
if initially op|ket> is not defined, then just set it to the sequence
useful for piece by piece construction of a superposition
if the right hand side is a general sequence, it will be compiled to a sequence before being added to op|ket>
examples:
-- learn Sam's friends one ket at a time:
friends |Sam> +=> |Tom>
friends |Sam> +=> |Matt>
friends |Sam> +=> |Emma>
friends |Sam> +=> |Mary>
friends |Sam> +=> |Luke>
-- now see the full list:
sa: friends |Sam>
|Tom> + |Matt> + |Emma> + |Mary> + |Luke>
see also:
add-learn, => , .=> , #=> , !=>
Home