#16831: TensorProductsCategory fails to work in 6.3
--------------------------+----------------------------
   Reporter:  cnassau     |            Owner:
       Type:  defect      |           Status:  new
   Priority:  major       |        Milestone:  sage-6.4
  Component:  categories  |         Keywords:
  Merged in:              |          Authors:
  Reviewers:              |  Report Upstream:  N/A
Work issues:              |           Branch:
     Commit:              |     Dependencies:
   Stopgaps:              |
--------------------------+----------------------------
 The following code used to work in Sage 6.0 (up to Sage 6.2 possibly, but
 can't test it right now):

 {{{
 from sage.categories.category_types import Category_over_base_ring
 from sage.categories.tensor import TensorProductsCategory, tensor

 class TestCat(Category_over_base_ring):
     @cached_method
     def super_categories(self):
         return []
     class ParentMethods:
         def mytestmthd(self):
             return "ok"
     class TensorProducts(TensorProductsCategory):
         @cached_method
         def extra_super_categories(self):
             return [self.base_category()]
         class ParentMethods:
             def tenstestmthd(self):
                 return "ok"

 O=CombinatorialFreeModule(RDF,ZZ,category=(ModulesWithBasis(RDF),TestCat(RDF)))
 print "O.cats=", O.categories()

 OO=tensor((O,O))
 print "OO.cats=", OO.categories()

 C=O.category()
 print C
 #print TensorProductsCategory(C)

 J=OO.category()
 print "OO.category=",J

 print O.mytestmthd()
 print OO.mytestmthd()
 print OO.tenstestmthd()
 }}}

 Here "works" means that the last three print statements produce an "ok".

 It no longer works in Sage 6.3:

    *  the `print TensorProductsCategory(C)` raises an error in `_repr_`
    *  the tensor product `OO` is no longer in the `TestCat.TensorProducts`
 category

 The `_repr_` error seems to relate to the new Axiom-framework.

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