expansion.conjunction(xpn)

Create an expansion which denotes the conjunction of both denoted series.

Preconditions:

• None

See also:

• automaton.conjunction
• expression.conjunction
• polynomial.conjunction

References:

• demaille.2016.ictac introduces expansions and their support for conjunction

Examples

import vcsn
def xpn(e):
    return vcsn.Q.expression(e).expansion()
a = xpn('<2>a*b')
a

$a \odot \left[\left\langle 2\right\rangle {a}^{*} \, b\right] \oplus b \odot \left[\left\langle 2\right\rangle \varepsilon\right]$

b = xpn('<3>ab*')
b

$a \odot \left[\left\langle 3\right\rangle {b}^{*}\right]$

a & b

$a \odot \left[\left\langle 6\right\rangle {a}^{*} \, b \& {b}^{*}\right]$

vcsn.Q.expression('<2>a*b & <3>ab*').derived_term()