[sage-support] Sage home page

2014-05-12 Thread Irene Hernandez
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: https://lh3.googleusercontent.com/-bIy36so8hXU/U20Ulq4fD-I/ABA/PSh--MHfMcU/s1600/Sage-6.png And when i do Press *Right-Ctrl* and *F2* to

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

2014-04-25 Thread Irene
schreef Irene: I have defined two extensions A1 and A2 over a finite field Fp2 with generator b, A1.theta=Fp2.extension(Ep) A2.z=Fp2.extension(Q) being Ep and Q polynomials. Now I want to define a homomorphism between those algebras. I have already computed alpha, that is the element in A2

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

2014-04-24 Thread Irene
,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 irene@gmail.com javascript: wrote: I forgot to write what is repsq(): You could use the builtin

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

2014-04-24 Thread Irene
is mapped, 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 to sage

[sage-support] Extension of a field extension

2014-04-21 Thread Irene
root of theta^3+3*theta+5.* *The problem is that when I consider the following:* gamma2=theta^3+3*theta+5 AA1.xbar=PolynomialRing(A1) AA.gamma=A1.extension(xbar^2-gamma2) (xbar^2-gamma2).roots(AA,multiplicities=False) it gives me a NotImplementedError. Any idea? Thank you in advance. *Irene

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

2014-04-21 Thread Irene
, 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 2 s=12#Psi_13 factorize in factors of degree 12 Fps=GF

[sage-support] Cubic root in a finite field

2014-04-19 Thread Irene
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

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 Irene
what you want, I hope! John On 17 April 2014 02:52, Irene irene@gmail.com javascript: wrote: 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

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

2014-04-17 Thread Irene
, 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 irene@gmail.com javascript: wrote: I think that this is exactly what I need. Nevertheless I

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

2014-04-17 Thread Irene
) 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 irene@gmail.com javascript: wrote: p=371 Fp=GF(p) E=EllipticCurve([Fp(3),Fp

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

2014-04-07 Thread Irene
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)])