# Revision history [back]

### Evaluation map and ideal from polynomial ring K[X] -> K

How can I define a localized evaluation map $\phi_{a_1, \dots, a_n} : K[x_1, \dots, x_n] \rightarrow K$ by $\phi_{a_1, \dots, a_n}(p(x_1, \dots, x_n)) = p(a_1, \dots, a_n)$?

K = GF(47)
R.<x, y> = K[]
H = HomEval(K(10), K(20))


And also how can I construct the ideal of this map?

### Evaluation map and ideal from polynomial ring K[X] -> K

How can I define a localized evaluation map $\phi_{a_1, \dots, a_n} : K[x_1, \dots, x_n] \rightarrow K$ by $\phi_{a_1, \dots, a_n}(p(x_1, \dots, x_n)) = p(a_1, \dots, a_n)$?

K = GF(47)
R.<x, y> = K[]
H = HomEval(K(10), R.hom_eval(K(10), K(20))
assert H(x - 10, y - 20) == 0


And also how can I construct the ideal of this map?

### Evaluation map and ideal from polynomial ring K[X] -> K

How can I define a localized evaluation map $\phi_{a_1, \dots, a_n} : K[x_1, \dots, x_n] \rightarrow K$ by $\phi_{a_1, \dots, a_n}(p(x_1, \dots, x_n)) = p(a_1, \dots, a_n)$?

K = GF(47)
R.<x, y> = K[]
H = R.hom_eval(K(10), K(20))
assert H(x H((x - 10, y 10)*(y - 20) 20)) == 0


And also how can I construct the ideal of this map?