expression.lift.ipynb

Kernel: Python 3

expression.lift

$\renewcommand{\lweight}[2]{\bra{#1}{#2}} \renewcommand{\bra}[1]{\langle#1\rangle}$ Turn an expression into a spontaneous expression by mapping it into $\lweight{expression}{\varepsilon}$.

See also:

• automaton.lift

Examples

import vcsn
from IPython.display import display

a = vcsn.Q.expression('(<1>a+<2>b+<3>c){2}')
a

$\left(a + \left\langle 2 \right\rangle \,b + \left\langle 3 \right\rangle \,c\right)^{2}$

b = a.lift()
b

$\left\langle \left(a + \left\langle 2 \right\rangle \,b + \left\langle 3 \right\rangle \,c\right)^{2} \right\rangle \,\varepsilon$

display(a.context(), b.context())

$\{a, b, c\}\to\mathbb{Q}$

$\{\varepsilon\}\to\mathsf{RatE}[\{a, b, c\}\to\mathbb{Q}]$

display(a.type(), b.type())

'expressionset<letterset<char_letters(abc)>, q>'

'expressionset<lao, expressionset<letterset<char_letters(abc)>, q>>'