[sage-support] Field Embeddings..

2010-03-11 Thread cm
Hi, I have the following problem: M=MatrixSpace(GF(2^2,'a'),5) A=M.random_element() N=MatrixSpace(GF(2^4,'a'),5) N(A) TypeError: unable to coerce from a finite field other than the prime subfield Is there a simple way around non prime subfield embeddings? Thanks, -- To post to this group, se

[sage-support] linear map question

2009-05-17 Thread cm
Hi, I wish to construct a linear map on V corresponding to the field automorphism theta: K=GF(2^64,'a') theta=Hom(K,K)[1] ## this sends a --> a^2 V=VectorSpace(GF(2),64) I thought this would be straightforward (unless my maths is wrong), but I cannot find any functions to h

[sage-support] Field Embeddings

2009-01-29 Thread cm
Hi, suppose I have a field embedding A = GF(2^4) -> B = GF(2^20) say, and I pick a homomorphism phi from C=A.Hom(GF(2^20,'x')), e.g. sage: phi Ring morphism: From: Finite Field in x of size 2^4 To: Finite Field in x of size 2^20 Defn: x |--> x^19 + x^14 + x^13 + x^12 + x^10