#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):
Hello again !
Sorry but it still is a bit hard for me to read those explanations and I
go slowly, it isn't really my world `^^;`
- In the doc of `are_projective_space_parameters` you give the equations
that `v,k,lmbda` must satisfy, but could you say it "with words" before
that ? Something like "such that the projective geometry of parameters
xx,xx,xx is a xx,xx,xx design ?"
- I had begun to write a commit linking this function with
`ProjectiveGeometryDesign` but I did not know enough to finish the review
`^^;`
{{{
#!diff
diff --git a/src/sage/combinat/designs/block_design.py
b/src/sage/combinat/designs/block_design.py
--- a/src/sage/combinat/designs/block_design.py
+++ b/src/sage/combinat/designs/block_design.py
@@ -117,6 +117,10 @@ def ProjectiveGeometryDesign(n, d, F,
algorithm=None):
GAP's "design" package must be available in this case, and that it
can be
installed with the ``gap_packages`` spkg.
+ .. SEEALSO::
+
+
:func:`sage.combinat.designs.difference_family.are_projective_space_parameters`
+
EXAMPLES:
The points of the following design are the `\\frac {2^{2+1}-1}
{2-1}=7`
diff --git a/src/sage/combinat/designs/difference_family.py
b/src/sage/combinat/designs/difference_family.py
--- a/src/sage/combinat/designs/difference_family.py
+++ b/src/sage/combinat/designs/difference_family.py
@@ -184,6 +184,10 @@ def are_projective_space_parameters(v, k, lmbda,
return_parameters=False):
- a boolean or, if ``return_parameters`` is set to ``True`` a pair
``(True, (q,d))`` or ``(False, (None,None))``.
+ .. SEEALSO::
+
+
:func:`sage.combinat.designs.block_design.ProjectiveGeometryDesign`
+
EXAMPLES::
sage: from sage.combinat.designs.difference_family import
are_projective_space_parameters
}}}
- I do not understand the code yet, but don't you want to use the
'conway=True` trick in `singer_difference_set` ?
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16597#comment:15>
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.
