Bill Allombert on Tue, 17 Oct 2017 00:43:19 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
ffmap: embedding of final fields |
Dear PARI developers, We have added new functions for dealing with extensions of finite fields: For example to embed F_3^5 in F_3^10: a = ffgen([3,5],'a); b = ffgen([3,10],'b); m = ffembed(a, b); m is a map from F_3^5 to F_3^10 You can use ffmap to apply it (recursively to vectors and polynomials): minpoly(ffmap(m,a))==minpoly(a) It is possible to compute the reverse (partial) map using ffinvmap: r = ffinvmap(m); ffmap(r,ffmap(m,a)) == a ffmap(r,b) return [] when it is not defined It is also possible to compose maps using ffcompomap. Please test! Cheers, Bill