learn rules: .=>
.=> :
description:
op |ket> .=> sequence
sequence-append 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 sequence
if the right hand side is a general sequence, it will be compiled to a sequence before being appended to op|ket>
examples:
-- learn a sequence one ket at a time:
list-of |primes> .=> |2>
list-of |primes> .=> |3>
list-of |primes> .=> |5>
list-of |primes> .=> |7>
list-of |primes> .=> |11>
list-of |primes> .=> |13>
list-of |primes> .=> |17>
list-of |primes> .=> |19>
-- now see the full sequence:
sa: list-of |primes>
|2> . |3> . |5> . |7> . |11> . |13> . |17> . |19>
see also:
seq-learn, => , .=> , #=> , !=>
Home