Changes between Version 7 and Version 8 of Ticket #7946


Ignore:
Timestamp:
05/03/14 21:30:09 (7 years ago)
Author:
pbruin
Comment:

The attached branch makes affine schemes, and points on them, cooperate better with the category and coercion code. The TestSuite now runs without failures.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7946

    • Property Status changed from new to needs_review
    • Property Authors changed from to Peter Bruin
    • Property Branch changed from to u/pbruin/7946-scheme_point_improvements
    • Property Commit changed from to 5fd92eed3024163fa068bea8e3644d677f151adc
  • Ticket #7946 – Description

    v7 v8  
     1Consider the following situation:
     2{{{
     3sage: S = Spec(ZZ)
     4sage: x = S.an_element()
     5}}}
     6Running `TestSuite(S)` and `TestSuite(x)` yields several failures.  A related problem is
     7{{{
     8sage: S
     9Spectrum of Integer Ring
     10sage: parent(x)
     11Set of rational points of Spectrum of Integer Ring
     12}}}
     13whereas we expect `parent(x) is S`.
     14
    115Here is the complete `TestSuite` report:
    2 {{{
    3 sage: S=Spec(ZZ)
    4 sage: x=S.an_element()
    5 }}}
    616{{{
    717sage: TestSuite(S).run()