#10148: Automorphism group of a Polyhedron
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: mhampton
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-feature
Component: geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Changes (by vbraun):
* status: needs_work => needs_review
Comment:
Yes, the "not" is important :-)
I guess you want the linear automorphism group as `automorphism_group()`?
There is also the combinatorial automorphism group... Note that the
restricted automorphism group equals the linear automorphism group in the
case of a full-dimensional compact polyhedron.
I think the (linear) `automorphism_group()` should return the group
elements as Euclidean group elements. But there is no class for that, and
tuples `(A,b)` isn't that intuitive. I don't have time to implement it
right now, maybe later. Need to figure out what to do with the continuous
group generators, too...
If your polytope is a lattice polytope then the restricted automorphism
group is automatically a subgroup of the lattice Euclidean group `GL(d,Z)
|x Z^d`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10148#comment:8>
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.
