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: $$ \newcommand{\ldiv}{\mathbin{\backslash}} \newcommand{\rdiv}{\mathbin{/}} \newcommand{\Ed}{\mathsf{E}} \newcommand{\Fd}{\mathsf{F}} \Ed \rdiv \Fd := (\Fd^t \ldiv \Ed^t)^t $$

See also:

Examples

In [1]:
import vcsn
ctx = vcsn.context('law, q')
exp = lambda p: ctx.expression(p)
exp('abc') / exp('bc')
Out[1]:
$\left(\mathit{cb} \backslash \mathit{cba}\right)^{T}$