expansion
.project(tape)
¶An expansion that keeps only the selected tape of the original expansion.
Preconditions:
tape
number is smaller than the number of tapes.import vcsn
ctx = vcsn.context("lat<lan_char(ab), lan_char(cd), lan_char(ef)>, q")
x = ctx.expression("a*|c|[ef]").expansion()
x
x.project(0)
x.project(1)
x.project(2)