#9138: Categories for all rings
--------------------------+-------------------------------------------------
Reporter: jbandlow | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: categories | Keywords: introspection, categories for
rings
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies: sage-4.7, #11268, #11139, #9976,
#9944, #11269, #11316, #11342
--------------------------+-------------------------------------------------
Changes (by SimonKing):
* work_issues: comparison of BooleanPolynomialRings; one doctest fix =>
Old description:
> Introspection is failing on polynomial rings:
> {{{
> sage: R.<x> = QQ[]
> sage: R.su<tab>
> R.sum R.summation
> R.summation_from_element_class_add
> sage: R.sum?
> Object `R.sum` not found.
> sage: R.sum()
> ---------------------------------------------------------------------------
> AttributeError Traceback (most recent call
> last)
> }}}
>
> This is because polynomial rings do not yet set their category properly:
> {{{
> sage: QQ[x]._test_category()
> ------------------------------------------------------------
> Traceback (most recent call last):
> ...
> AssertionError: category of self improperly initialized
> }}}
>
> See http://groups.google.com/group/sage-
> devel/browse_thread/thread/4780192a11a8b591 for more discussion.
>
> Many other rings are not properly initialised as well. The aim of this
> ticket is to change that.
>
> Depends on #11268, #11139, #9976, #9944, #11269
>
> Apply
>
> - [attachment:trac9138-categories_for_rings.patch]
> - [attachment:trac9138_categories_for_more_rings.patch]
New description:
Introspection is failing on polynomial rings:
{{{
sage: R.<x> = QQ[]
sage: R.su<tab>
R.sum R.summation
R.summation_from_element_class_add
sage: R.sum?
Object `R.sum` not found.
sage: R.sum()
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
}}}
This is because polynomial rings do not yet set their category properly:
{{{
sage: QQ[x]._test_category()
------------------------------------------------------------
Traceback (most recent call last):
...
AssertionError: category of self improperly initialized
}}}
See http://groups.google.com/group/sage-
devel/browse_thread/thread/4780192a11a8b591 for more discussion.
Many other rings are not properly initialised as well. The aim of this
ticket is to change that.
Depends on #11268, #11139, #9976, #9944, #11269
Apply
- [attachment:trac9138-categories_for_rings.patch]
- [attachment:trac9138_categories_for_more_rings.patch]
- [attachment:trac9138_remove_unused_code.patch]
--
Comment:
I provided a third patch that (hopefully) addresses Volker's remarks on
commented out old code that better ought to be removed. Tests still pass
for me, but that's no surprise, since the new patch does not change the
code nor the documentation.
Apply trac9138-categories_for_rings.patch
trac9138_categories_for_more_rings.patch trac9138_remove_unused_code.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9138#comment:104>
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.
