#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:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: needs_review => needs_info
Comment:
Hello
1) I corrected typos in the doc, added a check, added a test, modify few
sentences at u/vdelecroix/16662
2) I do not understand why he following is not valid
{{{
sage: k=10; n=2; m=79; a=b=c=1
sage: for kk,nn in ((k,m),(k,m+1),(k,m+2),(k,a),(k,b),(k,c)):
....: assert designs.orthogonal_array(k,n,existence=True)
sage: OA=thwart_lemma_3_5(10,2,79,1,1,1)
}}}
Are a,b,c allowed to be 1? In the examples of the article a,b,c are never
1 (but d might be).
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
{{{
sage: OA=thwart_lemma_3_5(10,2,89,1,1,1)
Traceback (most recent call last):
...
456 for B in master_design:
457 # The missing entries belong to the last n_trunc columns
--> 458 assert all(x is not None for x in B[:k])
459 n_in_truncated = n_trunc-B.count(None)
460
AssertionError:
}}}
For the other one, the existence of an OA(9,21) should not be necessary
for the construction
{{{
sage: OA = thwart_lemma_3_5(9,9,22,8,8,8,complement=True)
Traceback (most recent call last):
...
913 if existence:
914 return Unknown
--> 915 raise NotImplementedError("I don't know how to build an
OA({},{})!".format(k,n))
916
917 if check:
NotImplementedError: I don't know how to build an OA(9,21)!
}}}
4) I found several new values for which the thwart construction works. But
I first would like to understand first why 3) fail.
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16662#comment:5>
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.
