operator: exp-max

    description:
        exp-max[op] |x>
        exp(op) applied to |x>, ignoring factors of 1/n!
        if you want the 1/n! too, then see full-exp
        cf: exp(A) |Psi> in quantum mechanics
        ie: (1 + op + op^2 + ... + op^n) |x>
        where we go to full depth
        ie, n is such that len(exp[op, n] |x>) == len(exp[op, n+1] |x>)

    examples:
        -- load a binary tree:
        load tree.sw

        -- entire left branch of tree:
        exp-max[left] |x>
            n: 4
            |x> + |0> + |00> + |000> + |0000>
            
        -- full tree starting from |11>:
        exp-max[child] |11>
            n: 2
            |11> + |110> + |111> + |1100> + |1101> + |1110> + |1111>
        
        -- find the lengths of the node names in the full tree:
        ket-length exp-max[child] |x>
            n: 4
            3|number: 1> + 4|number: 2> + 8|number: 3> + 16|number: 4>

    see also:
        exp, full-exp

Home