#16665: OA for n=408,600,792,856,1368,2328,...
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.4
Component: combinatorial | Resolution:
designs | Merged in:
Keywords: | Reviewers:
Authors: Nathann Cohen | Work issues:
Report Upstream: N/A | Commit:
Branch: u/ncohen/16665 | 15b449c8622b14a7cc19ec92dd150287c2e8310a
Dependencies: #16662 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
Yo !
> Few modifs at `u/vdelecroix/16665`
Look good !
> You prefer `K.primitive_element` instead of
`K.multiplicative_generator`? I used to use the former... (not very
important)
I prefer the second, because it is clearer for me. But it's not my field,
if I may say.
> Checking that `n` is a prime power and then calling `FiniteField(n)` is
redundant (not very important).
>
> Don't you prefer `raise AssertionError(msg)` instead of `assert
False,msg`?
I do.
> How do you know that the following is satisfied
> {{{
> # All blocks of PG should intersect 'AG_2_3' on !=2 AG_2_3.
> assert all(len(AG_2_3.intersection(B)) != 2 for B in PG)
> }}}
That's what the paper claims, and the reason why 'points' is defined as it
is.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16665#comment:7>
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.
