Changes between Initial Version and Version 13 of Ticket #18959


Ignore:
Timestamp:
08/17/15 08:21:29 (5 years ago)
Author:
jmantysalo
Comment:

Replying to ncohen:

  • It is (slightly) better to have # random than # not tested: in the first case the command is not run - -

True. Corrected.

  • There is an 'Integer(0)' left

Regardless of what you decide to do with those two points, you can set the ticket to positive_review on my behalf.

I would have said this a bug. I corrected it also.

Thanks!

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18959

    • Property Status changed from new to positive_review
    • Property Authors changed from to Jori Mäntysalo
    • Property Cc ncohen vdelecroix added
    • Property Branch changed from to u/jmantysalo/poset_documentation_polishing__integer_valued_properties
    • Property Reviewers changed from to Nathann Cohen
    • Property Commit changed from to 3302f91538b7258d2ad58d413c84a69e0308a53c
  • Ticket #18959 – Description

    initial v13  
    22
    33This continues the series beginning with #18925 and #18941.
     4
     5(Also adds input checking for `random_order_ideal()`.)