#15310: Wilson's construction of Transversal Designs/Orthogonal Arrays/MOLS
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  ncohen                 |       Status:  needs_review
           Type:         |    Milestone:  sage-6.2
  enhancement            |   Resolution:
       Priority:  major  |    Merged in:
      Component:         |    Reviewers:
  combinatorics          |  Work issues:
       Keywords:         |       Commit:
        Authors:         |  d74341411288315f13da3d4383e515b884ba7440
  Nathann Cohen          |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/ncohen/15310         |
   Dependencies:         |
  #15287, #15431         |
-------------------------+-------------------------------------------------

Comment (by ncohen):

 Yo !

 > 1) with just parameters (like Wilson is now) , in which case the program
 checks if the relevant TD/OAs exist and uses them

 This is already done, as Sage will automatically use the product
 construction to see if such a design exists. When you call
 `designs.orthogonal_array(...)` the TD product construction will be called
 from time to time.

 > 2) with the relevant TD/OAs passed to the routine (as Product is now),
 in which case the program checks that they are correct and have the needed
 parameters and uses them if they are.

 Yepyep, we can make the designs be optional parameters indeed ...

 Really I don't mind but I am writing construction code and there is a lot
 of work to do. If you want features like that, would you mind implementing
 them ? It is not a lot of work, you just have to add optional parameters
 in Wilson's construction equal to None, and if they are set to None Sage
 will find the designs itself otherwise it will use those that are
 provided.

 > Python and thus Sage, is good at this kind of flexibility in function
 calling and in design theory we often want to use specific "ingredients"
 with property $P$, in a construction and hope/prove that the resulting
 object had property $P$ as well.

 Indeed indeed. But it is not like anybody will know that Sage can produce
 MOLS/OA/TD already, so we have time before the crowd complains about the
 missing features.. Right now I am just trying to implement what I need to
 create more TD/OA/MOLS, and we will have all the time in the world to
 create fancy features when it will be in `:-P`

 I am two constructions away from having implemented all explicit
 construction of length <= 80 that the Handbook provides, but they are
 tricky ones. Then this step will be done too, and we will have to
 implement the variants of Wilson's theorem.

 Nathann

 Vincent : is there anything I should do on this ticket ?

--
Ticket URL: <http://trac.sagemath.org/ticket/15310#comment:45>
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