Changes between Version 1 and Version 7 of Ticket #7946


Ignore:
Timestamp:
05/03/14 15:34:38 (7 years ago)
Author:
pbruin
Comment:

To show that the first part of the original ticket is fixed:

sage: S = Spec(ZZ)
sage: S.category()
Category of Schemes
sage: isinstance(S, S.category().parent_class) 
True

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7946

    • Property Cc vbraun added
    • Property Dependencies changed from to #16158
    • Property Summary changed from Spec(...) does not specify its category to Fix TestSuite failures for schemes
    • Property Milestone changed from to sage-6.2
  • Ticket #7946 – Description

    v1 v7  
    1 Spec(...) does not specify its category:
    2 
     1Here is the complete `TestSuite` report:
    32{{{
    4 sage: C = Spec(ZZ)
    5 sage: C.category()
    6 Category of sets
    7 sage: isinstance(C, C.category().element_class)
    8 False
     3sage: S=Spec(ZZ)
     4sage: x=S.an_element()
    95}}}
    10 
    11 Caught with #7921; please write patch on top of it to avoid conflicts.
    12 
    13 Here is the complete TestSuite report, which also complains about
    14 an_element, ...::
    15 
    166{{{
    17 sage: TestSuite(Spec(ZZ)).run()
    18 running ._test_an_element() . . . fail
     7sage: TestSuite(S).run()
     8Failure in _test_an_element:
    199Traceback (most recent call last):
    2010...
    21 AssertionError: self.an_element() is not in self
     11NotImplementedError
    2212------------------------------------------------------------
    23 running ._test_category() . . . fail
    24 Traceback (most recent call last):
    25 ...
    26 AssertionError: category of self improperly initialized
    27 ------------------------------------------------------------
    28 running ._test_elements() . . .
    2913  Failure in _test_category:
    3014  Traceback (most recent call last):
    3115  ...
    32   AssertionError
     16  AssertionError: False is not true
    3317  ------------------------------------------------------------
    34   running ._test_not_implemented_methods() . . . pass
    35   running ._test_pickling() . . . fail
     18  Failure in _test_pickling:
    3619  Traceback (most recent call last):
    3720  ...
    38   RuntimeError: ...BUG in map, returned None Point on Spectrum of Integer Ring defined by the Principal ideal (2) of Integer Ring <type 'sage.categories.morphism.CallMorphism'> Call morphism:
     21  AssertionError: Point on Spectrum of Integer Ring defined by the Principal ideal (991) of Integer Ring != Point on Spectrum of Integer Ring defined by the Principal ideal (991) of Integer Ring
    3922  ------------------------------------------------------------
    4023  The following tests failed: _test_category, _test_pickling
    41 running ._test_not_implemented_methods() . . . pass
    42 running ._test_pickling() . . . pass
    43 running ._test_some_elements() . . . fail
     24Failure in _test_elements
     25Failure in _test_some_elements:
    4426Traceback (most recent call last):
    4527...
    46 AssertionError: the object Point on Spectrum of Integer Ring defined by the Principal ideal (2) of Integer Ring in self.some_elements() is not in self
     28NotImplementedError
    4729------------------------------------------------------------
    48 The following tests failed: _test_an_element, _test_category, _test_elements, _test_some_elements
     30The following tests failed: _test_an_element, _test_elements, _test_some_elements
    4931}}}
     32{{{
     33sage: TestSuite(x).run()
     34Failure in _test_category:
     35Traceback (most recent call last):
     36...
     37AssertionError: False is not true
     38------------------------------------------------------------
     39Failure in _test_pickling:
     40Traceback (most recent call last):
     41...
     42AssertionError: Point on Spectrum of Integer Ring defined by the Principal ideal (991) of Integer Ring != Point on Spectrum of Integer Ring defined by the Principal ideal (991) of Integer Ring
     43------------------------------------------------------------
     44The following tests failed: _test_category, _test_pickling
     45}}}
     46
     47(Note: the `NotImplementedError` that one gets after applying #16158 is a different one than before.)