#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: |
-----------------------+----------------------------------------------------
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'
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9443>
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.
