#19946: Asymptotic Ring: cannot construct 2^n when coefficient ring is SR
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: asymptotic | Resolution:
expansions | Merged in:
Keywords: | Reviewers:
Authors: Daniel Krenn | Work issues:
Report Upstream: N/A | Commit:
Branch: u/dkrenn/t/19946 | 1b62954467b74292e349a1631f9837dbe8ff9c3b
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Daniel Krenn', 'oldvalue': ''}):
* status: new => needs_review
* commit: => 1b62954467b74292e349a1631f9837dbe8ff9c3b
* author: => Daniel Krenn
Comment:
I've fixed the original problem. However, there is the following:
{{{
sage: T = TermMonoid('exact', GrowthGroup('QQ^n * n^QQ'), SR)
sage: n = T('n')
sage: n.rpow(2)
2^n
sage: _.parent()
Exact Term Monoid QQ^n * n^SR with coefficients in Symbolic
Ring
Above, we get ``QQ^n * n^SR`` since
::
sage: (n^SR(1)).parent()
Exact Term Monoid QQ^n * n^SR with coefficients in Symbolic
Ring
and that is because of
sage: (QQ(2)^SR(1)).parent(), (QQ(1)*SR(1)).parent()
(Rational Field, Symbolic Ring)
}}}
For me this is fine; although it is not nice. What do you think?
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=1fc00c79ea943ceb18d023f7e13aac59cebcdd93
1fc00c7]||{{{Trac #19946: fix _pushout_ for cartesian product of growth
groups}}}||
||[http://git.sagemath.org/sage.git/commit/?id=1b62954467b74292e349a1631f9837dbe8ff9c3b
1b62954]||{{{Trac #19946: add doctests to document behavior}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/19946#comment:4>
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.
