#6102: cohomology ring of simplicial complexes
-------------------------------------+-------------------------------------
       Reporter:  bantieau           |        Owner:  bantieau
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.4
      Component:  algebraic          |   Resolution:
  topology                           |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  John Palmieri      |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  u/jhpalmieri/AT-   |  e7f83d09ccd5aea84741886c905a541398a9405c
  model                              |     Stopgaps:
   Dependencies:  #19179             |
-------------------------------------+-------------------------------------

Comment (by jhpalmieri):

 My current plan is indeed to use both methods. By using your `%lprun`
 analysis (and mine, too), I have managed to speed up both the old and new
 methods. Over finite fields, the ''old'' method is now about 20 times
 faster than it used to be: on one machine, computing
 `algebraic_topological_model(RP3, GF(2))` used to take over 400 ms, and
 now takes about 20 ms, and similarly over other prime fields. Over the
 rationals, it used to take about 700 ms, and now takes just under 300. The
 new method is now faster than it used to be, but slower over all fields
 (about 200 ms over `GF(2)`, 1500 ms over `QQ`).

 So the plan is to include both and use the old one for cubical and
 simplicial complexes, the new one only for Delta complexes. I want to
 figure out if I can actually implement the cup product for Delta complexes
 without rewriting the whole class of complexes, providing an actual class
 for its cells. I will try to update the branch soon in any case.

--
Ticket URL: <http://trac.sagemath.org/ticket/6102#comment:28>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to