#16272: redesign transversal designs
---------------------------------------------+-----------------------------
Reporter: vdelecroix | Owner: Vincent
Type: enhancement | Delecroix
Priority: major | Status: new
Component: PLEASE CHANGE | Milestone: sage-6.2
Keywords: designs, orthogona arrays | Resolution:
Authors: Vincent Delecroix | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
Dependencies: #15310, #16227 | Commit:
| Stopgaps:
---------------------------------------------+-----------------------------
Comment (by ncohen):
Yo !
> In case "Unkown" did you mean that Sage does not know how to do it (as
currently implemented) but possibly Mathematics knows the answer?
The parameter will be called "existence". When you type
{{{designs.transversal_design(k,n,existence=True)}}}
it will answer
1) `True` meaning "Sage can build it"
2) `Unknown` meaning "Sage can't build it, but it may exist"
3) `False` meaning "it does not exist"
Thus there is nothing there to mean "Mathematics knows it exists but Sage
does not know how to build it". THouuuuuuugh if you know of something like
that, the only responsible way to solve the problem is to implement the
mathematical result `:-P`
> "Unknown" should ideally mean that mathematics does not know the answer
but Sage development is likely to lag behind mathematics and I don't want
users to think that if Sage does not know the answer that this implies
that mathematics does not know the answer. I think this is all what you
meant but the word "nor" confused me.
Well, the word "unknown" means "Sage has no idea" `^^;`
> For the results I mentioned about sufficiently high $k$ implying
TD$(n+1,n)$ exists, I will have to dig up the papers by Metz and review
them to remember exactly how this works.
Okayyyyyyyyy !
> Why did that BibTeX reference format so badly?
Because some characters that you used are interpreted as typographic
instructions. Wrap what you want to say with `{{{` and `}}}` to avoid
that. I edited your comment above, so it looks fine now `;-)`
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16272#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.
