#19071: Construct lattice polytope faces as polytopes
-------------------------------------+-------------------------------------
       Reporter:  novoselt           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.9
      Component:  geometry           |   Resolution:
       Keywords:  toric              |    Merged in:
        Authors:  Andrey             |    Reviewers:
  Novoseltsev                        |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  u/novoselt/19071   |  6547b5bda352f8f1f7e9d3011b41224d9fc76434
   Dependencies:  #19070             |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by novoselt):

 * status:  new => needs_review
 * keywords:   => toric
 * cc: vbraun (added)


Old description:

> As opposed to a separate class with different methods.

New description:

 As opposed to a separate class with different methods. Advantages:
  - uniform behaviour with cones
  - all polytope methods are available to their faces as well
  - less dependence on a particular backend

 Since there is now `lattice_polytope.ambient()` returning "the canonical"
 containing polytope, `amibient_dim` was renamed to `lattice_dim` to avoid
 confusion. Unfortunately, there is now less consistency in names with
 generic polyhedra (for which `lattice_dim` makes no sense), but they are
 very different anyway.

 There is some performance penalty associated with the new way of
 constructing faces (#19077 improves things somewhat), but it is mostly due
 to constructing face lattice as a poset. So less speed, but more features.
 Plus "more speed" was available only through the use of batch methods that
 few people use/are aware of.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/19071#comment:4>
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.

Reply via email to