#19459: Fix containment
-------------------------------------+-------------------------------------
Reporter: switzel | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.10
Component: coercion | Resolution:
Keywords: | Merged in:
Authors: Stefan Witzel | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/switzel/fix_containment | 3aa4bf2781f8ddb4a98316d252d0bc7a695f0c0a
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by switzel:
Old description:
> Containment testing catches TypeError, ValueError, ZeroDivisionError.
> However, casting a Laurent series to a power series (when it isn't one)
> raises an ArithmeticError. This commit adds ArithmeticError to the list
> to make the following code work:
>
> L.<t> = LaurentSeriesRing(GF(2))
> R.<x,y> = PolynomialRing(L)
> O = L.power_series_ring()
> S.<x,y> = PolynomialRing(O)
> t**(-1)*x*y in S
New description:
Containment testing catches TypeError, ValueError, ZeroDivisionError.
However, casting a Laurent series to a power series (when it isn't one)
raises an ArithmeticError. This commit adds ArithmeticError to the list
to make the following code work:
{{{
L.<t> = LaurentSeriesRing(GF(2))
R.<x,y> = PolynomialRing(L)
O = L.power_series_ring()
S.<x,y> = PolynomialRing(O)
t**(-1)*x*y in S
}}}
--
--
Ticket URL: <http://trac.sagemath.org/ticket/19459#comment:5>
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.
