#16281: redesign projective plane
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: combinatorics | Resolution:
Keywords: design, | Merged in:
projective plane | Reviewers:
Authors: Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: | 429d815568a0e4a90e4968e55d45548f2e0c7262
u/vdelecroix/16281 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: new => needs_review
* commit: => 429d815568a0e4a90e4968e55d45548f2e0c7262
* branch: => u/vdelecroix/16281
Old description:
> Projective planes are currently implemented as block designs but are
> '''very''' slow to construct (see timings in #16272). Moreover the
> specifications and the behaviour are contradictory.
>
> In this ticket
> - we create several function that aim to build a specific projective
> planes (Desarguesian, Hall, Hugues)
> - we replace the function `ProjectivePlaneDesign` with `projective_plane`
> that return '''a''' projective plane if there is an available
> construction, or raise a `EmptySetError` if no construction is possible
> or raise a `NotImplementedError` if no construction is currently
> available.
>
> We also implement two translation functions `projective_plane_to_OA` and
> `OA_to_projective_plane` that make the translation between orthogonal
> arrays (with parameters `k=n+1` and `t=2`) and projective planes.
>
> This is an intermediate step for #16272
New description:
Projective planes are currently implemented as block designs but are
'''very''' slow to construct (see timings in #16272). Moreover the
specifications and the behaviour are contradictory.
In this ticket
- we deprecate `ProjectivePlaneDesign`
- we create a function `DesarguesianProjectivePlane` that return the
corresponding projective plane or raise a `ValueError`
- we create a function `projective_plane` that return '''a''' projective
plane if there is an available construction, or raise a `EmptySetError` if
no construction is possible or raise a `NotImplementedError` if no
construction is currently available.
We also implement two translation functions `projective_plane_to_OA` and
`OA_to_projective_plane` that make the translation between orthogonal
arrays (with parameters `k=n+1` and `t=2`) and projective planes.
This is an intermediate step for #16272
--
Comment:
Here it is...
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=429d815568a0e4a90e4968e55d45548f2e0c7262
429d815]||{{{16281: rewrite projective planes (as 2-designs)}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/16281#comment:1>
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.
