#16866: Radical difference families
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.4
Component: combinatorial | Resolution:
designs | Merged in:
Keywords: | Reviewers:
Authors: Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: | 721af75ec2b2c6ca904f2feaf86e75e054cb089d
u/vdelecroix/16866 | Stopgaps:
Dependencies: #16863 |
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Replying to [comment:18 ncohen]:
> Yo !
>
> > And you can check that `# (A H^{mt}) = #A # H^{mt}` has cardinality
k(k-1).
>
> Do you create this set of cardinality k(k-1) in your code ?
Nope, and I do not need to do so. I want that my set of differences cover
the whole H. Because all differences are a union of cosets of H^mt^, you
can quotient out by H^mt^ (i.e. reasoning in terms of the cosets xH^mt^).
Once you checked that the elements of A belong to distinct cosets mod
H^mt^, you need to find a set of translates {x_1 A, x_2 A, ..., x_k A}
that tile (or pack) the quotient H/H^mt^
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16866#comment:19>
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.
