#10963: More functorial constructions
-------------------------------------------------------------------+--------
Reporter: nthiery |
Owner: stumpc5
Type: enhancement |
Status: needs_info
Priority: major |
Milestone:
Component: categories |
Keywords:
Work_issues: Find dependencies. Finite dimensional vector spaces |
Upstream: N/A
Reviewer: |
Author: Nicolas M. Thiéry
Merged: |
Dependencies: #11224, #8327
-------------------------------------------------------------------+--------
Changes (by SimonKing):
* work_issues: Find dependencies => Find dependencies. Finite
dimensional vector spaces
Comment:
Working with the combinat queue, I could do some first tests. What I find
very strange is the fact that the category of vector spaces coincides with
the category of finite-dimensional vector spaces:
{{{
sage: VectorSpaces(QQ).FiniteDimensional() is VectorSpaces(QQ)
True
}}}
Is that really intended? I thought that the idea of this ticket is to
create new categories dynamically. Hence, even though there previously was
no specific implementation of the category of finite dimensional vector
spaces, the construction `VectorSpaces(QQ).FiniteDimensional()` would
automatically create one. Or am I misunderstanding something?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:7>
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.
