[sage-devel] Re: base_ring()

2009-09-03 Thread Jan Groenewald
Hi William On Wed, Sep 02, 2009 at 10:31:01PM -0700, William Stein wrote: Is this the intended behaviour? sage: z=1.+sqrt(-1); print z; z.base_ring() 1.00 + 1.00*I Symbolic Ring sage: z=1.+sqrt(-1.); print z; z.base_ring()

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
2009/9/2 Jan Groenewald j...@aims.ac.za Hi William On Wed, Sep 02, 2009 at 10:31:01PM -0700, William Stein wrote: Is this the intended behaviour? sage: z=1.+sqrt(-1); print z; z.base_ring() 1.00 + 1.00*I Symbolic Ring sage:

[sage-devel] Re: base_ring()

2009-09-03 Thread Jan Groenewald
Hi William On Wed, Sep 02, 2009 at 11:18:40PM -0700, William Stein wrote: If you take any integer (or rational) alpha such that alpha is not a perfect square, and try to compute sqrt(alpha), Sage promotes alpha to the symbolic ring (SR) and takes the square root there. Thus the

[sage-devel] Re: base_ring()

2009-09-03 Thread Dirk
I'm the originator. In fairness to Jan, I must say that I only showed him the code and output with no other comment than that I hoped that the students would not ask me to explain it. I've in the meantime found a way of illustrating the point I meant to make more clearly. sage: z=1.+sqrt(-1)

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
2009/9/2 Dirk dirk.lau...@gmail.com I'm the originator. In fairness to Jan, I must say that I only showed him the code and output with no other comment than that I hoped that the students would not ask me to explain it. I've in the meantime found a way of illustrating the point I meant to

[sage-devel] Re: base_ring()

2009-09-03 Thread javier
Hi William, On Sep 3, 8:18 am, William Stein wst...@gmail.com wrote: I am not sure what something like integers with I adjoined is? I guess that means the complex numbers of the fomr a + bI with a, b integers, or Z[I] (the Gaussian Integers). Mathematica prides itself to be able to apply

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
2009/9/3 javier vengor...@gmail.com Hi William, On Sep 3, 8:18 am, William Stein wst...@gmail.com wrote: I am not sure what something like integers with I adjoined is? I guess that means the complex numbers of the fomr a + bI with a, b integers, or Z[I] (the Gaussian Integers).

[sage-devel] Re: base_ring()

2009-09-03 Thread javier
On Sep 3, 9:36 am, William Stein wst...@gmail.com wrote: Sage has the Gaussian integers, and I'm sure the basic arithmetic and functionality is as good or better than Mathematica already. Sure, what I meant (sorry if I wasn't very clear) is to make an straightforward way to access it, kind of

[sage-devel] Re: base_ring()

2009-09-03 Thread John Cremona
2009/9/3 javier vengor...@gmail.com: On Sep 3, 9:36 am, William Stein wst...@gmail.com wrote: Sage has the Gaussian integers, and I'm sure the basic arithmetic and functionality is as good or better than Mathematica already. Sure, what I meant (sorry if I wasn't very clear) is to make an

[sage-devel] Re: base_ring()

2009-09-03 Thread kcrisman
is this not just a curiosity?  Maybe a useful one for teaching, though, and implementing this would certainly be possible. Very useful. I had to resort to some annoying crutches (i.e., using the theorem in the code instead of discovering the theorem via the demonstration of the code) to do

[sage-devel] Re: base_ring()

2009-09-03 Thread John H Palmieri
On Sep 3, 12:36 am, William Stein wst...@gmail.com wrote: Sage has the Gaussian integers, and I'm sure the basic arithmetic and functionality is as good or better than Mathematica already. sage: R.I = ZZ[sqrt(-1)]; R Order in Number Field in I with defining polynomial x^2 + 1 Okay, this

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
On Thu, Sep 3, 2009 at 9:15 AM, John H Palmieri jhpalmier...@gmail.comwrote: On Sep 3, 12:36 am, William Stein wst...@gmail.com wrote: Sage has the Gaussian integers, and I'm sure the basic arithmetic and functionality is as good or better than Mathematica already. sage: R.I =

[sage-devel] Re: base_ring()

2009-09-03 Thread John Cremona
2009/9/3 John H Palmieri jhpalmier...@gmail.com: On Sep 3, 12:36 am, William Stein wst...@gmail.com wrote: Sage has the Gaussian integers, and I'm sure the basic arithmetic and functionality is as good or better than Mathematica already. sage: R.I = ZZ[sqrt(-1)]; R Order in Number Field

[sage-devel] Re: base_ring()

2009-09-02 Thread William Stein
On Wed, Sep 2, 2009 at 9:56 PM, Jan Groenewald j...@aims.ac.za wrote: Hi Sage-support did not solicit an answer. Both of these seem wrong: Is this the intended behaviour? sage: z=1.+sqrt(-1); print z; z.base_ring() 1.00 + 1.00*I Symbolic Ring sage: