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?