Skip to content

OnesMinusZeros ​

The number of ones less the number of zeros.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt000878via BinaryWord✓
OnesMinusZeros(word)The number of ones less the number of zeros.
Typed signatures
TypePackageApplies
(binary_word) -> numbercombinatoricsalways

Domain: Binary word statistics

Details
  • Defined over BinaryWord as an expression in _x, evaluated by compute-engine — the definition IS the implementation.
  • Takes a BinaryWord and nothing else — it reads values against their positions, or walks the orbits, so it needs the bijection. Applying it to a bare list is a type error, not a wrong answer.

Definition

Epsil, as the implementation runs it.

on BinaryWord, over _x

2 * Max(Sum(_x), 0) - Length(_x)

Examples

Basic #

the word 110100111110100111

live ↗
InOnesMinusZeros(BinaryWord⁡([1,1,0,1,0,0,1,1,1]))\mathrm{OnesMinusZeros}({\operatorname{BinaryWord}}([1, 1, 0, 1, 0, 0, 1, 1, 1]))Out33
Properties #

FindStat's value for 0

live ↗
InCombinatorialStat(BinaryWord⁡([0]),OnesMinusZeros)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([0]), \text{OnesMinusZeros})Out−1-1

Known value · FindStat St000878

FindStat's value for 1

live ↗
InCombinatorialStat(BinaryWord⁡([1]),OnesMinusZeros)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([1]), \text{OnesMinusZeros})Out11

Known value · FindStat St000878

FindStat's value for 00

live ↗
InCombinatorialStat(BinaryWord⁡([0,0]),OnesMinusZeros)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([0, 0]), \text{OnesMinusZeros})Out−2-2

Known value · FindStat St000878

About
Examples4
CrosswalkFindStat