 | 1 | initial version |
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?
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?
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?
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.