Austin Group Defect Tracker

Aardvark Mark IV


Viewing Issue Simple Details Jump to Notes ] Issue History ] Print ]
ID Category Severity Type Date Submitted Last Update
0001679 [Issue 8 drafts] Shell and Utilities Editorial Clarification Requested 2023-04-21 10:00 2023-07-03 11:00
Reporter gbrandenrobinson View Status public  
Assigned To
Priority normal Resolution Accepted As Marked  
Status Applied   Product Version Draft 3
Name G. Branden RObinson
Organization
User Reference
Section msgfmt
Page Number 3166
Line Number 106981
Final Accepted Text See Note: 0006324.
Summary 0001679: 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.
Tags applied_after_i8d3, issue8
Attached Files

- Relationships

-  Notes
(0006324)
Don Cragun (manager)
2023-06-12 16:34
edited on: 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 Note: 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


Mantis 1.1.6[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker