#11523: Implementation of Cohen-Macaulay test for simplicial complexes
----------------------------------------------------------+-----------------
Reporter: stumpc5 | Owner:
malb
Type: enhancement | Status:
new
Priority: major | Milestone:
sage-4.7.1
Component: commutative algebra | Keywords:
Cohen-Macaulay, homology, simplicial complexes
Work_issues: further improvement of _enlarge_subcomplex | Upstream:
N/A
Reviewer: | Author:
Christian Stump
Merged: | Dependencies:
----------------------------------------------------------+-----------------
Description changed by stumpc5:
Old description:
> Simplicial complexes were lacking a method to test Cohen-Macaulayness.
>
> In order to implement this method, some other methods are improved,
> namely a hash function is implemented, and _enlarge_subcomplex has become
> faster.
>
> For convinience, I also added a face_iterator.
>
> Remark: the new line
>
> {{{
> int_facets = set( a.set().intersection(f_set) for a in new_facets )
> }}}
>
> in _enalarge_subcomplex improved speed for computing the homology by 65%.
> This method still has the potential to be speeded a lot, and it is
> responsible for a lot cpu time when computing the homology.
New description:
Simplicial complexes were lacking a method to test Cohen-Macaulayness.
In order to implement this method, some other methods are improved, namely
a hash function is implemented, and _enlarge_subcomplex has become faster.
For convinience, I also added a face_iterator.
Remark: the new line
{{{
int_facets = set( a.set().intersection(f_set) for a in new_facets )
}}}
in _enalarge_subcomplex improved speed for computing the homology by 65%
(in the example I looked at -- needs to be verified). This method still
has the potential to be speeded a lot, and it is responsible for a lot cpu
time when computing the homology.
I also added a second version using parallel tests on multiple cpus.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11523#comment:2>
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.
