Changes between Initial Version and Version 1 of Ticket #6343


Ignore:
Timestamp:
06/16/09 23:21:05 (10 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6343 – Description

    initial v1  
    1 This patch adds a .check() method in SageObject which runs systematic checks on the object. Here is a typical call:
     1This patch implements a .check() method in SageObject which runs systematic checks on the object. Here is a typical call:
    22
    33     sage: ZZ.check(verbose = True)
     
    1111The test_* methods are typically implemented by abstract super classes and in particular via categories, in order to enforce standard behavior and API (test_pickling, test_an_element), or provide mathematical sanity checks (test_associativity).
    1212
    13 For consistent error reporting, the test_* methods in turn must use the gadget sage.misc.instance_tester.InstanceTester to actually run the tests.
     13For consistent error reporting, the test_* methods in turn must use the new gadget sage.misc.instance_tester.InstanceTester to actually run the tests.
    1414
    1515This patch is a prerequisite for #5891 (category framework), which uses it intensively. Some examples in the patch illustrate this, and are therefore temporarily disabled.