Hi,

On 25 May 2011 14:24, Chris Smith <smi...@gmail.com> wrote:

>
>
> On Wed, May 25, 2011 at 2:46 PM, Mateusz Paprocki <matt...@gmail.com>wrote:
>
>> Hi,
>>
>> On 25 May 2011 10:43, Aaron S. Meurer <asmeu...@gmail.com> wrote:
>>
>>> What happens if you make it use an algebraic domain, i.e., set
>>> extension=True?
>>>
>>
> Same result, two different domains.
>
>     >>> for p in
> [p1.as_poly(x,y,extension=True),p2.as_poly(x,y,extension=True)]:
>     ...   print p.domain
>     ...
>     ZZ[x]
>     EX
>

Are we speaking about the same polynomials? I get different results:

In [1]: p1, p2 = [(x - 5)**2 + (y - 5)**2 - 4, -(-x + 5)*(-x - 2*2**(1/S(2))
+ 5) - (-y + 5)*(-y + 5)]

In [2]: p1.as_poly(x, y, extension=True)
Out[2]: Poly(x**2 - 10*x + y**2 - 10*y + 46, x, y, domain='ZZ')

In [3]: p2.as_poly(x, y, extension=True)
Out[3]: Poly(-x**2 + (-2*2**(1/2) + 10)*x - y**2 + 10*y - 50 + 10*2**(1/2),
x, y, domain='QQ<2**(1/2)>')

>  --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To post to this group, send email to sympy@googlegroups.com.
> To unsubscribe from this group, send email to
> sympy+unsubscr...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/sympy?hl=en.
>

Mateusz

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to 
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sympy?hl=en.

Reply via email to