#16597: Singer difference set and fix OA_9_135
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: combinatorial | Resolution:
designs | Merged in:
Keywords: | Reviewers:
Authors: Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: | f725726fa68094215f1d4e19fac2378c0c29d3e8
u/vdelecroix/16597 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by ncohen):
Yo !
> will do: these are the parameters of a projective space design (assuming
that they only exists for prime powers ;-)
Also : don't we use at the same time "projective space design" and
"projective geometry design" ?
> Yeah it would be cool to check the t-design parameters of projective
geometry designs fit what `are_projective_space_parameters` check for.
Actually, it would make sense to move `are_projective_space_parameters` to
`block_design.py`. What do you think?
+1
> > - I do not understand the code yet, but don't you want to use the
'conway=True` trick in `singer_difference_set` ?
>
> Nope. I need relative extensions `GF(q) -> GF(q^(d+1))`. The trick would
only "work" for prime fields. Moreover, testing if an element of an
extension belongs to the span over `GF(q)` of `(1,z,...,z^(d-1))` is a
mess (and trivial if you deal directly with polyonials).
>
> I agree that I mimic an extension of `GF(q)` by dealing with polynomials
mod `c` (the relative Conway polynomial), but it seems the easiest way to
go.
`T_T`
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16597#comment:17>
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.
