View Issue Details

IDProjectCategoryView StatusLast Update
0001679Issue 8 draftsShell and Utilitiespublic2024-06-11 09:12
Reportergbrandenrobinson Assigned To 
PrioritynormalSeverityEditorialTypeClarification Requested
Status ClosedResolutionAccepted As Marked 
Product VersionDraft 3 
NameG. Branden RObinson
Organization
User Reference
Sectionmsgfmt
Page Number3166
Line Number106981
Final Accepted TextSee 0001679:0006324.
Summary0001679: 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 ActionClarify for non-mathematicians, and those who gaze upon credentialed mathematicians with envy.
Tagsapplied_after_i8d3, issue8

Activities

Don Cragun

2023-06-12 16:34

manager   bugnote:0006324

Last edited: 2023-06-12 16:41

On L106981, Page 3166
Change:
in monotonically increasing order.
to:
in increasing order, with no duplicate index values.


Issue History

Date Modified Username Field Change
2023-04-21 10:00 gbrandenrobinson New Issue
2023-04-21 10:00 gbrandenrobinson Name => G. Branden RObinson
2023-04-21 10:00 gbrandenrobinson Section => msgfmt
2023-04-21 10:00 gbrandenrobinson Page Number => 3166
2023-04-21 10:00 gbrandenrobinson Line Number => 106937
2023-06-12 16:34 Don Cragun Note Added: 0006324
2023-06-12 16:41 Don Cragun Line Number 106937 => 106981
2023-06-12 16:41 Don Cragun Final Accepted Text => See 0001679:0006324.
2023-06-12 16:41 Don Cragun Status New => Resolved
2023-06-12 16:41 Don Cragun Resolution Open => Accepted As Marked
2023-06-12 16:41 Don Cragun Note Edited: 0006324
2023-06-12 16:55 geoffclare Tag Attached: issue8
2023-07-03 11:00 geoffclare Status Resolved => Applied
2023-07-03 11:00 geoffclare Tag Attached: applied_after_i8d3
2024-06-11 09:12 agadmin Status Applied => Closed