بتاريخ الأربعاء، 19 مارس، 2014 UTC+1 9:26:58 م، كتب ghamma...@gmail.com: > Bonsoir > SVP, j'ai besoin de definir sur Sage 3 extensions de corps, mais je n'arrive > pas. Je peux definir que deux extensions.
When i find the test F6.is field() the answer is true, in this representation i have Fp^2, Fp^6 and Fp^12 are fields. But I need that Fp^2 be a field extension bacause I need to seperate his elements(a in Fp^2=a0+i*a1 and i need the value of a0=a[0] and a1=a[1]) #t=2^62-2^54+2^44 t=-(2^62 + 2^55 +1) #t=2^63-2^49 p=36*t^4+36*t^3+24*t^2+6*t+1 r=36*t^4+36*t^3+18*t^2+6*t+1 tr=6*t^2+1 #-------------- Fp-------------- F=GF(p) #------------------------------- b=2 #--------------Fp^2-------------- K2.<x>=PolynomialRing(F) F2.<i>=FiniteField(p^2,modulus=x^2+1) #------------------------------------ #-------------Fp^6--------------------- K6.<y>=PolynomialRing(F2) F6.<v>=F2.extension(y^3-i-1) #------------------------------------- #---------------Fp^12------------------- K12.<z>=PolynomialRing(F6) F12.<w>=F6.extension(z^2-v) F12.is_field=lambda:True #---- -- 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-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
