#7946: Spec(...) does not specify its category
----------------------------------+-----------------------------------------
Reporter: nthiery | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone:
Component: algebraic geometry | Keywords:
Work_issues: | Author:
Upstream: N/A | Reviewer:
Merged: |
----------------------------------+-----------------------------------------
Description changed by nthiery:
Old description:
> {{{
> sage: C = Spec(ZZ)
> sage: C.category()
> Category of sets
> sage: isinstance(C, C.category().element_class)
> False
> }}}
>
> Caught with #7921; please write patch on top of it to avoid conflicts.
New description:
Spec(...) does not specify its category:
{{{
sage: C = Spec(ZZ)
sage: C.category()
Category of sets
sage: isinstance(C, C.category().element_class)
False
}}}
Caught with #7921; please write patch on top of it to avoid conflicts.
Here is the complete TestSuite report, which also complains about
an_element, ...::
{{{
sage: TestSuite(Spec(ZZ)).run()
running ._test_an_element() . . . fail
Traceback (most recent call last):
...
AssertionError: self.an_element() is not in self
------------------------------------------------------------
running ._test_category() . . . fail
Traceback (most recent call last):
...
AssertionError: category of self improperly initialized
------------------------------------------------------------
running ._test_elements() . . .
Failure in _test_category:
Traceback (most recent call last):
...
AssertionError
------------------------------------------------------------
running ._test_not_implemented_methods() . . . pass
running ._test_pickling() . . . fail
Traceback (most recent call last):
...
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:
------------------------------------------------------------
The following tests failed: _test_category, _test_pickling
running ._test_not_implemented_methods() . . . pass
running ._test_pickling() . . . pass
running ._test_some_elements() . . . fail
Traceback (most recent call last):
...
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
------------------------------------------------------------
The following tests failed: _test_an_element, _test_category,
_test_elements, _test_some_elements
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7946#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
