The following issue has been SUBMITTED. ====================================================================== https://austingroupbugs.net/view.php?id=1679 ====================================================================== Reported By: gbrandenrobinson Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1679 Category: Shell and Utilities Type: Clarification Requested Severity: Editorial Priority: normal Status: New Name: G. Branden RObinson Organization: User Reference: Section: msgfmt Page Number: 3166 Line Number: 106937 Final Accepted Text: ====================================================================== Date Submitted: 2023-04-21 10:00 UTC Last Modified: 2023-04-21 10:00 UTC ====================================================================== Summary: strictly increasing order vs. monotonic Description: "the application shall ensure that the statement containing the msgid directive is immediately followed by a msgid_plural directive and that each statement containing a msgid_plural directive is followed by count statements containing msgstr[index] directives, starting with msgstr[0] and ending with msgstr[count−1] in monotonically increasing order."
Shouldn't the requirement on the application be that it shall use a _strictly_ increasing order? If not, and if "monotonically" is truly meant, should something about which statements with duplicate indices shall prevail? My understanding is that in computer science applications, we can generally read "monotonically increasing" as a synonym for "nondecreasing". But often what we mean is "strictly increasing". Unfortunately I lack the training to venture an opinion on whether, say, the Weierstrass function W(x) is monotonically increasing in the neighborhood of x. But I think I know enough to say that I'm sure I'd get into trouble before properly studying real analysis. Desired Action: Clarify for non-mathematicians, and those who gaze upon credentialed mathematicians with envy. ====================================================================== Issue History Date Modified Username Field Change ====================================================================== 2023-04-21 10:00 gbrandenrobinsonNew Issue 2023-04-21 10:00 gbrandenrobinsonName => G. Branden RObinson 2023-04-21 10:00 gbrandenrobinsonSection => msgfmt 2023-04-21 10:00 gbrandenrobinsonPage Number => 3166 2023-04-21 10:00 gbrandenrobinsonLine Number => 106937 ======================================================================