#15475: Reenable broken doctests in #15473 and #15476 when #10963 is merged
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: defect | Status: needs_work
Priority: minor | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: 10963, | Merged in:
categories, c3, coercion, | Reviewers:
transitivity, descent algebras, | Work issues:
symmetric functions | Commit:
Authors: | ef918e33132d7bf77dd999696a0efd891d831377
Report Upstream: N/A | Stopgaps:
Branch: |
public/categories/15475 |
Dependencies: #10963, #15473, |
#15476 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
I believe the purpose of the flag is to try and prevent users from
changing coercions dynamically:
{{{
sage: C = CombinatorialFreeModule(QQ, ['a','b'])
sage: D = CombinatorialFreeModule(QQ, ['a','b'])
sage: phi = C.module_morphism(D.monomial, codomain=D)
sage: C.register_coercion(phi)
sage: # D(C.monomial('a'))
'a'
sage: def f(x):
....: if x == 'a':
....: return D.monomial('b')
....: return D.monomial('a')
....:
sage: psi = C.module_morphism(f, codomain=D)
sage: C.register_coercion(psi)
sage: # D(C.monomial('a'))
'b'
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15475#comment:17>
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.
