#11312: Speed up the computation of the Hilbert basis of a cone
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: mhampton
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-4.7.1
Component: geometry | Keywords: sd31
Work_issues: | Upstream: N/A
Reviewer: Andrey Novoseltsev | Author: Volker Braun
Merged: | Dependencies:
----------------------------------+-----------------------------------------
Changes (by novoselt):
* work_issues: One long test fails in cone module =>
Old description:
> My first implementation of the Hilbert basis eventually uses PALP to
> compute the points in the parallelotope spanned by the rays of a
> simplicial cone. This can be done much faster with just the Smith normal
> form of the ray matrix.
>
> This makes it easy to compute the points in the semi-open parallelotope,
> so the actual number of semigroup generators is sometimes less than the
> PALP version (which computed the integral points in the closure). As a
> pleasant side effect, arbitrary dimension cones work now as we are no
> longer limited to PALP's compile-time bounds.
New description:
My first implementation of the Hilbert basis eventually uses PALP to
compute the points in the parallelotope spanned by the rays of a
simplicial cone. This can be done much faster with just the Smith normal
form of the ray matrix.
This makes it easy to compute the points in the semi-open parallelotope,
so the actual number of semigroup generators is sometimes less than the
PALP version (which computed the integral points in the closure). As a
pleasant side effect, arbitrary dimension cones work now as we are no
longer limited to PALP's compile-time bounds.
'''Apply:'''
1. [attachment:trac_11312_speed_up_Hilbert_cone.2.patch]
--
Comment:
I have made tiny adjustments to the patch to make the documentation
compile without warnings, I'll leave it at positive review. (Added one
column and replaced a quote with a backward one.)
Volker: subsequent patches may need to be rebased.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11312#comment:13>
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.
