#21113: unflattening morphim error
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner:
Type: defect | Status: needs_work
Priority: minor | Milestone: sage-7.3
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: | Reviewers: Vincent Delecroix
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/bhutz/unflattening | ed45887e99409482a501019bd48e2761114ab7f1
Dependencies: #21106 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: needs_review => needs_work
* reviewer: => Vincent Delecroix
* dependencies: => #21106
Old description:
> unflatteningmorphism cannot be used by itself since _intermediate rings
> is defined through section of flattening morphism
New description:
`UnflatteningMorphism` cannot be used by itself since the attribute
`_intermediate rings` is defined through the method `section` of
`FlatteningMorphism`.
--
Comment:
It would be good to check (and doctest) that:
- `domain` is a `MPolynomialRing`
- that the base ring of `domain` is the base ring of the last element of
`intermediate_ring`
- that the number of variables match
--
Ticket URL: <https://trac.sagemath.org/ticket/21113#comment:3>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
