expansion
.ldivide(
xpn
)
¶xpn
//
expansion
¶An expansion which denotes the left quotient of both expansions. Beware that the notation lhs // rhs
is somewhat misleading, and corresponds to lhs \ rhs
, i.e. lhs
is the divisor, and rhs
the dividend.
Precondition:
See also:
import vcsn
ctx = vcsn.context('lan, q')
def exp(e):
return ctx.expression(e)
def xpn(e):
return exp(e).expansion()
xpn('ab') // xpn('abc')
The support for the left-quotient operator in expansion relies on the left quotient of the expansions. Contrast the following result with the previous one.
xpn('ab {\} abc')
And with a more complex expression:
xpn('[ab]* {\} (ab)*')
xpn('[ab]*') // xpn('(ab)*')
And the corresponding derived-term automaton:
exp('[ab]* {\} (ab)*').derived_term()