Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News Sign UpSign In
| Download
Views: 45856
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:

Examples

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

ab\abca \, b \backslash a \, b \, c

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

(a+b)\(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')

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