#16272: redesign transversal designs
---------------------------------------------+-----------------------------
       Reporter:  vdelecroix                 |        Owner:  Vincent
           Type:  enhancement                |  Delecroix
       Priority:  major                      |       Status:  new
      Component:  PLEASE CHANGE              |    Milestone:  sage-6.2
       Keywords:  designs, orthogona arrays  |   Resolution:
        Authors:  Vincent Delecroix          |    Merged in:
Report Upstream:  N/A                        |    Reviewers:
         Branch:                             |  Work issues:
   Dependencies:                             |       Commit:
                                             |     Stopgaps:
---------------------------------------------+-----------------------------
Description changed by vdelecroix:

Old description:

> 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:
>  - `True` if Sage knows how to do it
>  - `Unknwon` if neither Sage nor mathematics can help
>  - `False` if we know mathematically that such construction does not
> exist
>
> As the semantic changes, we will also turn the keyword `availability`
> into `existence` (or maybe have both).

New description:

 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:
  - `True` if Sage knows how to do it
  - `Unknwon` if neither Sage nor mathematics can help
  - `False` if we know mathematically that such construction does not exist

 As the semantic changes, we will also turn the keyword `availability` into
 `existence` (or maybe have both).

 In the same ticket, we will include some of the known non existence of
 transversal designs.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/16272#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to