Opened 4 years ago

Last modified 4 years ago

#19421 new enhancement

let asymptotic terms accept multivariate polynomials

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-6.10
Component: asymptotic expansions Keywords:
Cc: cheuberg, behackl Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #19083 Stopgaps:

Description

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.

Change History (2)

comment:1 Changed 4 years ago by cheuberg

  • Cc cheuberg added

comment:2 Changed 4 years ago by behackl

  • Cc behackl added
Note: See TracTickets for help on using tickets.