Changes between Initial Version and Version 1 of Ticket #16272
 Timestamp:
 04/30/14 14:14:15 (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #16272 – Description
initial v1 1 The tickets #15310 and #16227 introduce a nice `availability` keywords t hat 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:1 The 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: 2 2  `True` if Sage knows how to do it 3 3  `Unknwon` if neither Sage nor mathematics can help … … 5 5 6 6 As the semantic changes, we will also turn the keyword `availability` into `existence` (or maybe have both). 7 8 In the same ticket, we will include some of the known non existence of transversal designs.