Opened 7 years ago

Last modified 4 weeks ago

#19421 new enhancement

let asymptotic terms accept multivariate polynomials

Reported by: Daniel Krenn Owned by:
Priority: major Milestone:
Component: asymptotic expansions Keywords:
Cc: Clemens Heuberger, Benjamin Hackl Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #19083 Stopgaps:

Status badges

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 (3)

comment:1 Changed 7 years ago by Clemens Heuberger

Cc: Clemens Heuberger added

comment:2 Changed 7 years ago by Benjamin Hackl

Cc: Benjamin Hackl added

comment:3 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-6.10
Note: See TracTickets for help on using tickets.