[sage-devel] Re: Number Field generators

2008-02-17 Thread John Cremona
...and I have given it a positive review. If only life were always this easy. Thanks! John On 17/02/2008, Carl Witty <[EMAIL PROTECTED]> wrote: > > On Feb 17, 10:18 am, "John Cremona" <[EMAIL PROTECTED]> wrote: > > Thanks, Carl -- I had been thinking that in Magma I would have done > > just th

[sage-devel] Re: Number Field generators

2008-02-17 Thread Carl Witty
On Feb 17, 10:18 am, "John Cremona" <[EMAIL PROTECTED]> wrote: > Thanks, Carl -- I had been thinking that in Magma I would have done > just this using its AlgebraicallyClosedField, but did not realise that > we had this in Sage too. Now I'll go and look at what it has > > OK, so the first thi

[sage-devel] Re: Number Field generators

2008-02-17 Thread John Cremona
Thanks, Carl -- I had been thinking that in Magma I would have done just this using its AlgebraicallyClosedField, but did not realise that we had this in Sage too. Now I'll go and look at what it has OK, so the first thing I tried (sorry) caused a crash. I'll file a ticket for this: #2194

[sage-devel] Re: Number Field generators

2008-02-17 Thread Carl Witty
On Feb 16, 11:55 am, Jason Grout <[EMAIL PROTECTED]> wrote: > What I'm trying to do is get a number field that has all the roots of a > (not necessarily irreducible) polynomial. There is code to do this embedded in qqbar.py. sage: x = polygen(QQ) sage: b = (x^2-2)*(x^2-3) sage: rts = b.roots(rin

[sage-devel] Re: Number Field generators

2008-02-16 Thread John Cremona
I agree that this would be a useful funtion to have. I would call it splitting_field() with a description similar to that of root_field() -- whose docstring does not say that self should be irreducible, though in fact it must. In the meantim you should be able to work with what is available as f

[sage-devel] Re: Number Field generators

2008-02-16 Thread Jason Grout
John Cremona wrote: > Are you sure you mean to give NumberField() two polynomials, one of > which (x) defines the trivial extension? You are only giving one name > so I rpresume what you mean (to define a quadratic field) is > > > sage: NumberField([x^2-3],'a') > Number Field in a with defining

[sage-devel] Re: Number Field generators

2008-02-16 Thread John Cremona
Are you sure you mean to give NumberField() two polynomials, one of which (x) defines the trivial extension? You are only giving one name so I rpresume what you mean (to define a quadratic field) is sage: NumberField([x^2-3],'a') Number Field in a with defining polynomial x^2 - 3 sage: F=Number