expression.rdivide.ipynb

Kernel: Python 3

expression.rdivide(exp)

expression/exp

An expression which denotes the right-quotient of both expressions. This operator is only syntactic sugar for the transpose of the left quotient operation over the transpose of the parameters: $$\renewcommand{\ldiv}{\mathbin{\backslash}} \renewcommand{\rdiv}{\mathbin{/}} \renewcommand{\Ed}{\mathsf{E}} \renewcommand{\Fd}{\mathsf{F}} \Ed \rdiv \Fd := (\Fd^t \ldiv \Ed^t)^t$$

See also:

• automaton.rdivide

• expression.ldivide

• label.rdivide

• weight.rdivide

Examples

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

$\left(\mathit{cb} \backslash \mathit{cba}\right)^{T}$