Changes between Version 1 and Version 2 of Ticket #9065


Ignore:
Timestamp:
06/02/10 17:39:50 (12 years ago)
Author:
hivert
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9065 – Description

    v1 v2  
    11The goal of this tickets is to add support for facade parents; see:
    2 http://groups.google.com/group/sage-devel/browse_thread/thread/a5ea008c24c17956/00ab8c6d2a16f57a
     2[http://groups.google.com/group/sage-devel/browse_thread/thread/a5ea008c24c17956/00ab8c6d2a16f57a This thread]
    33
    4 The main issue currently is that facade parents (Primes, NonNegativeIntegers, SymmetricFunctions, ...) are not aware that they are, which breaks some of the generic TestSuite tests.
     4The main issue currently is that facade parents ({{{Primes, NonNegativeIntegers, SymmetricFunctions,}}} ...) are not aware that they are, which breaks some of the generic {{{TestSuite}}} tests.
    55
    66This involves:
    7  - Adding a new optional argument for Parent.__init__: {{{Parent.__init__(self, facade = [ZZ])}}}
     7 - Adding a new optional argument for {{{Parent.__init__}}}: {{{Parent.__init__(self, facade = [ZZ])}}}
    88 - Creating a category or abstract class for facade parents
    9  - Adding a method P.is_parent_of(x) in Sets.ParentMethods which checks that the parent of x is (equal to) P. Override this method for facade parents to check that the parent of x is one of the declared parents of P.
    10  - Fix P._test_one(), P._test_zero(), P._test_an_element() (and maybe others) to use {{{P.is_parent_of(x)}}} instead of {{{x in P}}}.
     9 - Adding a method {{{P.is_parent_of(x)}}} in {{{Sets.ParentMethods}}} which checks that the parent of x is (equal to) P. Override this method for facade parents to check that the parent of x is one of the declared parents of P.
     10 - Fix {{{P._test_one(), P._test_zero(), P._test_an_element()}}} (and maybe others) to use {{{P.is_parent_of(x)}}} instead of {{{x in P}}}.