#15431: Transversal Design TD(6,12)
-------------------------+-------------------------------------------------
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: | c87cac5f35036a820f877ab891eb35cffa1784a1
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
u/ncohen/15431 |
Dependencies: |
#15287 #15368 |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Hello !
I just answered all your comments in the code. About the last one : it is
true that `k > n+1` is impossible when `t=2`, and this holds because of
the equivalence with MOLS, but I don't see how you prove it for any larger
`t` ?... As we only handle `t=2` in the code, I changed the error message
in this case.
I want to do many things with this design code, but being the only fan is
a problem here : it is very hard to have these patches reviewed (thank you
very much again for doing it !). The thing is that there are equivalences
between TD,OA,MOLS, and that some constructions (like wilson's
construction in #15310) are very powerful ways to generate new objects. So
we must have an automatic way to check if Sage knows of to build an
equivalent OA when it has no construction for a specific MOLS, and
conversely, and the same with TD. Thus in the end, I would love it if the
error message "Such a design does not exist" which is written in the
MOLS would automatically yield the same message on the Orthogonal Array
side `:-)`
But I would like to have Wilson's construction inside of Sage first. And
perhaps another product construction I need for the BIBD with k=5.
Ahahahah. Long road `:-)`
Anyway here is the commit, and sorry for those missing definitions.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/15431#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.
