Changes between Initial Version and Version 1 of Ticket #7921


Ignore:
Timestamp:
01/13/10 16:11:29 (12 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7921

    • Property Cc roed added; roe removed
  • Ticket #7921 – Description

    initial v1  
    1 With this patch, all parents and elements can inherit code from categories. This is implemented via __getattr__.
     1With this patch, all parents and elements can inherit code from categories, even extension types. This includes in particular
     2generic tests (see TestSuite(...).run()):
     3{{{
     4sage: ZZ.category()
     5Category of commutative rings
     6sage: TestSuite(ZZ).run(verbose = True)
     7running ._test_additive_associativity() . . . pass
     8running ._test_an_element() . . . pass
     9running ._test_associativity() . . . pass
     10running ._test_element_pickling() . . . pass
     11running ._test_not_implemented_methods() . . . pass
     12running ._test_one() . . . pass
     13running ._test_pickling() . . . pass
     14running ._test_prod() . . . pass
     15running ._test_some_elements() . . . pass
     16running ._test_zero() . . . pass
     17}}}
     18
     19It is to be expected that this will catch bugs in many places in the library.
     20
     21The implementation uses __getattr__ and has some limitations (e.g. handling of lazy attributes), though.