On 2013-01-02, Ben <[email protected]> wrote:
> ------=_Part_107_30372655.1357142792692
> Content-Type: text/plain; charset=ISO-8859-1
>
> I came across the following behavior for polynomial rings.
>
> R.<y1,y2>=PolynomialRing(Qp(5),2, order='lex')
> G=[y1^2 + y2^2, y1*y2 + y2^2, y2^3]
> (y2^3).reduce(G).parent()
>
> returns an `int`, 
more preciselyi (with Sage 5.5):

sage: type((y2^3).reduce(G))
<type 'int'>

which is of course very wrong. 

Crossposted to sage-devel.


> whereas for other (non p-adic) fields it returns a 
> polynomial ring element:
>
> R.<y1,y2>=PolynomialRing(QQ,2, order='lex')
> G=[y1^2 + y2^2, y1*y2 + y2^2, y2^3]
> (y2^3).reduce(G).parent()
>
>
> This causes the variety() function to fail.
>
> I=ideal(G)
> I.variety()
>
> This is as far as I got in identifying the problem. I didn't see a 
> trac-ticket on this. Is this a bug or is there some other problem?
>
> Thanks.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
Visit this group at http://groups.google.com/group/sage-support?hl=en.


Reply via email to