shortlex
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From short lexicographic.
Noun
[edit]shortlex (uncountable)
- (mathematics, often attributive) A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order.
- a shortlex normal form