Changes between Initial Version and Version 1 of Ticket #16272


Ignore:
Timestamp:
04/30/14 14:14:15 (7 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #16272 – Description

    initial v1  
    1 The tickets #15310 and #16227 introduce a nice `availability` keywords that answer to the question "Does Sage knows how to build a TD(k,n)"? Using `Unknown` from `sage.misc.unknown` we can turn the question into "Do we now mathematically how to build a TD(k,n)?" whose answer would be:
     1The tickets #15310 and #16227 introduce a nice `availability` keywords to the function `transversal_design`. With `availability=True` the return value is the answer to the question "Does Sage know how to build a TD(k,n)"? Using `Unknown` from `sage.misc.unknown` we can turn the question into "Do we know mathematically that a TD(k,n) exist?" whose answer would be:
    22 - `True` if Sage knows how to do it
    33 - `Unknwon` if neither Sage nor mathematics can help
    … …  
    55
    66As the semantic changes, we will also turn the keyword `availability` into `existence` (or maybe have both).
     7
     8In the same ticket, we will include some of the known non existence of transversal designs.