On 07/28/2015 01:54 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?=
<[email protected]>" wrote:
On Tuesday, 28 July 2015 at 11:23:07 UTC, Elvis Zhou wrote:
WTF does 'Seq' means?
AliasSequence is much better!
Seq is a function that maps natural numbers to values in the set X.
«A finite sequence is a finite indexed set of values of the same type,
whose domain is a contiguous set of positive integers starting at 1.»
In Z-notation:
«seq X is the set of all finite sequences of values of X , that is, of
finite functions from the set 1 . . n, for some n, to elements of X .»
«seq1 X is the set of all non-empty finite sequences of values of X .»
«iseq X is the set of injective finite sequences over X : these are
precisely the
finite sequences over X which contain no repetitions.»
Hence AliasSeq: It is 'seq alias'.
It's like IntList which is 'list int'.
Also, this usage is quite common, but still, I was under the impression
that you consider it important to provide sources. :-)
