ffmap

Function: ffmap
Section: number_theoretical
C-Name: ffmap
Prototype: GG
Help: ffmap(m, x): given a (partial) map m between two finite fields,
 return the image of x by m. The function is applied recursively to the
 component of vectors, matrices and polynomials. If m is a partial map that
 is not defined at x, return []
Doc: given a (partial) map $m$ between two finite fields, return the image of
 $x$ by $m$. The function is applied recursively to the component of vectors,
 matrices and polynomials. If $m$ is a partial map that is not defined at $x$,
 return $[]$.
 \bprog
 ? a = ffgen([3,5],'a);
 ? b = ffgen([3,10],'b);
 ? m = ffembed(a, b);
 ? P = x^2+a*x+1;
 ? Q = ffmap(m,P);
 ? ffmap(m,poldisc(P)) == poldisc(Q)
 %6 = 1
 @eprog