expansion.lweight.ipynb

Kernel: Python 3

expansion.lweight(weight)

The left scalar product of an expansion by a weight.

See also:

• expression.lweight

• expansion.rweight

Examples

import vcsn
c = vcsn.context('lal_char, q')

e = c.expression('<2>a(b+<3>c)')
x = e.expansion()
x

$a \odot \left[\left\langle 2\right\rangle b + \left\langle 3 \right\rangle \,c\right]$

x.lweight(c.weight('4'))

$a \odot \left[\left\langle 8\right\rangle b + \left\langle 3 \right\rangle \,c\right]$

Instead of x.lweight(w), you may write w * x.

c.weight('4') * x

$a \odot \left[\left\langle 8\right\rangle b + \left\langle 3 \right\rangle \,c\right]$

You may even run the simpler:

4 * x

$a \odot \left[\left\langle 8\right\rangle b + \left\langle 3 \right\rangle \,c\right]$

The expansion of a scalar product is the scalar product of the expansion:

(4*e).expansion()

$a \odot \left[\left\langle 8\right\rangle b + \left\langle 3 \right\rangle \,c\right]$