#16272: redesign transversal designs
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner: Vincent Delecroix
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.2
Component: PLEASE CHANGE | Resolution:
Keywords: designs, | Merged in:
orthogona arrays | Reviewers:
Authors: Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: public/16272 | d678326f182432584dd0aaf99308038aa70961e5
Dependencies: #15310, #16227 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
Yo !
> But it looks like we are implementing ourself the propagation of
errors... What do you think?
HMmm... Well, to me this is similar to the "construction path" feature.
You know, the feature to tell you how to prove formally that a design
exists with theorems ? There you want a "formal proof" that it cannot be
done.
The thing is that right now we have no recursive proof of non-existence...
But I still believe that it is too early to implement stuff like that.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16272#comment:13>
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.
