#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
public/ticket/10963-doc- | Commit:
distributive | c718f218fbc726bf3cf7f4c3f20638c9b0c7eea7
Dependencies: #11224, #8327, | Stopgaps:
#10193, #12895, #14516, #14722, |
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Along about a fairly similar line, I think this is pointing once again
in the direction of using Algebras(Fields()) rather than
Algebras(QQ). I.e. that our current categories over base ring would be
better parametrized by the category of the base ring. This would be
consistent with what we are actually doing under the hood for sharing
the parent and element classes. And this would open the path toward
having Algebras / PolynomialRings / ... as functorial constructions,
which would, among other things, resolve the current Modules /
VectorSpaces hack.
Of course this goes far beyond the scope of this ticket, but would be,
for example, a good brainstorm/coding sprint topic for Cernay. I
foresee no obstruction, and think we can reasonably bet that the
performance issues that we get are really a side-effect of the
construction of too many duplicated hierarchies of categories (for no
real added value) and will vanish soon.
Especially if we move on and get this ticket in, so that I/we can
finally get to work on follow ups likes this one :-)
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:506>
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/groups/opt_out.
