GrayNext

The next word in the Gray code: flip the first letter when the ones are even in number, else the letter after the first one.

FindStatMp00272via BinaryWord↗

GrayNext(BinaryWord)The next word in the Gray code: flip the first letter when the ones are even in number, else the letter after the first one.

Typed signatures

Type	Package	Applies
(binary_word) -> binary_word	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a BinaryWord and returns a BinaryWord — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00272, a bijection. The last word of the code, with its only one last, goes to the zero word.

Examples

Basic #

the binary word $01100$

live ↗

In$\mathrm{GrayNext}({\operatorname{BinaryWord}}([0, 1, 1, 0, 0]))$Out${\operatorname{BinaryWord}}([1, 1, 1, 0, 0])$

About

Examples	1
Crosswalk	FindStat