Ticket #14287: trac_14287-rebased.patch

File trac_14287-rebased.patch, 53.8 KB (added by tscrim, 7 years ago)
  • doc/en/thematic_tutorials/coercion_and_categories.rst

    # HG changeset patch
    # User Julian Rueth <julian.rueth@gmail.com>
    # Date 1363506627 0
    # Node ID 4364e627f71700242c586b598ba6a3f255de1ea5
    # Parent 89049c07c2368bd937b8050d8e092f9c5bb4e35d
    #14287: split _test_elements_eq so it can be partially overwritten by padics
    
    diff --git a/doc/en/thematic_tutorials/coercion_and_categories.rst b/doc/en/thematic_tutorials/coercion_and_categories.rst
    a b coincide:: 
    406406
    407407    sage: import inspect
    408408    sage: len([s for s in dir(MS1) if inspect.ismethod(getattr(MS1,s,None))])
    409     52
     409    55
    410410    sage: len([s for s in dir(MS2) if inspect.ismethod(getattr(MS2,s,None))])
    411     74
     411    77
    412412    sage: MS1.__class__ is MS2.__class__
    413413    True
    414414
    Here are the tests that form the test su 
    14711471     '_test_characteristic_fields',
    14721472     '_test_distributivity',
    14731473     '_test_elements',
    1474      '_test_elements_eq',
    1475      '_test_one',
    1476      '_test_prod',
     1474     '_test_elements_eq_reflexive',
     1475     '_test_elements_eq_symmetric',
     1476     '_test_elements_eq_transitive',
     1477     '_test_elements_neq',
     1478     '_test_one', '_test_prod',
    14771479     '_test_some_elements',
    14781480     '_test_zero']
    14791481
    Let us see what tests are actually perfo 
    15161518      running ._test_not_implemented_methods() . . . pass
    15171519      running ._test_pickling() . . . pass
    15181520      pass
    1519     running ._test_elements_eq() . . . pass
     1521    running ._test_elements_eq_reflexive() . . . pass
     1522    running ._test_elements_eq_symmetric() . . . pass
     1523    running ._test_elements_eq_transitive() . . . pass
     1524    running ._test_elements_neq() . . . pass
    15201525    running ._test_eq() . . . pass
    15211526    running ._test_not_implemented_methods() . . . pass
    15221527    running ._test_one() . . . pass
    interesting. 
    16781683      running ._test_not_implemented_methods() . . . pass
    16791684      running ._test_pickling() . . . pass
    16801685      pass
    1681     running ._test_elements_eq() . . . pass
     1686    running ._test_elements_eq_reflexive() . . . pass
     1687    running ._test_elements_eq_symmetric() . . . pass
     1688    running ._test_elements_eq_transitive() . . . pass
     1689    running ._test_elements_neq() . . . pass
    16821690    running ._test_eq() . . . pass
    16831691    running ._test_not_implemented_methods() . . . pass
    16841692    running ._test_one() . . . pass
  • sage/algebras/letterplace/free_algebra_letterplace.pyx

    diff --git a/sage/algebras/letterplace/free_algebra_letterplace.pyx b/sage/algebras/letterplace/free_algebra_letterplace.pyx
    a b cdef class FreeAlgebra_letterplace(Algeb 
    253253              running ._test_not_implemented_methods() . . . pass
    254254              running ._test_pickling() . . . pass
    255255              pass
    256             running ._test_elements_eq() . . . pass
     256            running ._test_elements_eq_reflexive() . . . pass
     257            running ._test_elements_eq_symmetric() . . . pass
     258            running ._test_elements_eq_transitive() . . . pass
     259            running ._test_elements_neq() . . . pass
    257260            running ._test_eq() . . . pass
    258261            running ._test_not_implemented_methods() . . . pass
    259262            running ._test_one() . . . pass
  • sage/categories/algebras_with_basis.py

    diff --git a/sage/categories/algebras_with_basis.py b/sage/categories/algebras_with_basis.py
    a b class AlgebrasWithBasis(Category_over_ba 
    7272          running ._test_not_implemented_methods() . . . pass
    7373          running ._test_pickling() . . . pass
    7474          pass
    75         running ._test_elements_eq() . . . pass
     75        running ._test_elements_eq_reflexive() . . . pass
     76        running ._test_elements_eq_symmetric() . . . pass
     77        running ._test_elements_eq_transitive() . . . pass
     78        running ._test_elements_neq() . . . pass
    7679        running ._test_eq() . . . pass
    7780        running ._test_not_implemented_methods() . . . pass
    7881        running ._test_one() . . . pass
  • sage/categories/classical_crystals.py

    diff --git a/sage/categories/classical_crystals.py b/sage/categories/classical_crystals.py
    a b class ClassicalCrystals(Category_singlet 
    4343          running ._test_pickling() . . . pass
    4444          running ._test_stembridge_local_axioms() . . . pass
    4545          pass
    46         running ._test_elements_eq() . . . pass
     46        running ._test_elements_eq_reflexive() . . . pass
     47        running ._test_elements_eq_symmetric() . . . pass
     48        running ._test_elements_eq_transitive() . . . pass
     49        running ._test_elements_neq() . . . pass
    4750        running ._test_enumerated_set_contains() . . . pass
    4851        running ._test_enumerated_set_iter_cardinality() . . . pass
    4952        running ._test_enumerated_set_iter_list() . . . pass
    class ClassicalCrystals(Category_singlet 
    282285                  running ._test_pickling() . . . pass
    283286                  running ._test_stembridge_local_axioms() . . . pass
    284287                  pass
    285                 running ._test_elements_eq() . . . pass
     288                running ._test_elements_eq_reflexive() . . . pass
     289                running ._test_elements_eq_symmetric() . . . pass
     290                running ._test_elements_eq_transitive() . . . pass
     291                running ._test_elements_neq() . . . pass
    286292                running ._test_enumerated_set_contains() . . . pass
    287293                running ._test_enumerated_set_iter_cardinality() . . . pass
    288294                running ._test_enumerated_set_iter_list() . . . pass
    class ClassicalCrystals(Category_singlet 
    304310                  running ._test_pickling() . . . pass
    305311                  running ._test_stembridge_local_axioms() . . . pass
    306312                  pass
    307                 running ._test_elements_eq() . . . pass
     313                running ._test_elements_eq_reflexive() . . . pass
     314                running ._test_elements_eq_symmetric() . . . pass
     315                running ._test_elements_eq_transitive() . . . pass
     316                running ._test_elements_neq() . . . pass
    308317                running ._test_enumerated_set_contains() . . . pass
    309318                running ._test_enumerated_set_iter_cardinality() . . . pass
    310319                running ._test_enumerated_set_iter_list() . . . pass
    class ClassicalCrystals(Category_singlet 
    342351                running ._test_an_element() . . . pass
    343352                running ._test_category() . . . pass
    344353                running ._test_elements() . . .
    345                 Running the test suite of self.an_element()
     354                  Running the test suite of self.an_element()
    346355                  running ._test_category() . . . pass
    347356                  running ._test_eq() . . . pass
    348357                  running ._test_not_implemented_methods() . . . pass
    349358                  running ._test_pickling() . . . pass
    350359                  running ._test_stembridge_local_axioms() . . . pass
    351360                  pass
    352                 running ._test_elements_eq() . . . pass
     361                running ._test_elements_eq_reflexive() . . . pass
     362                running ._test_elements_eq_symmetric() . . . pass
     363                running ._test_elements_eq_transitive() . . . pass
     364                running ._test_elements_neq() . . . pass
    353365                running ._test_enumerated_set_contains() . . . pass
    354366                running ._test_enumerated_set_iter_cardinality() . . . pass
    355367                running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/coxeter_groups.py

    diff --git a/sage/categories/coxeter_groups.py b/sage/categories/coxeter_groups.py
    a b class CoxeterGroups(Category_singleton): 
    8282          running ._test_not_implemented_methods() . . . pass
    8383          running ._test_pickling() . . . pass
    8484          pass
    85         running ._test_elements_eq() . . . pass
     85        running ._test_elements_eq_reflexive() . . . pass
     86        running ._test_elements_eq_symmetric() . . . pass
     87        running ._test_elements_eq_transitive() . . . pass
     88        running ._test_elements_neq() . . . pass
    8689        running ._test_enumerated_set_contains() . . . pass
    8790        running ._test_enumerated_set_iter_cardinality() . . . pass
    8891        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/crystals.py

    diff --git a/sage/categories/crystals.py b/sage/categories/crystals.py
    a b class Crystals(Category_singleton): 
    6868          running ._test_pickling() . . . pass
    6969          running ._test_stembridge_local_axioms() . . . pass
    7070          pass
    71         running ._test_elements_eq() . . . pass
     71        running ._test_elements_eq_reflexive() . . . pass
     72        running ._test_elements_eq_symmetric() . . . pass
     73        running ._test_elements_eq_transitive() . . . pass
     74        running ._test_elements_neq() . . . pass
    7275        running ._test_enumerated_set_contains() . . . pass
    7376        running ._test_enumerated_set_iter_cardinality() . . . pass
    7477        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/commutative_additive_monoids.py

    diff --git a/sage/categories/examples/commutative_additive_monoids.py b/sage/categories/examples/commutative_additive_monoids.py
    a b class FreeCommutativeAdditiveMonoid(Free 
    4242        running ._test_additive_associativity() . . . pass
    4343        running ._test_an_element() . . . pass
    4444        running ._test_category() . . . pass
    45         running ._test_elements() . . . 
     45        running ._test_elements() . . .
    4646          Running the test suite of self.an_element()
    4747          running ._test_category() . . . pass
    4848          running ._test_eq() . . . pass
    class FreeCommutativeAdditiveMonoid(Free 
    5050          running ._test_not_implemented_methods() . . . pass
    5151          running ._test_pickling() . . . pass
    5252          pass
    53         running ._test_elements_eq() . . . pass
     53        running ._test_elements_eq_reflexive() . . . pass
     54        running ._test_elements_eq_symmetric() . . . pass
     55        running ._test_elements_eq_transitive() . . . pass
     56        running ._test_elements_neq() . . . pass
    5457        running ._test_eq() . . . pass
    5558        running ._test_not_implemented_methods() . . . pass
    5659        running ._test_pickling() . . . pass
  • sage/categories/examples/commutative_additive_semigroups.py

    diff --git a/sage/categories/examples/commutative_additive_semigroups.py b/sage/categories/examples/commutative_additive_semigroups.py
    a b class FreeCommutativeAdditiveSemigroup(U 
    5151          running ._test_not_implemented_methods() . . . pass
    5252          running ._test_pickling() . . . pass
    5353          pass
    54         running ._test_elements_eq() . . . pass
     54        running ._test_elements_eq_reflexive() . . . pass
     55        running ._test_elements_eq_symmetric() . . . pass
     56        running ._test_elements_eq_transitive() . . . pass
     57        running ._test_elements_neq() . . . pass
    5558        running ._test_eq() . . . pass
    5659        running ._test_not_implemented_methods() . . . pass
    5760        running ._test_pickling() . . . pass
  • sage/categories/examples/crystals.py

    diff --git a/sage/categories/examples/crystals.py b/sage/categories/examples/crystals.py
    a b class HighestWeightCrystalOfTypeA(Unique 
    6464          running ._test_pickling() . . . pass
    6565          running ._test_stembridge_local_axioms() . . . pass
    6666          pass
    67         running ._test_elements_eq() . . . pass
     67        running ._test_elements_eq_reflexive() . . . pass
     68        running ._test_elements_eq_symmetric() . . . pass
     69        running ._test_elements_eq_transitive() . . . pass
     70        running ._test_elements_neq() . . . pass
    6871        running ._test_enumerated_set_contains() . . . pass
    6972        running ._test_enumerated_set_iter_cardinality() . . . pass
    7073        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/facade_sets.py

    diff --git a/sage/categories/examples/facade_sets.py b/sage/categories/examples/facade_sets.py
    a b class PositiveIntegerMonoid(UniqueRepres 
    4444          running ._test_not_implemented_methods() . . . pass
    4545          running ._test_pickling() . . . pass
    4646          pass
    47         running ._test_elements_eq() . . . pass
     47        running ._test_elements_eq_reflexive() . . . pass
     48        running ._test_elements_eq_symmetric() . . . pass
     49        running ._test_elements_eq_transitive() . . . pass
     50        running ._test_elements_neq() . . . pass
    4851        running ._test_eq() . . . pass
    4952        running ._test_not_implemented_methods() . . . pass
    5053        running ._test_one() . . . pass
    class IntegersCompletion(UniqueRepresent 
    139142          running ._test_not_implemented_methods() . . . pass
    140143          running ._test_pickling() . . . pass
    141144          pass
    142         running ._test_elements_eq() . . . pass
     145        running ._test_elements_eq_reflexive() . . . pass
     146        running ._test_elements_eq_symmetric() . . . pass
     147        running ._test_elements_eq_transitive() . . . pass
     148        running ._test_elements_neq() . . . pass
    143149        running ._test_eq() . . . pass
    144150        running ._test_not_implemented_methods() . . . pass
    145151        running ._test_pickling() . . . pass
  • sage/categories/examples/finite_coxeter_groups.py

    diff --git a/sage/categories/examples/finite_coxeter_groups.py b/sage/categories/examples/finite_coxeter_groups.py
    a b class DihedralGroup(UniqueRepresentation 
    7777          running ._test_not_implemented_methods() . . . pass
    7878          running ._test_pickling() . . . pass
    7979          pass
    80         running ._test_elements_eq() . . . pass
     80        running ._test_elements_eq_reflexive() . . . pass
     81        running ._test_elements_eq_symmetric() . . . pass
     82        running ._test_elements_eq_transitive() . . . pass
     83        running ._test_elements_neq() . . . pass
    8184        running ._test_enumerated_set_contains() . . . pass
    8285        running ._test_enumerated_set_iter_cardinality() . . . pass
    8386        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/finite_enumerated_sets.py

    diff --git a/sage/categories/examples/finite_enumerated_sets.py b/sage/categories/examples/finite_enumerated_sets.py
    a b class Example(UniqueRepresentation, Pare 
    4747          running ._test_not_implemented_methods() . . . pass
    4848          running ._test_pickling() . . . pass
    4949          pass
    50         running ._test_elements_eq() . . . pass
     50        running ._test_elements_eq_reflexive() . . . pass
     51        running ._test_elements_eq_symmetric() . . . pass
     52        running ._test_elements_eq_transitive() . . . pass
     53        running ._test_elements_neq() . . . pass
    5154        running ._test_enumerated_set_contains() . . . pass
    5255        running ._test_enumerated_set_iter_cardinality() . . . pass
    5356        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/finite_monoids.py

    diff --git a/sage/categories/examples/finite_monoids.py b/sage/categories/examples/finite_monoids.py
    a b class IntegerModMonoid(UniqueRepresentat 
    4444          running ._test_not_implemented_methods() . . . pass
    4545          running ._test_pickling() . . . pass
    4646          pass
    47         running ._test_elements_eq() . . . pass
     47        running ._test_elements_eq_reflexive() . . . pass
     48        running ._test_elements_eq_symmetric() . . . pass
     49        running ._test_elements_eq_transitive() . . . pass
     50        running ._test_elements_neq() . . . pass
    4851        running ._test_enumerated_set_contains() . . . pass
    4952        running ._test_enumerated_set_iter_cardinality() . . . pass
    5053        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/finite_semigroups.py

    diff --git a/sage/categories/examples/finite_semigroups.py b/sage/categories/examples/finite_semigroups.py
    a b class LeftRegularBand(UniqueRepresentati 
    8787          running ._test_not_implemented_methods() . . . pass
    8888          running ._test_pickling() . . . pass
    8989          pass
    90         running ._test_elements_eq() . . . pass
     90        running ._test_elements_eq_reflexive() . . . pass
     91        running ._test_elements_eq_symmetric() . . . pass
     92        running ._test_elements_eq_transitive() . . . pass
     93        running ._test_elements_neq() . . . pass
    9194        running ._test_enumerated_set_contains() . . . pass
    9295        running ._test_enumerated_set_iter_cardinality() . . . pass
    9396        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/finite_weyl_groups.py

    diff --git a/sage/categories/examples/finite_weyl_groups.py b/sage/categories/examples/finite_weyl_groups.py
    a b class SymmetricGroup(UniqueRepresentatio 
    5858          running ._test_not_implemented_methods() . . . pass
    5959          running ._test_pickling() . . . pass
    6060          pass
    61         running ._test_elements_eq() . . . pass
     61        running ._test_elements_eq_reflexive() . . . pass
     62        running ._test_elements_eq_symmetric() . . . pass
     63        running ._test_elements_eq_transitive() . . . pass
     64        running ._test_elements_neq() . . . pass
    6265        running ._test_enumerated_set_contains() . . . pass
    6366        running ._test_enumerated_set_iter_cardinality() . . . pass
    6467        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/infinite_enumerated_sets.py

    diff --git a/sage/categories/examples/infinite_enumerated_sets.py b/sage/categories/examples/infinite_enumerated_sets.py
    a b class NonNegativeIntegers(UniqueRepresen 
    6060          running ._test_not_implemented_methods() . . . pass
    6161          running ._test_pickling() . . . pass
    6262          pass
    63         running ._test_elements_eq() . . . pass
     63        running ._test_elements_eq_reflexive() . . . pass
     64        running ._test_elements_eq_symmetric() . . . pass
     65        running ._test_elements_eq_transitive() . . . pass
     66        running ._test_elements_neq() . . . pass
    6467        running ._test_enumerated_set_contains() . . . pass
    6568        running ._test_enumerated_set_iter_cardinality() . . . pass
    6669        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/examples/monoids.py

    diff --git a/sage/categories/examples/monoids.py b/sage/categories/examples/monoids.py
    a b class FreeMonoid(FreeSemigroup): 
    5151          running ._test_not_implemented_methods() . . . pass
    5252          running ._test_pickling() . . . pass
    5353          pass
    54         running ._test_elements_eq() . . . pass
     54        running ._test_elements_eq_reflexive() . . . pass
     55        running ._test_elements_eq_symmetric() . . . pass
     56        running ._test_elements_eq_transitive() . . . pass
     57        running ._test_elements_neq() . . . pass
    5558        running ._test_eq() . . . pass
    5659        running ._test_not_implemented_methods() . . . pass
    5760        running ._test_one() . . . pass
  • sage/categories/examples/posets.py

    diff --git a/sage/categories/examples/posets.py b/sage/categories/examples/posets.py
    a b class FiniteSetsOrderedByInclusion(Uniqu 
    3838          running ._test_not_implemented_methods() . . . pass
    3939          running ._test_pickling() . . . pass
    4040          pass
    41         running ._test_elements_eq() . . . pass
     41        running ._test_elements_eq_reflexive() . . . pass
     42        running ._test_elements_eq_symmetric() . . . pass
     43        running ._test_elements_eq_transitive() . . . pass
     44        running ._test_elements_neq() . . . pass
    4245        running ._test_eq() . . . pass
    4346        running ._test_not_implemented_methods() . . . pass
    4447        running ._test_pickling() . . . pass
  • sage/categories/examples/semigroups.py

    diff --git a/sage/categories/examples/semigroups.py b/sage/categories/examples/semigroups.py
    a b class LeftZeroSemigroup(UniqueRepresenta 
    5353          running ._test_not_implemented_methods() . . . pass
    5454          running ._test_pickling() . . . pass
    5555          pass
    56         running ._test_elements_eq() . . . pass
     56        running ._test_elements_eq_reflexive() . . . pass
     57        running ._test_elements_eq_symmetric() . . . pass
     58        running ._test_elements_eq_transitive() . . . pass
     59        running ._test_elements_neq() . . . pass
    5760        running ._test_eq() . . . pass
    5861        running ._test_not_implemented_methods() . . . pass
    5962        running ._test_pickling() . . . pass
    class FreeSemigroup(UniqueRepresentation 
    181184          running ._test_not_implemented_methods() . . . pass
    182185          running ._test_pickling() . . . pass
    183186          pass
    184         running ._test_elements_eq() . . . pass
     187        running ._test_elements_eq_reflexive() . . . pass
     188        running ._test_elements_eq_symmetric() . . . pass
     189        running ._test_elements_eq_transitive() . . . pass
     190        running ._test_elements_neq() . . . pass
    185191        running ._test_eq() . . . pass
    186192        running ._test_not_implemented_methods() . . . pass
    187193        running ._test_pickling() . . . pass
    class QuotientOfLeftZeroSemigroup(Unique 
    351357          running ._test_not_implemented_methods() . . . pass
    352358          running ._test_pickling() . . . pass
    353359          pass
    354         running ._test_elements_eq() . . . pass
     360        running ._test_elements_eq_reflexive() . . . pass
     361        running ._test_elements_eq_symmetric() . . . pass
     362        running ._test_elements_eq_transitive() . . . pass
     363        running ._test_elements_neq() . . . pass
    355364        running ._test_eq() . . . pass
    356365        running ._test_not_implemented_methods() . . . pass
    357366        running ._test_pickling() . . . pass
    class IncompleteSubquotientSemigroup(Uni 
    569578              running ._test_not_implemented_methods() . . . pass
    570579              running ._test_pickling() . . . pass
    571580              pass
    572             running ._test_elements_eq() . . . pass
     581            running ._test_elements_eq_reflexive() . . . pass
     582            running ._test_elements_eq_symmetric() . . . pass
     583            running ._test_elements_eq_transitive() . . . pass
     584            running ._test_elements_neq() . . . pass
    573585            running ._test_eq() . . . pass
    574586            running ._test_not_implemented_methods() . . . fail
    575587            Traceback (most recent call last):
  • sage/categories/examples/semigroups_cython.pyx

    diff --git a/sage/categories/examples/semigroups_cython.pyx b/sage/categories/examples/semigroups_cython.pyx
    a b class LeftZeroSemigroup(LeftZeroSemigrou 
    217217          running ._test_not_implemented_methods() . . . pass
    218218          running ._test_pickling() . . . pass
    219219          pass
    220         running ._test_elements_eq() . . . pass
     220        running ._test_elements_eq_reflexive() . . . pass
     221        running ._test_elements_eq_symmetric() . . . pass
     222        running ._test_elements_eq_transitive() . . . pass
     223        running ._test_elements_neq() . . . pass
    221224        running ._test_eq() . . . pass
    222225        running ._test_not_implemented_methods() . . . pass
    223226        running ._test_pickling() . . . pass
  • sage/categories/examples/sets_cat.py

    diff --git a/sage/categories/examples/sets_cat.py b/sage/categories/examples/sets_cat.py
    a b class PrimeNumbers(UniqueRepresentation, 
    6767          running ._test_not_implemented_methods() . . . pass
    6868          running ._test_pickling() . . . pass
    6969          pass
    70         running ._test_elements_eq() . . . pass
     70        running ._test_elements_eq_reflexive() . . . pass
     71        running ._test_elements_eq_symmetric() . . . pass
     72        running ._test_elements_eq_transitive() . . . pass
     73        running ._test_elements_neq() . . . pass
    7174        running ._test_eq() . . . pass
    7275        running ._test_not_implemented_methods() . . . pass
    7376        running ._test_pickling() . . . pass
    class PrimeNumbers_Inherits(PrimeNumbers 
    345348          running ._test_not_implemented_methods() . . . pass
    346349          running ._test_pickling() . . . pass
    347350          pass
    348         running ._test_elements_eq() . . . pass
     351        running ._test_elements_eq_reflexive() . . . pass
     352        running ._test_elements_eq_symmetric() . . . pass
     353        running ._test_elements_eq_transitive() . . . pass
     354        running ._test_elements_neq() . . . pass
    349355        running ._test_eq() . . . pass
    350356        running ._test_not_implemented_methods() . . . pass
    351357        running ._test_pickling() . . . pass
    class PrimeNumbers_Facade(PrimeNumbers_A 
    625631          running ._test_not_implemented_methods() . . . pass
    626632          running ._test_pickling() . . . pass
    627633          pass
    628         running ._test_elements_eq() . . . pass
     634        running ._test_elements_eq_reflexive() . . . pass
     635        running ._test_elements_eq_symmetric() . . . pass
     636        running ._test_elements_eq_transitive() . . . pass
     637        running ._test_elements_neq() . . . pass
    629638        running ._test_eq() . . . pass
    630639        running ._test_not_implemented_methods() . . . pass
    631640        running ._test_pickling() . . . pass
  • sage/categories/finite_crystals.py

    diff --git a/sage/categories/finite_crystals.py b/sage/categories/finite_crystals.py
    a b class FiniteCrystals(Category): 
    4242          running ._test_pickling() . . . pass
    4343          running ._test_stembridge_local_axioms() . . . pass
    4444          pass
    45         running ._test_elements_eq() . . . pass
     45        running ._test_elements_eq_reflexive() . . . pass
     46        running ._test_elements_eq_symmetric() . . . pass
     47        running ._test_elements_eq_transitive() . . . pass
     48        running ._test_elements_neq() . . . pass
    4649        running ._test_enumerated_set_contains() . . . pass
    4750        running ._test_enumerated_set_iter_cardinality() . . . pass
    4851        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/finite_permutation_groups.py

    diff --git a/sage/categories/finite_permutation_groups.py b/sage/categories/finite_permutation_groups.py
    a b class FinitePermutationGroups(Category): 
    4949          running ._test_not_implemented_methods() . . . pass
    5050          running ._test_pickling() . . . pass
    5151          pass
    52         running ._test_elements_eq() . . . pass
     52        running ._test_elements_eq_reflexive() . . . pass
     53        running ._test_elements_eq_symmetric() . . . pass
     54        running ._test_elements_eq_transitive() . . . pass
     55        running ._test_elements_neq() . . . pass
    5356        running ._test_enumerated_set_contains() . . . pass
    5457        running ._test_enumerated_set_iter_cardinality() . . . pass
    5558        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/finite_weyl_groups.py

    diff --git a/sage/categories/finite_weyl_groups.py b/sage/categories/finite_weyl_groups.py
    a b class FiniteWeylGroups(Category): 
    4141          running ._test_not_implemented_methods() . . . pass
    4242          running ._test_pickling() . . . pass
    4343          pass
    44         running ._test_elements_eq() . . . pass
     44        running ._test_elements_eq_reflexive() . . . pass
     45        running ._test_elements_eq_symmetric() . . . pass
     46        running ._test_elements_eq_transitive() . . . pass
     47        running ._test_elements_neq() . . . pass
    4548        running ._test_enumerated_set_contains() . . . pass
    4649        running ._test_enumerated_set_iter_cardinality() . . . pass
    4750        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/highest_weight_crystals.py

    diff --git a/sage/categories/highest_weight_crystals.py b/sage/categories/highest_weight_crystals.py
    a b class HighestWeightCrystals(Category_sin 
    4545          running ._test_pickling() . . . pass
    4646          running ._test_stembridge_local_axioms() . . . pass
    4747          pass
    48         running ._test_elements_eq() . . . pass
     48        running ._test_elements_eq_reflexive() . . . pass
     49        running ._test_elements_eq_symmetric() . . . pass
     50        running ._test_elements_eq_transitive() . . . pass
     51        running ._test_elements_neq() . . . pass
    4952        running ._test_enumerated_set_contains() . . . pass
    5053        running ._test_enumerated_set_iter_cardinality() . . . pass
    5154        running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/hopf_algebras_with_basis.py

    diff --git a/sage/categories/hopf_algebras_with_basis.py b/sage/categories/hopf_algebras_with_basis.py
    a b class HopfAlgebrasWithBasis(Category_ove 
    8282          running ._test_not_implemented_methods() . . . pass
    8383          running ._test_pickling() . . . pass
    8484          pass
    85         running ._test_elements_eq() . . . pass
     85        running ._test_elements_eq_reflexive() . . . pass
     86        running ._test_elements_eq_symmetric() . . . pass
     87        running ._test_elements_eq_transitive() . . . pass
     88        running ._test_elements_neq() . . . pass
    8689        running ._test_eq() . . . pass
    8790        running ._test_not_implemented_methods() . . . pass
    8891        running ._test_one() . . . pass
  • sage/categories/primer.py

    diff --git a/sage/categories/primer.py b/sage/categories/primer.py
    a b element of the parent?):: 
    479479      running ._test_not_implemented_methods() . . . pass
    480480      running ._test_pickling() . . . pass
    481481      pass
    482     running ._test_elements_eq() . . . pass
     482        running ._test_elements_eq_reflexive() . . . pass
     483        running ._test_elements_eq_symmetric() . . . pass
     484        running ._test_elements_eq_transitive() . . . pass
     485        running ._test_elements_neq() . . . pass
    483486    running ._test_enumerated_set_contains() . . . pass
    484487    running ._test_enumerated_set_iter_cardinality() . . . pass
    485488    running ._test_enumerated_set_iter_list() . . . pass
  • sage/categories/sets_cat.py

    diff --git a/sage/categories/sets_cat.py b/sage/categories/sets_cat.py
    a b from sage.categories.with_realizations i 
    3232
    3333lazy_import('sage.sets.cartesian_product', 'CartesianProduct')
    3434
     35def print_compare(x, y):
     36    """
     37    Helper method used in
     38    :meth:`Sets.ParentMethods._test_elements_eq_symmetric`,
     39    :meth:`Sets.ParentMethods._test_elements_eq_tranisitive`.
     40
     41    INPUT:
     42
     43    - ``x`` -- an element
     44
     45    - ``y`` -- an element
     46
     47    EXAMPLES::
     48
     49        sage: from sage.categories.sets_cat import print_compare
     50        sage: print_compare(1,2)
     51        1 != 2
     52        sage: print_compare(1,1)
     53        1 == 1
     54
     55    """
     56    if x == y:
     57        return LazyFormat("%s == %s")%(x, y)
     58    else:
     59        return LazyFormat("%s != %s")%(x, y)
     60
    3561class EmptySetError(ValueError):
    3662    """
    3763    Exception raised when some operation can't be performed on the empty set.
    class Sets(Category_singleton): 
    110136          running ._test_not_implemented_methods() . . . pass
    111137          running ._test_pickling() . . . pass
    112138          pass
    113         running ._test_elements_eq() . . . pass
     139        running ._test_elements_eq_reflexive() . . . pass
     140        running ._test_elements_eq_symmetric() . . . pass
     141        running ._test_elements_eq_transitive() . . . pass
     142        running ._test_elements_neq() . . . pass
    114143        running ._test_eq() . . . pass
    115144        running ._test_not_implemented_methods() . . . pass
    116145        running ._test_pickling() . . . pass
    class Sets(Category_singleton): 
    344373
    345374            TESTS::
    346375
    347                 sage: P = sage.categories.examples.sets_cat.PrimeNumbers()
     376                sage: from sage.categories.examples.sets_cat import PrimeNumbers
     377                sage: P = PrimeNumbers()
    348378                sage: 12 in P
    349379                False
    350380                sage: P(5) in P
    class Sets(Category_singleton): 
    474504                                      raise_on_failure = is_sub_testsuite)
    475505            tester.info(tester._prefix+" ", newline = False)
    476506
     507        def _test_elements_eq_reflexive(self, **options):
     508            """
     509            Run generic tests on the equality of elements.
    477510
    478 
    479         def _test_elements_eq(self, **options):
    480             """
    481             Runs generic tests on the equality of elements.
    482 
    483             In particular, this tests that ``==`` is reflexive,
    484             symmetric, and transitive on some_elements of ``self``
    485             together with ``0`` and ``None``. This also tests the
    486             consistency with inequality tests with ``!=``.
     511            Test that ``==`` is reflexive.
    487512
    488513            See also: :class:`TestSuite`.
    489514
    490515            EXAMPLES::
    491516
    492517                sage: C = Sets().example()
    493                 sage: C._test_elements_eq()
     518                sage: C._test_elements_eq_reflexive()
    494519
    495             Let us test the consistency of a broken equality or inequality::
     520            We try a non-reflexive equality::
    496521
    497522                sage: P = Sets().example("wrapper")
    498                 sage: P._test_elements_eq()
     523                sage: P._test_elements_eq_reflexive()
     524                sage: eq = P.element_class.__eq__
     525
     526                sage: P.element_class.__eq__ = (lambda x, y:
     527                ...        False if eq(x, P(47)) and eq(y, P(47)) else eq(x, y))
     528                sage: P._test_elements_eq_reflexive()
     529                Traceback (most recent call last):
     530                ...
     531                AssertionError: 47 != 47
     532
     533            We restore ``P.element_class`` in a proper state for further tests::
     534
     535                sage: P.element_class.__eq__ = eq
     536
     537            """
     538            tester = self._tester(**options)
     539            S = list(tester.some_elements()) + [None, 0]
     540            for x in S:
     541                tester.assertEqual(x, x)
     542
     543        def _test_elements_eq_symmetric(self, **options):
     544            """
     545            Run generic tests on the equality of elements.
     546
     547            This tests that ``==`` is symmetric.
     548
     549            See also: :class:`TestSuite`.
     550
     551            EXAMPLES::
     552
     553                sage: C = Sets().example()
     554                sage: C._test_elements_eq_symmetric()
     555
     556            We test a non symmetric equality::
     557
     558                sage: P = Sets().example("wrapper")
     559                sage: P._test_elements_eq_symmetric()
     560                sage: eq = P.element_class.__eq__
     561
     562                sage: def non_sym_eq(x, y):
     563                ...      if not y in P:                      return False
     564                ...      elif eq(x, P(47)) and eq(y, P(53)): return True
     565                ...      else:                               return eq(x, y)
     566                sage: P.element_class.__eq__ = non_sym_eq
     567                sage: P._test_elements_eq_symmetric()
     568                Traceback (most recent call last):
     569                ...
     570                AssertionError: non symmetric equality: 47 == 53 but 53 != 47
     571
     572            We restore ``P.element_class`` in a proper state for further tests::
     573
     574                sage: P.element_class.__eq__ = eq
     575
     576            """
     577            tester = self._tester(**options)
     578            S = list(tester.some_elements()) + [None, 0]
     579            n = tester._max_runs
     580            from sage.combinat.cartesian_product import CartesianProduct
     581            S = CartesianProduct(S,S)
     582            if len(S) > n:
     583                from random import sample
     584                S = sample(S, n)
     585
     586            for x, y in S:
     587                tester.assertEqual(x==y, y==x,
     588                    LazyFormat("non symmetric equality: %s but %s")%(
     589                        print_compare(x, y), print_compare(y, x)))
     590
     591        def _test_elements_eq_transitive(self, **options):
     592            """
     593            Run generic tests on the equality of elements.
     594
     595            Test that ``==`` is transitive.
     596
     597            See also: :class:`TestSuite`.
     598
     599            EXAMPLES::
     600
     601                sage: C = Sets().example()
     602                sage: C._test_elements_eq_transitive()
     603
     604            We test a non transitive equality::
     605
     606                sage: R = Zp(3)
     607                sage: Sets().ParentMethods._test_elements_eq_transitive.im_func(R,elements=[R(3,2),R(3,1),R(0)])
     608                Traceback (most recent call last):
     609                ...
     610                AssertionError: non transitive equality:
     611                3 + O(3^2) == O(3) and O(3) == 0 but 3 + O(3^2) != 0
     612
     613            """
     614            tester = self._tester(**options)
     615            S = list(tester.some_elements())
     616            n = tester._max_runs
     617            if (len(S)+2)**3 <= n:
     618                S = list(S) + [None, 0]
     619            else:
     620                from random import sample
     621                from sage.rings.integer import Integer
     622                S = sample(S, Integer(n).nth_root(3,truncate_mode=1)[0] - 2) + [None, 0]
     623
     624            for x in S:
     625                for y in S:
     626                    if not x == y: continue
     627                    for z in S:
     628                        if not y == z: continue
     629                        tester.assertTrue(x == z,
     630                            LazyFormat("non transitive equality:\n"
     631                                       "%s and %s but %s")%(
     632                                print_compare(x, y),
     633                                print_compare(y, z),
     634                                print_compare(x, z)))
     635
     636        def _test_elements_neq(self, **options):
     637            """
     638            Run generic tests on the equality of elements.
     639
     640            Test that ``==`` and ``!=`` are consistent.
     641
     642            See also: :class:`TestSuite`.
     643
     644            EXAMPLES::
     645
     646                sage: C = Sets().example()
     647                sage: C._test_elements_neq()
     648
     649            We try a broken inequality::
     650
     651                sage: P = Sets().example("wrapper")
     652                sage: P._test_elements_neq()
    499653                sage: ne = P.element_class.__ne__
    500654                sage: eq = P.element_class.__eq__
    501655
    502             We first try a broken inequality::
    503 
    504656                sage: P.element_class.__ne__ = lambda x, y: False
    505                 sage: P._test_elements_eq()
     657                sage: P._test_elements_neq()
    506658                Traceback (most recent call last):
    507659                ...
    508660                AssertionError: __eq__ and __ne__ inconsistency:
    class Sets(Category_singleton): 
    510662
    511663                sage: P.element_class.__ne__ = lambda x, y: not(x == y)
    512664
    513             We then try a non-reflexive equality::
    514 
    515                 sage: P.element_class.__eq__ = (lambda x, y:
    516                 ...        False if eq(x, P(47)) and eq(y, P(47)) else eq(x, y))
    517                 sage: P._test_elements_eq()
    518                 Traceback (most recent call last):
    519                 ...
    520                 AssertionError: non reflexive equality: 47 != 47
    521 
    522             What about a non symmetric equality::
    523 
    524                 sage: def non_sym_eq(x, y):
    525                 ...      if not y in P:                      return False
    526                 ...      elif eq(x, P(47)) and eq(y, P(53)): return True
    527                 ...      else:                               return eq(x, y)
    528                 sage: P.element_class.__eq__ = non_sym_eq
    529                 sage: P._test_elements_eq()
    530                 Traceback (most recent call last):
    531                 ...
    532                 AssertionError: non symmetric equality: 53 != 47 but 47 == 53
    533 
    534             And finally a non transitive equality::
    535 
    536                 sage: def non_sym_eq(x, y):
    537                 ...      if not y in P:                      return False
    538                 ...      elif eq(x, P(47)) and eq(y, P(53)): return True
    539                 ...      elif eq(x, P(53)) and eq(y, P(47)): return True
    540                 ...      elif eq(x, P(47)) and eq(y, P(59)): return True
    541                 ...      elif eq(x, P(59)) and eq(y, P(47)): return True
    542                 ...      else:                               return eq(x, y)
    543                 sage: P.element_class.__eq__ = non_sym_eq
    544                 sage: P._test_elements_eq()
    545                 Traceback (most recent call last):
    546                 ...
    547                 AssertionError: non transitive equality:
    548                   53 == 47 and 47 == 59 but 53 != 59
    549 
    550665            We restore ``P.element_class`` in a proper state for further tests::
    551666
    552667                sage: P.element_class.__ne__ = ne
    553668                sage: P.element_class.__eq__ = eq
    554669            """
    555670            tester = self._tester(**options)
    556             S = list(tester.some_elements())
    557             # Note: we can't expect that all those elements are hashable
     671            S = list(tester.some_elements()) + [None, 0]
    558672            n = tester._max_runs
    559673            from sage.combinat.cartesian_product import CartesianProduct
    560             from random import sample
    561             from sage.rings.integer import Integer
    562             if (len(S)+2)**3 <= n:
    563                 elements = list(S) + [None, 0]
    564             else:
    565                 m = Integer(n).nth_root(3,truncate_mode=1)[0] - 2
    566                 if m < 0: m = 0
    567                 elements = sample(S, m) + [None, 0]
     674            S = CartesianProduct(S,S)
     675            if len(S) > n:
     676                from random import sample
     677                S = sample(S, n)
    568678
    569             equal_eli_elj = {}
    570             def print_compare(x, y):
    571                 if x == y:
    572                     return LazyFormat("%s == %s")%(x, y)
    573                 else:
    574                     return LazyFormat("%s != %s")%(x, y)
    575             for i, eli in enumerate(elements):
    576                 for j, elj in enumerate(elements):
    577                     equal_eli_elj[i,j] = (eli == elj)
    578                     tester.assertNotEqual(equal_eli_elj[i,j], eli != elj,
    579                         LazyFormat("__eq__ and __ne__ inconsistency:\n"
    580                             "  %s == %s returns %s  but  %s != %s returns %s")%(
    581                                 eli, elj, (eli == elj), eli, elj, (eli != elj)))
    582                     if i == j:
    583                         tester.assertTrue(equal_eli_elj[i,i],
    584                             LazyFormat("non reflexive equality: %s != %s")%(eli,eli))
    585                     if i > j: # (j, i) is already computed
    586                         tester.assertEqual(equal_eli_elj[i,j], equal_eli_elj[j,i],
    587                             LazyFormat("non symmetric equality: %s but %s")%(
    588                                 print_compare(eli, elj), print_compare(elj, eli)))
    589             # check for transitivity
    590             nbel = len(elements)
    591             for i in range(nbel):
    592                 for j in range(nbel):
    593                     if not equal_eli_elj[i,j]: continue
    594                     for k in range(nbel):
    595                         if not equal_eli_elj[j,k]: continue
    596                         tester.assertTrue(equal_eli_elj[i,k],
    597                             LazyFormat("non transitive equality:\n"
    598                                        "%s and %s but %s")%(
    599                                 print_compare(elements[i], elements[j]),
    600                                 print_compare(elements[j], elements[k]),
    601                                 print_compare(elements[i], elements[k])))
     679            for x,y in S:
     680                tester.assertNotEqual(x == y, x != y,
     681                    LazyFormat("__eq__ and __ne__ inconsistency:\n"
     682                        "  %s == %s returns %s  but  %s != %s returns %s")%(
     683                            x, y, (x == y), x, y, (x != y)))
    602684
    603685        def some_elements(self):
    604686            """
  • sage/groups/group.pyx

    diff --git a/sage/groups/group.pyx b/sage/groups/group.pyx
    a b cdef class Group(Parent): 
    3131
    3232        sage: from sage.groups.group import Group
    3333        sage: G = Group()
    34         sage: TestSuite(G).run()
    35         Failure in _test_an_element:
    36         Traceback (most recent call last):
    37         ...
    38         The following tests failed:
    39         _test_an_element, _test_associativity, _test_elements,
    40         _test_elements_eq, _test_inverse, _test_one,
    41         _test_pickling, _test_prod, _test_some_elements
     34        sage: TestSuite(G).run(skip = ["_test_an_element",\
     35                                       "_test_associativity",\
     36                                       "_test_elements",\
     37                                       "_test_elements_eq_reflexive",\
     38                                       "_test_elements_eq_symmetric",\
     39                                       "_test_elements_eq_transitive",\
     40                                       "_test_elements_neq",\
     41                                       "_test_inverse",\
     42                                       "_test_one",\
     43                                       "_test_pickling",\
     44                                       "_test_prod",\
     45                                       "_test_some_elements"])
    4246    """
    4347    def __init__(self, gens=None, category=None):
    4448        """
  • sage/groups/pari_group.py

    diff --git a/sage/groups/pari_group.py b/sage/groups/pari_group.py
    a b class PariGroup(Group): 
    2222        Caveat: fix those tests and/or document precisely that this is
    2323        an abstract group without explicit elements::
    2424
    25             sage: TestSuite(G).run()
    26             Failure in
    27             ...
    28             The following tests failed: _test_an_element, _test_associativity, _test_elements, _test_elements_eq, _test_enumerated_set_contains, _test_enumerated_set_iter_cardinality, _test_enumerated_set_iter_list, _test_inverse, _test_one, _test_prod, _test_some_elements
     25            sage: TestSuite(G).run(skip = ["_test_an_element",\
     26                                           "_test_associativity",\
     27                                           "_test_elements",\
     28                                           "_test_elements_eq_reflexive",\
     29                                           "_test_elements_eq_symmetric",\
     30                                           "_test_elements_eq_transitive",\
     31                                           "_test_elements_neq",\
     32                                           "_test_enumerated_set_contains",\
     33                                           "_test_enumerated_set_iter_cardinality",\
     34                                           "_test_enumerated_set_iter_list",\
     35                                           "_test_inverse",\
     36                                           "_test_one",\
     37                                           "_test_prod",\
     38                                           "_test_some_elements"])
    2939        """
    3040        if not isinstance(x, pari_gen):
    3141            raise TypeError, "x (=%s) must be a PARI gen"%x
  • sage/misc/sage_unittest.py

    diff --git a/sage/misc/sage_unittest.py b/sage/misc/sage_unittest.py
    a b class TestSuite(object): 
    5252          running ._test_not_implemented_methods() . . . pass
    5353          running ._test_pickling() . . . pass
    5454          pass
    55         running ._test_elements_eq() . . . pass
     55        running ._test_elements_eq_reflexive() . . . pass
     56        running ._test_elements_eq_symmetric() . . . pass
     57        running ._test_elements_eq_transitive() . . . pass
     58        running ._test_elements_neq() . . . pass
    5659        running ._test_enumerated_set_contains() . . . pass
    5760        running ._test_enumerated_set_iter_cardinality() . . . pass
    5861        running ._test_enumerated_set_iter_list() . . . pass
  • sage/modular/hecke/module.py

    diff --git a/sage/modular/hecke/module.py b/sage/modular/hecke/module.py
    a b class HeckeModule_free_module(HeckeModul 
    515515
    516516            sage: M = sage.modular.hecke.module.HeckeModule_free_module(QQ, 12, -4); M
    517517            <class 'sage.modular.hecke.module.HeckeModule_free_module_with_category'>
    518             sage: TestSuite(M).run(skip = ["_test_additive_associativity", "_test_an_element", "_test_elements", "_test_elements_eq", "_test_pickling", "_test_some_elements", "_test_zero", "_test_eq"]) # is this supposed to be an abstract parent without elements?
     518            sage: TestSuite(M).run(skip = ["_test_additive_associativity",\
     519                                           "_test_an_element",\
     520                                           "_test_elements",\
     521                                           "_test_elements_eq_reflexive",\
     522                                           "_test_elements_eq_symmetric",\
     523                                           "_test_elements_eq_transitive",\
     524                                           "_test_elements_neq",\
     525                                           "_test_pickling",\
     526                                           "_test_some_elements",\
     527                                           "_test_zero",\
     528                                           "_test_eq"]) # is this supposed to be an abstract parent without elements?
    519529        """
    520530        HeckeModule_generic.__init__(self, base_ring, level)
    521531        self.__weight = weight
  • sage/rings/ring.pyx

    diff --git a/sage/rings/ring.pyx b/sage/rings/ring.pyx
    a b cdef class Ring(ParentWithGens): 
    116116          running ._test_not_implemented_methods() . . . pass
    117117          running ._test_pickling() . . . pass
    118118          pass
    119         running ._test_elements_eq() . . . pass
     119        running ._test_elements_eq_reflexive() . . . pass
     120        running ._test_elements_eq_symmetric() . . . pass
     121        running ._test_elements_eq_transitive() . . . pass
     122        running ._test_elements_neq() . . . pass
    120123        running ._test_eq() . . . pass
    121124        running ._test_not_implemented_methods() . . . pass
    122125        running ._test_one() . . . pass
  • sage/schemes/generic/projective_space.py

    diff --git a/sage/schemes/generic/projective_space.py b/sage/schemes/generic/projective_space.py
    a b class ProjectiveSpace_ring(AmbientSpace) 
    705705              To:   Spectrum of Rational Field
    706706              Defn: Structure map
    707707
    708             sage: TestSuite(X).run(skip=["_test_an_element", "_test_elements", "_test_elements_eq", "_test_some_elements"])
     708            sage: TestSuite(X).run(skip=["_test_an_element",\
     709                                         "_test_elements",\
     710                                         "_test_elements_eq_reflexive",\
     711                                         "_test_elements_eq_symmetric",\
     712                                         "_test_elements_eq_transitive",\
     713                                         "_test_elements_neq",\
     714                                         "_test_some_elements"])
    709715        """
    710716        from algebraic_scheme import AlgebraicScheme_subscheme_projective
    711717        return AlgebraicScheme_subscheme_projective(self, X)
  • sage/schemes/jacobians/abstract_jacobian.py

    diff --git a/sage/schemes/jacobians/abstract_jacobian.py b/sage/schemes/jacobians/abstract_jacobian.py
    a b class Jacobian_generic(Scheme): 
    7676
    7777        Note: this is an abstract parent, so we skip element tests::
    7878
    79             sage: TestSuite(J).run(skip =["_test_an_element", "_test_elements", "_test_elements_eq", "_test_some_elements"])
     79            sage: TestSuite(J).run(skip =["_test_an_element",\
     80                                          "_test_elements",\
     81                                          "_test_elements_eq_reflexive",\
     82                                          "_test_elements_eq_symmetric",\
     83                                          "_test_elements_eq_transitive",\
     84                                          "_test_elements_neq",\
     85                                          "_test_some_elements"])
    8086
    8187        ::
    8288
  • sage/structure/element_wrapper.py

    diff --git a/sage/structure/element_wrapper.py b/sage/structure/element_wrapper.py
    a b class DummyParent(UniqueRepresentation,  
    335335
    336336            sage: from sage.structure.element_wrapper import DummyParent
    337337            sage: parent = DummyParent("A Parent")
    338             sage: TestSuite(parent).run(skip = ["_test_an_element", "_test_category", "_test_elements", "_test_elements_eq", "_test_some_elements"])
     338            sage: TestSuite(parent).run(skip = ["_test_an_element",\
     339                                                "_test_category",\
     340                                                "_test_elements",\
     341                                                "_test_elements_eq_reflexive",\
     342                                                "_test_elements_eq_symmetric",\
     343                                                "_test_elements_eq_transitive",\
     344                                                "_test_elements_neq",\
     345                                                "_test_some_elements"])
    339346        """
    340347        self.name = name
    341348
  • sage/structure/parent.pyx

    diff --git a/sage/structure/parent.pyx b/sage/structure/parent.pyx
    a b cdef class Parent(category_object.Catego 
    642642              running ._test_not_implemented_methods() . . . pass
    643643              running ._test_pickling() . . . pass
    644644              pass
    645             running ._test_elements_eq() . . . pass
     645            running ._test_elements_eq_reflexive() . . . pass
     646            running ._test_elements_eq_symmetric() . . . pass
     647            running ._test_elements_eq_transitive() . . . pass
     648            running ._test_elements_neq() . . . pass
    646649            running ._test_eq() . . . pass
    647650            running ._test_not_implemented_methods() . . . pass
    648651            running ._test_one() . . . pass
    cdef class Parent(category_object.Catego 
    701704            _test_characteristic
    702705            _test_distributivity
    703706            _test_elements
    704             _test_elements_eq
     707            _test_elements_eq_reflexive
     708            _test_elements_eq_symmetric
     709            _test_elements_eq_transitive
     710            _test_elements_neq
    705711            _test_eq
    706712            _test_not_implemented_methods
    707713            _test_one