On May 22, 6:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> > In fact there is no coercion around:
>
> There is a non-canonical coercion:
>
> sage: SR('x')
> x
According to http://modular.math.washington.edu/sage/doc/html/prog/node17.html,
this is *not* a (non-canonical) coercion but object
On Thu, May 22, 2008 at 8:50 AM, Simon King <[EMAIL PROTECTED]> wrote:
>
> Dear William,
>
> On May 22, 4:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
>> I disagree. There is a canonical coercion to the symbolic ring.
>
> It seems that i need to learn more about canonical coercion. I though
Dear William,
On May 22, 4:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> I disagree. There is a canonical coercion to the symbolic ring.
It seems that i need to learn more about canonical coercion. I thought
that a coercion map goes between two parent structures, according to
http://modu
On Thu, May 22, 2008 at 7:03 AM, Simon King <[EMAIL PROTECTED]> wrote:
>
> Dear Marc,
>
> let me try some explanations.
>
> On May 22, 1:43 pm, Marc Roeder <[EMAIL PROTECTED]> wrote:
>> sage: QX=MPolynomialRing(QQ,2,'xy')
>> sage: x in QX # no variables assinged to indeterminates yet...
>> Fal
Dear Marc,
let me try some explanations.
On May 22, 1:43 pm, Marc Roeder <[EMAIL PROTECTED]> wrote:
> sage: QX=MPolynomialRing(QQ,2,'xy')
> sage: x in QX # no variables assinged to indeterminates yet...
> False
If you start Sage, x is already defined:
sage: type(x)
The apparent reason is
On Thu, May 22, 2008 at 4:43 AM, Marc Roeder <[EMAIL PROTECTED]> wrote:
>
> Dear sage community,
>
> I am new to sage, so please forgive me if I am reporting well-known
> behaviour here.
> When generating multivariate polynomial rings, some (seemingly) odd
> things can happen:
>
> 1. Sage seems to
