#16443: Category Modules ~> Algebras
--------------------------+----------------------------
   Reporter:  elixyre     |            Owner:
       Type:  defect      |           Status:  new
   Priority:  major       |        Milestone:  sage-6.3
  Component:  categories  |         Keywords:
  Merged in:              |          Authors:
  Reviewers:              |  Report Upstream:  N/A
Work issues:              |           Branch:
     Commit:              |     Dependencies:
   Stopgaps:              |
--------------------------+----------------------------
 Strange problem:
 {{{
 from sage.categories.category_types import Category_over_base_ring

 class A(Category_over_base_ring):

     def super_categories(self):
         R = self.base_ring()
         return [Algebras(R]
         #return [Modules(R)]

 class B(UniqueRepresentation, Parent):

     def __init__(self, R):
         Parent.__init__(self, category=A(R))
 }}}
 That fails! (6.2 rc 2):
 {{{
 sage: B(QQ)
 ...
 TypeError: None is not in Category of rings
 }}}

 But if I try to change the super categories:
 {{{
 Algebras(R) --> Modules(R)
 }}}

 That works! What's error mean?

--
Ticket URL: <http://trac.sagemath.org/ticket/16443>
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.

Reply via email to