#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 ncohen):
> No. I want that all differences belong to different coset.
Why can you make that assumption ?
> This comes from computing what is Delta {1, r, r^2^, ..., r^k-1^} (where
r is a k-th root of unity). If you do that you will see that it is the
same as {+1, -1} A H^mt^. In the case of k even you want to compute Delta
{0, 1, r, ..., r^k-2^} (where r is a (k-1)-th root of unity).
I have absolutely no intuition of what H^mt^ represents.
> > And so far I do not understand how your code works.
>
> Good point
Do you think that the tiling problem that you solve is equivalent, by the
previous remarks, to the non-reduced problem ? If so, that would make it
easier for me to understand.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16866#comment:24>
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.
