AsymptoticRing: multiplication with zero fails

[dkrenn]

sage: A.<x> = AsymptoticRing('x^ZZ', ZZ)
A(1) * A(0)

fails.

CC: @behackl @cheuberg

Component: asymptotic expansions

Author: Daniel Krenn

Branch/Commit: 98e1fc7

Reviewer: Clemens Heuberger

Issue created by migration from https://trac.sagemath.org/ticket/20043

[dkrenn]

Branch: u/dkrenn/asy/one-times-zero

[dkrenn]

Commit: 2e2f422

[dkrenn]

Dependencies: #19316

[dkrenn]

New commits:

d3194af	Merge commit '37917b287453015084690b3b5dcbd6240f799ca4' of git://trac.sagemath.org/sage into asy/pow-var
f0a8292	new NotImplementedOZero in misc
0af02b7	remove old NotImplementedOZero and use new one
56c5473	O(0) in asymptotic expansion
862c3d2	1*0 in asymptotic ring
ef5a6bb	correct other empty sums
5e8d4e2	fix O(0)-doctest
3817fc7	forbid asymptotic rings as base in growth groups
2e2f422	move code of NotImplementedOZero to avoid merge-conflicts

[sagetrac-git]

Changed commit from 2e2f422 to 83223e2

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

83223e2

Trac #20043: add additional doctest to check parent

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

ea85895	new NotImplementedOZero in misc
d5c664e	remove old NotImplementedOZero and use new one
143c048	O(0) in asymptotic expansion
fb8a9d4	1*0 in asymptotic ring
b1c3f1b	correct other empty sums
a87009d	fix O(0)-doctest
ba0a5ad	forbid asymptotic rings as base in growth groups
c2f30f5	move code of NotImplementedOZero to avoid merge-conflicts
ebac5c2	Trac #20043: add additional doctest to check parent

[sagetrac-git]

Changed commit from 83223e2 to ebac5c2

[dkrenn]

Changed dependencies from #19316 to none

[dkrenn]

comment:5

Sits now on 7.1.beta3.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

98e1fc7

Trac #20043: make error message more precise and flexibel

[sagetrac-git]

Changed commit from ebac5c2 to 98e1fc7

[cheuberg]

comment:7

LGTM

[cheuberg]

Reviewer: Clemens Heuberger

[vbraun]

Changed branch from u/dkrenn/asy/one-times-zero to 98e1fc7