#19421: let asymptotic terms accept multivariate polynomials
-------------------------------------+-----------------------------
   Reporter:  dkrenn                 |            Owner:
       Type:  enhancement            |           Status:  new
   Priority:  major                  |        Milestone:  sage-6.10
  Component:  asymptotic expansions  |         Keywords:
  Merged in:                         |          Authors:
  Reviewers:                         |  Report Upstream:  N/A
Work issues:                         |           Branch:
     Commit:                         |     Dependencies:  #19083
   Stopgaps:                         |
-------------------------------------+-----------------------------
 At the moment we have
 {{{
 sage: from sage.rings.asymptotic.term_monoid import TermMonoid
 sage: from sage.rings.asymptotic.growth_group import GrowthGroup
 sage: G_ZZ = GrowthGroup('y^ZZ*z^ZZ')
 sage: T_ZZ = TermMonoid('exact', G_ZZ, QQ)
 sage: R.<y, z> = ZZ[]
 sage: T_ZZ._get_factors_(5*y*z)
 (5*y*z,)
 sage: G_ZZ(y)*G_ZZ(z)
 y*z
 sage: G_ZZ(y*z)
 Traceback (most recent call last):
 ...
 ValueError: y*z is not in Growth Group y^ZZ * z^ZZ.
 > *previous* ValueError: y*z is not in any of the factors of Growth Group
 y^ZZ * z^ZZ
 }}}
 Make this work...

 See also #19083, comment 64, 26.

--
Ticket URL: <http://trac.sagemath.org/ticket/19421>
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.

Reply via email to