0
$\begingroup$

I am reading this paper and looking at Section 2.1:

If $\sigma$ is a sequence over $K$ and $L \subseteq K$, then $\sigma \lceil L$ denotes the sequence obtained by projecting $\sigma$ on $L$.

What exactly does "projecting $\sigma$ on $L$" mean? I've never encountered this set notation before.

$\endgroup$
1
  • 1
    $\begingroup$ $\sigma\lceil L$ appears to be the sequence obtained from $\sigma$ by dropping out all elements of $K\setminus L$. $\endgroup$ Commented Nov 1, 2015 at 23:57

1 Answer 1

0
$\begingroup$

As Brian Scott wrote, the answer is that

"$\sigma \lceil L$ appears to be the sequence obtained from $\sigma$ by dropping out all elements of $K \backslash L$."

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .