label.rdivide(l)

The right-quotient of label by l, i.e., the removal of a suffix. Written label / l, or sometimes $(\mathit{label})\ell^{-1}$.

See also:

• label.ldivide

Examples

import sys
import vcsn
label = vcsn.context('law_char, q').label
label('abcd').rdivide(label(''))

$\mathit{abcd}$

label('abcd').rdivide(label('d'))

$\mathit{abc}$

label('abcd').ldivide(label('abcd'))

$\varepsilon$

try:
    label('d').rdivide(label('abcd'))
except Exception as e:
    print(e, file=sys.stderr)

{abcd}*: rdivide: invalid arguments: d, abcd

label('abcd') / label('')

$\mathit{abcd}$