#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:         |  8273741e4f9cd86c788e2769084c954c24b1c8cf
  Nathann Cohen          |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/ncohen/15431         |
   Dependencies:         |
  #15287 #15368          |
-------------------------+-------------------------------------------------

Comment (by ncohen):

 Yo !

 > Let me mention that `\sqcup` does not mean that they are disjoint but
 that you take the [[http://en.wikipedia.org/wiki/Disjoint_union|disjoint
 union]]. The set `A \sqcup A` is perfectly valid and will have cardinality
 twice the one of `A`. So I would actually prefer a `\cup` if it is what
 you intended to do.

 Okayyy, I updated the commit again to remove those `sq`.

 Sage is such a wonderfully perfect software that all we have to do now is
 discuss the use of `sqcup` and `cup`. Everything else has been solved.

 > The documentation is much better in `is_transversal_design` because of
 the NOTE block. But there is nothing in `transversal_design`. Could you do
 a copy/paste or something.
 >
 > (For me, it would be clearer for a TD to be a subset of `V1 x V2 x ... x
 Vk` but let us stick to conventions).

 That's precisely why we have both TD and OA. Because you can easily
 intersect the sets of a TD, but you cannot intersect elements of `V1 x V2
 x ... x Vk`.

 Nathann

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