expression.ldivide.ipynb

Kernel: Python 3

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:

• automaton.ldivide

• expression.rdivide

• polynomial.ldivide

Examples

import vcsn
ctx = vcsn.context('lal, q')
exp = lambda p: ctx.expression(p)
exp('ab') // exp('abc')

$a \, b \backslash a \, b \, c$

exp('a+b') // exp('aa+ab+ba+bb')

$\left(a + b\right) \backslash \left(a \, a + a \, b + b \, a + b \, b\right)$

exp('<2>\e') // exp('a+<2>b')

$\left\langle 2 \right\rangle \,\varepsilon \backslash \left(a + \left\langle 2 \right\rangle \,b\right)$