Kernel: Python 3
expansion
.ldivide(
xpn
)
xpn
//
expansion
An expansion which denotes the left quotient of both expansions. Beware that the notation lhs // rhs
is somewhat misleading, and corresponds to lhs \ rhs
, i.e. lhs
is the divisor, and rhs
the dividend.
Precondition:
the labelset features a one (empty word)
See also:
Examples
In [1]:
The support for the left-quotient operator in expansion relies on the left quotient of the expansions. Contrast the following result with the previous one.
In [2]:
And with a more complex expression:
In [3]:
In [4]:
And the corresponding derived-term automaton:
In [5]: