#19595: Implement a check that a hyperplane arrangement is free
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: geometry | Resolution:
Keywords: free, hyperplane | Merged in:
arrangement | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | dda0ab3d40972798cf18394d91eabf56418f36e5
public/hyperplanes/check_free-19595| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by tscrim):
* milestone: sage-7.0 => sage-7.1
Comment:
The Singular code rips my implementation to shreads. It at least 2x faster
(often times much more so) in the cases I tested (inversion arrangements
for types A,,3,, and B,,3,,), so I am making that the default. However, I
am still using it to construct the basis, but if you know how to pull that
from Singular's resolution, I would be happy to include that as well.
I implemented by backtracking in a recursive fashion since I didn't want
to deal with managing my own stack, and if you're doing something with
1000 hyperplanes (reaching Python's recursion depth limit), then you are
probably better off waiting for the universe to implode. It is possible
there are further optimizations to be done with that code, but since
Singular does the biggest thing, checking for freeness, really fast, I'm
inclined to leaving it alone for now.
--
Ticket URL: <http://trac.sagemath.org/ticket/19595#comment:19>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
