#16662: OA for n=1046,1059,2164,3992,3994
-------------------------------------+-------------------------------------
       Reporter:  ncohen             |        Owner:
           Type:  enhancement        |       Status:  needs_info
       Priority:  major              |    Milestone:  sage-6.4
      Component:  combinatorial      |   Resolution:
  designs                            |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  Nathann Cohen      |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  u/ncohen/16662     |  355ac2a741154e5fca99ec1d5137c5be0b9d4377
   Dependencies:  #16604             |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by ncohen):

 Hello !

 > 1) I corrected typos in the doc, added a check, added a test, modify few
 sentences at u/vdelecroix/16662

 Is it me or is the git server slow ? It takes MINUTES to download a branch
 `O_o`

 > 2) I do not understand why he following is not valid

 How, not "valid" ? The input is valid but in order to build the new
 designs you need some sub-designs, and among the subdesigns there is a
 `OA(10,69)` that Sage does not know how to build. Soo well, the
 construction can't be applied because you need one of the required
 designs... What's wrong with that ? This is what the `find_` functions
 usually checks !

 > Are a,b,c allowed to be 1? In the examples of the article a,b,c are
 never 1 (but d might be).

 I don't think that there is anything wrong with =1 values.

 > 3) I found two examples which yield to error I do not understand from
 the specifications. The first one is related to the point 2) I guess

 No, it is just that there exists no `OA(13,2)`. The code has to build an
 `OA(k+3,n)` (or `OA(k+4,n)` when `d` is defined) and it does not exist if
 k is too large. I missed that one, probably because that's the kind of
 thing that I filter in the `find_` function usually.

 > For the other one, the existence of an OA(9,21) should not be necessary
 for the construction

 The exception I added for the previous one is also triggered here.

 > 4) I found several new values for which the thwart construction works.
 But I first would like to understand first why 3) fail.

 Nathann

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