On Mon, Nov 21, 2011 at 11:36 PM, William Stein wrote:
> On Mon, Nov 21, 2011 at 4:50 PM, David Roe wrote:
>> The coercion graph in Sage is supposed to be transitive. This
>> assumption is explicit in the documentation of sage.structure.coerce
>> for example. But we have the following:
>>
>> sa
On Mon, Nov 21, 2011 at 4:50 PM, David Roe wrote:
> The coercion graph in Sage is supposed to be transitive. This
> assumption is explicit in the documentation of sage.structure.coerce
> for example. But we have the following:
>
> sage: R = Zmod(6)
> sage: S = Zmod(3)
> sage: T = GF(3)
> sage: T
