expression.ldivide(exp)

exp//expression

An expression which denotes the left-quotient of both expressions. Beware that the notation lhs // rhs is somewhat misleading, and corresponds to lhs \ rhs, i.e. lhs is the divisor, and rhs the dividend.

Preconditions:

  • the division is valid

See also:

Examples

In [1]:
import vcsn
ctx = vcsn.context('lal, q')
exp = lambda p: ctx.expression(p)
exp('ab') // exp('abc')
Out[1]:
$a \, b \backslash a \, b \, c$
In [2]:
exp('a+b') // exp('aa+ab+ba+bb')
Out[2]:
$\left(a + b\right) \backslash \left(a \, a + a \, b + b \, a + b \, b\right)$
In [3]:
exp('<2>\e') // exp('a+<2>b')
Out[3]:
$ \left\langle 2 \right\rangle \,\varepsilon \backslash \left(a + \left\langle 2 \right\rangle \,b\right)$