# expression.multiply¶

This function is overloaded, it supports these signatures:

• expression.multiply(exp)

The product (i.e., the concatenation) of two expressions: a.multiply(b) => ab.

• expression.multiply(num)

The repeated multiplication (concatenation) of an expression with itself: a.multiply(3) => aaa. Exponent -1 denotes the infinity: the Kleene star.

• expression.multiply((min,max))

The sum of repeated multiplications of an expression: a.multiply((2,4)) => aa+aaa+aaaa. When min = -1, it denotes 0, when max = -1, it denotes the infinity.

Preconditions:

• min <= max

## Examples¶

In :
import vcsn
exp = vcsn.context('law_char, q').expression


### Simple Multiplication¶

Instead of a.multiply(b), you may write a * b.

In :
exp('a*b') * exp('ab*')

Out:
${\mathit{a}}^{*} \, \mathit{b} \, \mathit{a} \, {\mathit{b}}^{*}$

Of course, trivial identities are applied.

In :
exp('<2>a') * exp('<3>\e')

Out:
$\left\langle 6 \right\rangle \,\mathit{a}$
In :
exp('<2>a') * exp('\z')

Out:
$\emptyset$

In the case of word labels, adjacent words are not fused: concatenation of two expressions behaves as if the expressions were parenthetized. Pay attention to the space between $a$ and $b$ below, admittedly too discreet.

In :
(exp('a') * exp('b')).SVG() # Two one-letter words

Out:
In :
exp('ab').SVG() # One two-letter word

Out:
In :
exp('(a)(b)').SVG() # Two one-letter words

Out:

### Repeated Multiplication¶

Instead of a.multiply(3), you may write a ** 3.

In :
exp('ab') ** 3

Out:
$\left(\mathit{ab}\right)^{3}$
In :
exp('ab') ** 0

Out:
$\varepsilon$

Beware that a * 3 actually denotes a.rweight(3).

In :
exp('a*') * 3

Out:
$\left\langle 3 \right\rangle \,{\mathit{a}}^{*}$

Use the exponent -1 to mean infinity. Alternatively, you may invoke a.star instead of a ** -1.

In :
exp('ab') ** -1

Out:
$\left(\mathit{ab}\right)^{*}$
In :
exp('ab').star()

Out:
$\left(\mathit{ab}\right)^{*}$

### Sums of Repeated Multiplications¶

Instead of a.multiply((2, 4)), you may write a ** (2, 4). Again, use exponent -1 to mean infinity.

In :
exp('ab') ** (2, 2)

Out:
$\left(\mathit{ab}\right)^{2}$
In :
exp('ab') ** (2, 4)

Out:
$\left(\mathit{ab}\right)^{2} \, \left(\varepsilon + \mathit{ab} + \left(\mathit{ab}\right)^{2}\right)$
In :
exp('ab') ** (-1, 2)

Out:
$\varepsilon + \mathit{ab} + \left(\mathit{ab}\right)^{2}$
In :
exp('ab') ** (2, -1)

Out:
$\left(\mathit{ab}\right)^{2} \, \left(\mathit{ab}\right)^{*}$