#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 brett):

 I do not think it is abstraction for abstraction’s sake to have an single
 internal format. When this gets turned into a class of its own with
 internal methods, etc. (later, not now) then it will need to have a single
 internal data structure.  For example incidence structures (and by
 extension, designs) are stored as their sets of sets.  The incidence
 matrix is equivalent but it is not a separate object with its own
 construction methods distinct from incidence structures.  In addition to
 Vincint's comments, a single internal format allows

 - a single place to check all known non-existence results

 - future ease in making this a class

 In principal I do not mind if the constructions that you have implemented
 for TDs stay as they are but are wrapped by OA->TD translation TD
 construction followed by TD-OA translation.  It can be left as a possible
 future task to clean this up.


 Some kind of path used to construct an OA/TD is a great idea that the user
 can obtain.  This is used by Charlie Colbourn on his Covering Array
 tables, but his cannot be parsed completely to the full list of exact
 objects and constructions used.  I thought a lot about this for CAs in my
 thesis but I never came up with and format I liked.  Are there these kind
 of certificates for other objects anywhere in Sage that we could look to
 for ideas?

 brett

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