#10513: Coercion and category framework for modules
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner: robertwb
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: coercion | Resolution:
Keywords: coercion, | Merged in:
category framework, modules | Reviewers:
Authors: Simon King, Peter | Work issues:
Bruin | Commit:
Report Upstream: N/A | 2d7f0759c12fbeeb45d42c2d6160f8d925a22252
Branch: | Stopgaps:
u/pbruin/10513-coercion_and_categories_for_modules|
Dependencies: #16507 |
-------------------------------------+-------------------------------------
Comment (by pbruin):
Replying to [comment:25 jpflori]:
> I had a look at the work done here and it looks nice.
Thanks!
> Replying to [comment:10 pbruin]:
> > OK, ready for review. There is still some future work to be done:
> > - move the last few classes from `Module_old` to `Module`. There are
only four of these remaining:
> > 1. `sage.coding.linear_code.LinearCode`
> > 2. `sage.modular.abvar.finite_subgroup.FiniteSubgroup`
> > 3.
`sage.modular.overconvergent.genus0.OverconvergentModularFormsSpace`
> > 4. `sage.structure.formal_sum.FormalSums`
> > - make `sage.modules.matrix_morphism.MatrixMorphism_abstract` use
single-underscore methods for addition, subtraction, scalar multiplication
and composition.
> > I think it is better to do these in separate tickets.
> Did you open tickets for these?
I just created #17543 and #17544. (See comment:11 for `LinearCode`.)
> And in a couple of changes to `src/sage/geometry/cone.py` you modify
code not to use `_ in _` as ther is no coercion defined.
> Any ticket opened to implement such a coercion?
I'm not sure if this is desired; the absence of these particular maps may
have been an (unintended) consequence of implementing the new coercion
model in the simplest possible way, but it may have been intentional as
well, I don't remember.
--
Ticket URL: <http://trac.sagemath.org/ticket/10513#comment:26>
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.
