PositionsOfLetterOneIn132
Positions that start an occurrence of 132.
✓ checked against that system · ! checked, with disagreements (hover a chip)FindStat
St001685via Permutation✓PositionsOfLetterOneIn132(p)Positions that start an occurrence of 132.Typed signatures
| Type | Package | Applies |
|---|---|---|
(list<integer> | permutation) -> number | combinatorics | always |
Details
- Defined over
Permutationas an expression in_x, evaluated by compute-engine — the definition IS the implementation. - Takes a
Permutation, and also a bare list of integers: this reading compares entries with each other rather than with their positions, so it stands on any sequence.
Definition
Epsil, as the implementation runs it.
on Permutation, over _x
0 if Length(_x) < 3 else Count(Filter(
Range(1, Length(_x) - 2),
Function(Sum(Map(
Function(Count(Filter(
Range(j + 1, Length(_x)),
Function(_x[i] < _x[k] &&
_x[k] < _x[j], k),
)), j),
Range(
i + 1,
Length(_x) - 1,
),
)) > 0, i),
))Examples
Basic #
Properties #
About
| Examples | 6 |
|---|---|
| Crosswalk | FindStat |