[sage-support] Re: calling SAGE from C or Mathematica

2008-05-28 Thread mark mcclure
On May 23, 5:52 pm, William Stein [EMAIL PROTECTED] wrote: Why don't you do child.expect('sage: ') Because, I was too focused on using child.after, instead of child.before, but your suggestion works great; thanks for that. So I incorporated your suggestion and re-worked and expanded my

[sage-support] Re: python (?) help: equivalent of lisp's let

2008-05-28 Thread John H Palmieri
On May 28, 11:13 am, William Stein [EMAIL PROTECTED] wrote: On Wed, May 28, 2008 at 10:59 AM, John H Palmieri [EMAIL PROTECTED] wrote: Here's the situation: in some sage code that I'm working on, I have a variable, say 'output_format', which tells sage how to print certain kinds of

[sage-support] Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread [EMAIL PROTECTED]
Hello, I'm stuck trying to do something in MAGMA (sorry but the support on that front seems to be lacking). Having a field K, i'm trying to set up K^*/(K^*)^2 with some sort of structure. Thanks and apologies if this is slightly irrelevant to the group.

[sage-support] Re: Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread William Stein
On Wed, May 28, 2008 at 12:35 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Hello, I'm stuck trying to do something in MAGMA (sorry but the support on that front seems to be lacking). Having a field K, i'm trying to set up K^*/(K^*)^2 with some sort of structure. Thanks and apologies if

[sage-support] Re: Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread John Cremona
It does rather depend on what sort of field you mean! When K is a number field, of course K*/K*^2 is obviously infinte, but Magma's function pSelmerGroup() (with p=2) allows you to define finite subgroups of it unramified outside finite sets of primes. This is heavily used in descent on

[sage-support] Re: Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread [EMAIL PROTECTED]
Particularly number fields. But if this could be done for more general fields then even better:) Cheers On May 28, 8:43 pm, William Stein [EMAIL PROTECTED] wrote: On Wed, May 28, 2008 at 12:35 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Hello, I'm stuck trying to do something in MAGMA

[sage-support] Re: Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread John Cremona
Finite fields would be rather easy -- especially in characteristic 2! John 2008/5/28 [EMAIL PROTECTED] [EMAIL PROTECTED]: Particularly number fields. But if this could be done for more general fields then even better:) Cheers On May 28, 8:43 pm, William Stein [EMAIL PROTECTED] wrote:

[sage-support] Re: python (?) help: equivalent of lisp's let

2008-05-28 Thread John H Palmieri
On May 28, 12:35 pm, Carl Witty [EMAIL PROTECTED] wrote: On May 28, 11:48 am, John H Palmieri [EMAIL PROTECTED] wrote: I currently have a function, set_output_format, so users can do this: sage: set_output_format('old') 'old' sage: x = (blah); x (x printed in 'old' format) I

[sage-support] multiplicative inverse of a polynomial in a ring

2008-05-28 Thread vpv
Hello, I am trying to solve the following equation for y in SAGE: x*y = 1 (mod z^8+z^4+z^3+z+1) where x = x0+x1*z^1+x2*z^2+x3*z^3+x4*z^4+x5*z^5+x6*z^6+x7*z^7 y = ? x0,...,x7 are elements of GF(2). I do not know their values. I am searching for y in parametric form i.e. as a polynomial of z

[sage-support] Re: Setting up K^*/(K^*)^2 as a group

2008-05-28 Thread John Cremona
Well, everything you need for that is (as far as I know) in Magma. If something you need is not, ask Magma! John 2008/5/28 [EMAIL PROTECTED] [EMAIL PROTECTED]: Yes this is descent i'm looking to use it in. Many thanks, Frank On May 28, 9:00 pm, John Cremona [EMAIL PROTECTED] wrote:

[sage-support] Re: multiplicative inverse of a polynomial in a ring

2008-05-28 Thread John Cremona
You could define GF(2^8) using your polynomial as modulus, then define the polynomial ring S in 8 variables x0,...,x7 over that, write x as an element in that ring. The inverse of x is also x^254, but you want to evaluate this with the side conditions xi^2=xi. So take the quotient of S by

[sage-support] upgrade

2008-05-28 Thread Hobus
How can I upgrade, my Sage to SAGE 3.0.2 ? Thank you --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at

[sage-support] Re: upgrade

2008-05-28 Thread William Stein
On Wed, May 28, 2008 at 5:31 PM, Hobus [EMAIL PROTECTED] wrote: How can I upgrade, my Sage to SAGE 3.0.2 ? Which operating system are you using? Which version of Sage are you using? William --~--~-~--~~~---~--~~ To post to this group, send email to

[sage-support] Re: upgrade

2008-05-28 Thread Hobus
Hi, how can i upgrade to Sage 3.0.2? i have Ubuntu 8.04 Thak you --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at

[sage-support] Re: upgrade

2008-05-28 Thread William Stein
On Wed, May 28, 2008 at 5:48 PM, Hobus [EMAIL PROTECTED] wrote: Hi, how can i upgrade to Sage 3.0.2? i have Ubuntu 8.04 You can try typing sage -upgrade Assuming you have these standard ubuntu packages installed it is very likely to work. g++, make, m4, ranlib Alternatively, just

[sage-support] Re: Symbolic GCD

2008-05-28 Thread Carl Witty
On May 26, 3:04 am, Gaëtan Bisson [EMAIL PROTECTED] wrote: Carl Witty wrote: You need to explicitly use the field of fractions of R: sage: R.a,b = QQ[] sage: S.x = R.fraction_field()[] sage: xgcd(x^2, a*x+b) (b^2/a^2, 1, ((-1)/a)*x + b/a^2) Thanks. Is it possible to do the same