weight.rdivide.ipynb

Kernel: Python 3

weight.rdivide(w)

w // weight

The right quotient of weight by w. Written weight / w, or sometimes $w^{-1}(\mathit{weight})w$. Is equivalent to left quotient on commutative weightsets.

See also:

• weight.ldivide

Examples

import sys
import vcsn
weight = vcsn.context('lal, q').weight
weight('3').rdivide(weight('4'))

$\frac{3}{4}$

weight('3') / weight('4')

$\frac{3}{4}$

weight('3') // weight('4')

$\frac{4}{3}$

weight('2') / weight('4')

$\frac{1}{2}$

try:
    weight('4') / weight('0')
except Exception as e:
    print(e, file=sys.stderr)

Q: div: division by zero