#15801: Categories over a base ring category
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/over-a-base- | 3a63847b3e313d2e4eb0261f156e7d0bb7bf7a9c
ring-category-15801 | Stopgaps:
Dependencies: #10963 |
-------------------------------------+-------------------------------------
Changes (by nthiery):
* commit: => 3a63847b3e313d2e4eb0261f156e7d0bb7bf7a9c
Comment:
Replying to [comment:9 nbruin]:
> A simple test that detects some of the problems #10963 presently causes:
> {{{
> while True: k=random_matrix(Rationals(),30,20).echelon_form()
> }}}
> On 6.2beta4 this happily runs with constant memory footprint and about
constant time per iteration.
>
> With #10963 applied, it gradually eats memory. The reason is that
"integers mod p" and their categories pile up in memory. The iterations
also take about twice as long and they slow down over time (as one would
expect with memory use increasing).
>
> (see #13925 for why the choice of algorithm might not be so sensible,
but it's a useful test for our purposes here)
For the record: I just checked, and with the current version of this
ticket on top of #10963, this runs with constant memory footprint and
about constant time per iteration.
Cheers,
Nicolas
----
Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=1b93d6eaac78bccdc329695bbb5190e69a3b9905
1b93d6e]||{{{Merge branch 'public/ticket/10963-doc-distributive' of
trac.sagemath.org:sage into public/ticket/10963-doc-distributive}}}||
||[http://git.sagemath.org/sage.git/commit/?id=28b39a2dd201033ccf0237a1c1dac042a987df17
28b39a2]||{{{Merge branch 'develop' into public/ticket/10963-doc-
distributive}}}||
||[http://git.sagemath.org/sage.git/commit/?id=70972db40325a944ac3175b3e78421321a1cb8b5
70972db]||{{{Merge branch 'develop' into public/ticket/10963-doc-
distributive}}}||
||[http://git.sagemath.org/sage.git/commit/?id=e1110da9cf2d07b6c7a51d7c949340a1b0e3e836
e1110da]||{{{Trac 10963: added little note in
Category._super_categories}}}||
||[http://git.sagemath.org/sage.git/commit/?id=ad718de24229c30d40134b35e6803b852a97f86c
ad718de]||{{{Trac 10963: added mathematical definitions to the
documentation of a bunch of axioms}}}||
||[http://git.sagemath.org/sage.git/commit/?id=d24a3d568bf5044d696300b11b6a449b1cc3e0c3
d24a3d5]||{{{Trac 15801: enable categories over a base ring category and
use them in polynomials}}}||
||[http://git.sagemath.org/sage.git/commit/?id=6bf38938c8382b6860e4d09d9703727ef05882c8
6bf3893]||{{{Trac 15801: improved repr for categories over base ring
categories and fixed doctest}}}||
||[http://git.sagemath.org/sage.git/commit/?id=7db4ef08c23c9aeb096203dcbb4bad41ea328599
7db4ef0]||{{{Trac 10963: Fixed repr for the symmetric group algebra by
improving a bit the generic repr methods in the categories}}}||
||[http://git.sagemath.org/sage.git/commit/?id=1116ef543b0fe3a6864e0e242b475642a9cb9328
1116ef5]||{{{Merge branch 'categories/axioms-10963' into
categories/over_a_base_category-15801}}}||
||[http://git.sagemath.org/sage.git/commit/?id=3a63847b3e313d2e4eb0261f156e7d0bb7bf7a9c
3a63847]||{{{Trac 15801: updated doctest}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15801#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 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.
