[sage-devel] Re: base_ring()

2009-09-03 Thread John Cremona
2009/9/3 John H Palmieri : > > On Sep 3, 12:36 am, William Stein 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. = ZZ[sqrt(-1)]; R >> Order in Number Field in I with defining polynomi

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
On Thu, Sep 3, 2009 at 9:15 AM, John H Palmieri wrote: > > On Sep 3, 12:36 am, William Stein 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. = ZZ[sqrt(-1)]; R > > Order in Number

[sage-devel] Re: base_ring()

2009-09-03 Thread John H Palmieri
On Sep 3, 12:36 am, William Stein 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. = ZZ[sqrt(-1)]; R > Order in Number Field in I with defining polynomial x^2 + 1 Okay, this looks like a b

[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

[sage-devel] Re: base_ring()

2009-09-03 Thread John Cremona
2009/9/3 javier : > > > On Sep 3, 9:36 am, William Stein 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 acc

[sage-devel] Re: base_ring()

2009-09-03 Thread javier
On Sep 3, 9:36 am, William Stein 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 R = GaussianI

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
2009/9/3 javier > > Hi William, > > On Sep 3, 8:18 am, William Stein 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

[sage-devel] Re: base_ring()

2009-09-03 Thread javier
Hi William, On Sep 3, 8:18 am, William Stein 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 primality tests,

[sage-devel] Re: base_ring()

2009-09-03 Thread William Stein
2009/9/2 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 clea

[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) sa

[sage-devel] Re: base_ring()

2009-09-02 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 fi

[sage-devel] Re: base_ring()

2009-09-02 Thread William Stein
2009/9/2 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.+sqr

[sage-devel] Re: base_ring()

2009-09-02 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() > 1.000

[sage-devel] Re: base_ring()

2009-09-02 Thread William Stein
On Wed, Sep 2, 2009 at 9:56 PM, Jan Groenewald 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: z=1.+sqrt(-1.);