#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: |
-------------------------------------+-------------------------------------
Description changed by vdelecroix:
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 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
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. See also the follow up #16283
about construction of more projective planes.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/16281#comment:2>
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.
