Re: [sage-support] legend

2014-04-17 Thread HG
I forget to say I can't use the show command because the plot is external in a texmacs session, this one should work I try it. thanks Henri Le 17/04/2014 14:48, Michael Orlitzky a écrit : On 04/17/2014 06:32 AM, HG wrote: Hi, I do a plot with **params which is quiete usefull to have it as a com

[sage-support] Re: How to compute sum(log(1-1/n^2),n,2,oo)?

2014-04-17 Thread kcrisman
> > >> See http://trac.sagemath.org/ticket/16176 and > https://sourceforge.net/p/maxima/bugs/2722/ > And Maxima upstream already has committed a fix, apparently - great news. Thanks for the report! -- You received this message because you are subscribed to the Google Groups "sage-support"

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Irene
I got it in another version! Thank you very much! On Thursday, April 17, 2014 6:18:56 PM UTC+2, John Cremona wrote: > > Your code works ok with Sage 6.1.1 (apart from a small slip in the > code you posted: the line > FFps=PolynomialRing(Fps) > should say > FFps=PolynomialRing(Fps) > > and t

[sage-support] Re: Substitution in infinite polynomial rings

2014-04-17 Thread Nils Bruin
On Thursday, April 17, 2014 9:39:09 AM UTC-7, Nils Bruin wrote: > > > but it's flawed: > > sage: f(e_4=2) > KeyError: 'e_4' > And also flawed in a different way: sage: f(e_2=e[4]) TypeError: unsupported operand parent(s) for '+': 'Multivariate Polynomial Ring in e_4, e_2, e_1 over Rational Fiel

[sage-support] Re: Substitution in infinite polynomial rings

2014-04-17 Thread Nils Bruin
On Wednesday, April 16, 2014 4:16:30 PM UTC-7, BJ wrote: > > I have the following code, which produces a list of polynomials in the > infinite number of variables e_0, e_1, ... > > M. = InfinitePolynomialRing(QQ, implementation="sparse") > > However, I've been having a lot of trouble figuring o

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread John Cremona
Your code works ok with Sage 6.1.1 (apart from a small slip in the code you posted: the line FFps=PolynomialRing(Fps) should say FFps=PolynomialRing(Fps) and the result is x^6 + (973912*b + 2535329)*x^5 + (416282*b + 3608920)*x^4 + (686636*b + 908282)*x^3 + (2100014*b + 2063451)*x^2 + (2563113*b

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Peter Bruin
This works for me in Sage 5.13 (I don't have an older version installed), after replacing the definition of FFps by FFps.=PolynomialRing(Fps) # the . was missing However, without the . the error I got was different from yours (TypeError: You must specify the names of the variables.) Op donde

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Irene
p=371 Fp=GF(p) E=EllipticCurve([Fp(3),Fp(5)]) j=E.j_invariant() l=13#Atkin prime n=((l-1)/2).round() r=2# Phi_13 factorize in factors of degree 2 s=12#Psi_13 factorize in factors of degree 12 #repsq(a,n) computes a^n def repsq(a,n): B = Integer(n).binary() C=list(B) k=len(B)-1

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread John Cremona
On 17 April 2014 08:43, Irene wrote: > I think that this is exactly what I need. Nevertheless I cannot use neither > i.section() nor i.inverse_image(). The second one because of the same reason > as you, and the first one when I try it is says "TypeError: 'NoneType' > object is not callable". You

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Irene
I think that this is exactly what I need. Nevertheless I cannot use neither i.section() nor i.inverse_image(). The second one because of the same reason as you, and the first one when I try it is says "TypeError: 'NoneType' object is not callable". On Thursday, April 17, 2014 12:07:18 PM UTC+2,

Re: [sage-support] legend

2014-04-17 Thread Michael Orlitzky
On 04/17/2014 06:32 AM, HG wrote: > > Hi, > I do a plot with **params which is quiete usefull to have it as a > compact style. > After googling a lot I was trying to see if one can do the same with > **legend ? or other keyword ? > I didn't find any answer, is it possible ? > it would be easie

[sage-support] Re: legend

2014-04-17 Thread kcrisman
On Thursday, April 17, 2014 6:32:31 AM UTC-4, HG wrote: > > > Hi, > I do a plot with **params which is quiete usefull to have it as a > compact style. > After googling a lot I was trying to see if one can do the same with > **legend ? or other keyword ? > I didn't find any answer, is it poss

[sage-support] legend

2014-04-17 Thread HG
Hi, I do a plot with **params which is quiete usefull to have it as a compact style. After googling a lot I was trying to see if one can do the same with **legend ? or other keyword ? I didn't find any answer, is it possible ? it would be easier to put all in a command ? regards Henri p=plot

[sage-support] Re: Change the field where a polynomial is considered

2014-04-17 Thread Peter Bruin
Hello, I want to define a polynomial that I know lies in GF(p^2,'b')[x], > p=371. The problem is that I have to define it as a product > E=(X-a_1)*(X-a_2)*(X-a_3)*(X-a_4)*(X-a_5)*(X-a_6), where every a_j is in > GF(p^13,'a')[X]. > I tried to do GF(p^2,'b')[x](E), but then Sage just changes

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread John Cremona
OK, that makes sense now. It boils down to this: given an element of F12=GF(p^12) which happens to lie in F2 = GF(p^2), how to express it in terms of a generator of F2. This is not quite as easy as it should be but this works (assuming that you have defined F12 with generator a and F2 with genera

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Irene
Sorry, I didn't write it correctly. I meant GF(p^12,'a') instead of GF(p^13,'a'). As 2 divides 12, GF(p^12,'a') is an extension of GF(p^2,'b'). My question is the same now with the correct data. On Thursday, April 17, 2014 11:04:40 AM UTC+2, John Cremona wrote: > > On 17 April 2014 01:55, Irene

Re: [sage-support] Change the field where a polynomial is considered

2014-04-17 Thread John Cremona
On 17 April 2014 01:55, Irene wrote: > Hello! > > I want to define a polynomial that I know lies in GF(p^2,'b')[x], p=371. > The problem is that I have to define it as a product > E=(X-a_1)*(X-a_2)*(X-a_3)*(X-a_4)*(X-a_5)*(X-a_6), where every a_j is in > GF(p^13,'a')[X]. > I tried to do GF(p^2

[sage-support] Substitution in infinite polynomial rings

2014-04-17 Thread BJ
I have the following code, which produces a list of polynomials in the infinite number of variables e_0, e_1, ... M. = InfinitePolynomialRing(QQ, implementation="sparse") > S. = LaurentSeriesRing(M) > Qxy. = PolynomialRing(QQ) > a=var('a') > b=var('b') > k=var('k') > L=[] > n=6 > x = 1/z^2 + > s

[sage-support] Change the field where a polynomial is considered

2014-04-17 Thread Irene
Hello! I want to define a polynomial that I know lies in GF(p^2,'b')[x], p=371. The problem is that I have to define it as a product E=(X-a_1)*(X-a_2)*(X-a_3)*(X-a_4)*(X-a_5)*(X-a_6), where every a_j is in GF(p^13,'a')[X]. I tried to do GF(p^2,'b')[x](E), but then Sage just changes the gene