Changes between Version 8 and Version 12 of Ticket #16934


Ignore:
Timestamp:
Sep 4, 2014, 8:02:45 PM (8 years ago)
Author:
Jeroen Demeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16934 – Description

    v8 v12  
    11The following sequence of commands somehow breaks the coercion framework. This is on vanilla Sage 6.4.beta1. The problem only occurs if {{{impl="pari_ffelt"}}} is explicitly given, even though that is the default:
    22{{{
    3 sage: k.<a> = GF(17^14, impl="pari_ffelt")
    4 sage: _ = PolynomialRing(k, 'x')(a/2)
    5 sage: k.<a> = GF(17^14, impl="pari_ffelt")
    6 sage: _ = PolynomialRing(k, 'x')(a/2)
     3sage: k1.<a> = GF(17^14, impl="pari_ffelt")
     4sage: _ = PolynomialRing(k1, 'x')(a/2)
     5sage: k2.<a> = GF(17^14, impl="pari_ffelt")
     6sage: _ = PolynomialRing(k2, 'x')(a/2)
    77Traceback (most recent call last):
    88...
    99TypeError: no coercion defined
    1010}}}
     11
     12The underlying reason is #16855:
     13{{{
     14sage: k1 is k2
     15False
     16}}}