Ask Your Question
1

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

asked 2022-08-01 09:35:35 +0200

narodnik gravatar image

updated 2022-08-01 09:37:43 +0200

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 - 10)*(y - 20)) == 0

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

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2022-08-02 06:05:40 +0200

Max Alekseyev gravatar image

updated 2022-08-02 06:13:28 +0200

This seems to do the job:

H = R.hom([K(10),K(20)])
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2022-08-01 09:35:35 +0200

Seen: 57 times

Last updated: Aug 02