#7620: Inconsistent ordering when composing functors
--------------------------+-------------------------------------------------
Reporter: SimonKing | Owner: nthiery
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.3
Component: categories | Keywords: Functor composition order
Work_issues: | Author: Simon King
Upstream: N/A | Reviewer:
Merged: |
--------------------------+-------------------------------------------------
Changes (by SimonKing):
* status: new => needs_review
Comment:
With the patch, that should apply to sage-4.3.alpha1, one has
{{{
sage: from sage.categories.pushout import CompositConstructionFunctor
sage: F1 =
CompositConstructionFunctor(QQ.construction()[0],ZZ['x'].construction()[0])
sage: F2 =
CompositConstructionFunctor(QQ.construction()[0],ZZ['y'].construction()[0])
sage: F1*F2
Poly[x](FractionField(Poly[y](FractionField(...))))
}}}
and
{{{
sage: from sage.categories.pushout import CompositConstructionFunctor
sage: F =
CompositConstructionFunctor(QQ.construction()[0],ZZ['x'].construction()[0],QQ.construction()[0],ZZ['y'].construction()[0])
sage: F
Poly[y](FractionField(Poly[x](FractionField(...))))
sage: prod(F.expand()) == F
True
}}}
and I think that is how it should be.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7620#comment:1>
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.
