#13282: Access to GRDB Fano polytopes
----------------------------------+-----------------------------------------
Reporter: sjg10 | Owner: mhampton
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.3
Component: geometry | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Samuel Gonshaw | Merged in:
Dependencies: | Stopgaps:
----------------------------------+-----------------------------------------
Changes (by sjg10):
* status: new => needs_review
Old description:
> This patch introduces the following functions into
> `sage.geometry.lattice_polytope`:
>
> {{{
> PolytopeCanonicalFanoDim2 PolytopeSmoothFanoDim2
> PolytopeCanonicalFanoDim3 PolytopeSmoothFanoDim3
> PolytopeReflexiveFanoDim2 PolytopeSmoothFanoDim4
> PolytopeReflexiveFanoDim3 PolytopeSmoothFanoDim5
> PolytopeTerminalFanoDim2 PolytopeSmoothFanoDim6
> PolytopeTerminalFanoDim3 PolytopeSmoothFanoDim7
> PolytopeSmallPolygon PolytopeSmoothFanoDim8
> PolytopeSmoothFano PolytopelReflexiveDim2
> }}}
>
> These read from the data stored in this
> spkg:[http://coates.ma.ic.ac.uk/GRDB_polytopes-20120719.spkg]
> by using the new private function `_GRDBBlockReader` to access
> classifications of the above Fano polytopes originally stored on the
> [http://grdb.lboro.ac.uk Graded Ring Database] and return
> `LatticePolytope` instances.
> The interface mirrors the implementation in MAGMA.
>
> * The functions `PolytopeSmoothFanoDim6`, `PolytopeSmoothFanoDim7`,
> `PolytopeSmoothFanoDim8` are commented out and access to
> `PolytopeSmoothFano` is limited as smooth Fanos of dimension 6 and up
> have too many facets for the PALP backend to currently deal with.
>
> * the functions are not imported to the top-level at runtime, but are
> left accessible as `lattice_polytope.*` to reduce clutter
New description:
This patch introduces the following functions:
{{{
CanonicalFano SmoothFano
ReflexiveFano TerminalFano
PolytopeSmallPolygon PolytopelReflexive
LDP
}}}
These read from the data stored in this
spkg:[http://coates.ma.ic.ac.uk/GRDB_polytopes-20120806.spkg]
by using the new private function `_GRDBBlockReader` to access
classifications of the above Fano polytopes originally stored on the
[http://grdb.lboro.ac.uk Graded Ring Database] and return
`LatticePolytope` instances.
The implementation is similar that of
[http://trac.sagemath.org/sage_trac/ticket/13115 #13115] where we provide
a module `lattice_polytopes` to act as a namespace for these functions
which are situated elsewhere, giving the option to concentrate all future
examples of lattice polytopes here.
Install the latest SPKG above and the latest patch.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13282#comment:6>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
