#5386: [with patch, needs review] simplicial complexes and their homology
-------------------------+--------------------------------------------------
Reporter: jhpalmieri | Owner: jhpalmieri
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4.2
Component: misc | Keywords:
-------------------------+--------------------------------------------------
Comment(by jhpalmieri):
Here's a new patch, rebased against 3.4.1.rc2. It passes all tests (with
sage -tp -long) for me on sage.math.
I fixed the bug with the Stanley-Reisner ring. It works now (although
it's extremely slow).
> Could you make it so there is something like complexes.<tab> or
something like that (which makes senses) and gives examples?
I decided to use {{{simplicial_complexes}}}: since someone may want to add
{{{simplicial_sets}}} or {{{CW_complexes}}} or other related things,
having an unambiguous long name seemed better than having a shorter name
which might collide with future use. I also capitalized the examples,
since that's how the graph examples work:
{{{simplicial_complexes.Sphere}}}, etc.
Also, in the interests of full disclosure, the old version had some fishy
math in it -- a routine which sped things up but depended on a
conjecture. It shouldn't have been there in the first place, and I have
excised it.
Florent, thanks for the comment, and even more, thanks for the helpful
error message. (It turns out that I was converting {{{maximal_faces}}}
into a list anyway, so I just called {{{len}}} on that list; that was the
easiest fix for my situation. If someone tries to create a simplicial
complex for which the number of maximal faces cannot be represented by a
python int, I think this will be the least of their problems. :)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5386#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
