[sage-support] Sage home page

I'm not able to see sage like this: [image: 20_VM_notebook.png] I follow the instructions on http://wiki.sagemath.org/SageAppliance and get this: And when i do "Press *Right-Ctrl* and *F2* to re

[sage-support] Re: How to define a homomorphism between two algebras

> z > > Peter > > > Op donderdag 24 april 2014 16:55:34 UTC+1 schreef Irene: >> >> I have defined two extensions A1 and A2 over a finite field Fp2 with >> generator b, >> >> A1.=Fp2.extension(Ep) >> A2.=Fp2.extension(Q) >> >> being Ep

[sage-support] How to define a homomorphism between two algebras

, but Sage doesn't allow me to define it as: A1.hom([alpha], A2) Do you know how to do it? Irene -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [sage-support] Re: Extension of a field extension

).roots(AA,multiplicities=False) it gives me a NotImplementedError. Any idea? Thank you in advance. *Irene* On Monday, April 21, 2014 3:52:53 PM UTC+2, John Cremona wrote: > > On 21 April 2014 13:58, Irene > wrote: > > I forgot to write what is repsq(): > > You could use the builti

[sage-support] Re: Extension of a field extension

day, April 21, 2014 11:48:10 AM UTC+2, Irene wrote: > > *Hello,* > *I have the following defined:* > > p=371 > Fp=GF(p) > E=EllipticCurve([Fp(3),Fp(5)]) > j_inv=E.j_invariant() > l=13#Atkin prime > n=((l-1)/2).round() > r=2# Phi_13 factorize in factors of degree

[sage-support] Extension of a field extension

dd" to A1 the square root of theta^3+3*theta+5.* *The problem is that when I consider the following:* gamma2=theta^3+3*theta+5 AA1.=PolynomialRing(A1) AA.=A1.extension(xbar^2-gamma2) (xbar^2-gamma2).roots(AA,multiplicities=False) it gives me a NotImplementedError. Any idea? Thank you in adva

[sage-support] Cubic root in a finite field

Hi! I have the following: p=371 Fp2=GF(p^2, 'b') and I want to compute the cubic root of 344694*b + 1653339. How can I do it? Because when I write (344694*b + 1653339)^(1/3) it gives me as result 1, and the same for every element that I consider in Fp2, or for every exponent 1/n. -- You r

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

Ring(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 + 751714)*x + > 2687623*b + 1658379 > > > On 17 April 2014 09:05, Irene > wrote: > > p=

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

the problem is because the version is too old, but I was using another version and I got many problems and right now I don't have another option. On Thursday, April 17, 2014 5:47:32 PM UTC+2, John Cremona wrote: > > On 17 April 2014 08:43, Irene > wrote: > > I think that th

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

lie in F2 you can > say > > sage: PolynomialRing(F2,'X')([j(c) for c in f.coeffs()]) > > to get what you want, I hope! > > John > > On 17 April 2014 02:52, Irene > wrote: > > Sorry, I didn't write it correctly. I meant GF(p^12,'a') i

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

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 Cre

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

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

[sage-support] Re: How to consider a field extension as a field and not just a ring?

ient(ep) > > > A1.=PolynomialQuotientRing(FFpr,ep) > > Le lundi 7 avril 2014 16:33:00 UTC+2, Irene a écrit : >> >> I am programming an example about elliptic curves but I need to define a >> couple of field extensions to make there some operations and Sage consider >

[sage-support] How to consider a field extension as a field and not just a ring?

I am programming an example about elliptic curves but I need to define a couple of field extensions to make there some operations and Sage consider them as rings, then it doesn't allow me to compute divisions. What can I do? Here is the code: p=371 Fp=GF(p) E=EllipticCurve([Fp(3),Fp(5)]) j=E