Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download
Views: 45860
Kernel: Python 3

expression.partial_identity

An expression which denotes a partial identity of the series denoted by the input expression. In other words, every label \ell is turned into a two-tape label \ell|\ell.

Postconditions:

  • The identities are preserved.

See also:

Examples

import vcsn e = vcsn.Q.expression('ab*<3>c', 'associative') e

ab3ca \, {b}^{*} \, \left\langle 3 \right\rangle \,c

e2 = e.partial_identity() e2

(aa)(bb)3(cc)\left(a|a\right) \, \left(b|b\right)^{*} \, \left\langle 3 \right\rangle \,\left(c|c\right)

e2.context()

{a,b,c}×{a,b,c}Q\{a, b, c\} \times \{a, b, c\}\to\mathbb{Q}

e2.project(0)

ab3ca \, {b}^{*} \, \left\langle 3 \right\rangle \,c

e2.project(1)

ab3ca \, {b}^{*} \, \left\langle 3 \right\rangle \,c