#9443: infinite polynomial ring is_integral_domain and is_field omit optional
argument 'proof'
-----------------------+----------------------------------------------------
Reporter: niles | Owner: AlexGhitza
Type: defect | Status: new
Priority: trivial | Milestone: sage-4.5
Component: algebra | Keywords: infinite polynomial ring
Author: niles | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------+----------------------------------------------------
Description changed by niles:
Old description:
> Other implementations of is_integral_domain allow an argument 'proof'
> whose default value is False. Infinite polynomial ring omits this
> argument in its definition of is_integral_domain:
>
> {{{
> sage: W = PolynomialRing(InfinitePolynomialRing(QQ,'a'),2,'x,y')
> sage: W.is_integral_domain()
> -------------------------------------------------------------
> TypeError Traceback (most recent call
> last)
> ...
> TypeError: is_integral_domain() takes exactly 1 argument (2 given)
>
> sage: W = PowerSeriesRing(InfinitePolynomialRing(QQ,'a'),'x')
> ---------------------------------------------------------------------------
> TypeError Traceback (most recent call
> last)
> ...
> TypeError: is_field() got an unexpected keyword argument 'proof'
> }}}
New description:
Other implementations of is_integral_domain allow an argument 'proof'
whose default value is False. Infinite polynomial ring omits this
argument in its definition of is_integral_domain:
{{{
sage: W = PolynomialRing(InfinitePolynomialRing(QQ,'a'),2,'x,y')
sage: W.is_integral_domain()
-------------------------------------------------------------
TypeError Traceback (most recent call
last)
...
TypeError: is_integral_domain() takes exactly 1 argument (2 given)
}}}
same goes for is_field:
{{{
sage: W = PowerSeriesRing(InfinitePolynomialRing(QQ,'a'),'x')
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
...
TypeError: is_field() got an unexpected keyword argument 'proof'
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9443#comment:2>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
