#9138: Categories for all rings
--------------------------+-------------------------------------------------
   Reporter:  jbandlow    |          Owner:  nthiery                            
           
       Type:  defect      |         Status:  needs_review                       
           
   Priority:  major       |      Milestone:  sage-4.7.1                         
           
  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
--------------------------+-------------------------------------------------
Description changed by burcin:

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

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 trac9138-categories_for_rings.patch,
 trac9138_categories_for_more_rings.rebase4.7.1.a1.patch

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9138#comment:63>
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.

Reply via email to