#9944: categories for polynomial rings
--------------------------------------------+-------------------------------
Reporter: robertwb | Owner: nthiery
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.7.1
Component: categories | Resolution:
Keywords: | Work_issues:
Upstream: N/A | Reviewer: Nicolas M.
Thiéry, Mike Hansen, Martin Raum
Author: Robert Bradshaw, Simon King | Merged:
Dependencies: |
--------------------------------------------+-------------------------------
Comment(by SimonKing):
I think I somehow located the problem. I created recursively a univariate
polynomial ring, as in your example, with a total of 8 variables:
{{{
sage: S
Univariate Polynomial Ring in w over Univariate Polynomial Ring in w over
Univariate Polynomial Ring in w over Univariate Polynomial Ring in w over
Univariate Polynomial Ring in w over Univariate Polynomial Ring in w over
Univariate Polynomial Ring in w over Univariate Polynomial Ring in w over
Finite Field in a of size 3^2
}}}
Then, with the patches
{{{
sage: timeit("S(0)")
5 loops, best of 3: 83 ms per loop
}}}
but without the patches
{{{
sage: timeit("S(0)")
625 loops, best of 3: 121 µs per loop
}}}
Since the above relies on coercion maps, which are compositions of
polynomial base injection maps, and since my patch touched the polynomial
base injection maps, it is conceivable that we'll find the problem there.
Note, however, that it might be a better solution to let the composition
of two polynomial base injection maps be another polynomial base injection
map -- that ought to be a lot faster than a composite map.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9944#comment:53>
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.
