Zulip Chat Archive

Stream: Is there code for X?

Topic: polynomial.map as algebra hom

Johan Commelin (Mar 10 2022 at 08:57):

Do we have polynomial.map as algebra homomorphism?

Riccardo Brasca (Mar 10 2022 at 09:17):

docs#polynomial.map_alg

Riccardo Brasca (Mar 10 2022 at 09:19):

With an inconsistent name wrt docs#mv_polynomial.map_alg_hom and docs#polynomial.map_ring_hom :unamused:

Johan Commelin (Mar 10 2022 at 09:19):

Thanks!

Johan Commelin (Mar 10 2022 at 09:23):

Ooh, that's not the one I had in mind.
I want to take an f : S₁ →ₐ[R] S₂ and create a S₁[X] →ₐ[R] S₂[X].

Riccardo Brasca (Mar 10 2022 at 09:25):

Ah sorry, I misread the doc, I was also looking for the same map as you

Riccardo Brasca (Mar 10 2022 at 09:25):

Then I don't think we have it

Riccardo Brasca (Mar 10 2022 at 09:25):

wait

Riccardo Brasca (Mar 10 2022 at 09:32):

No, I don't think we have it :(

Eric Wieser (Mar 10 2022 at 13:05):

That's just the one we do have with weaker scalars in the maps on both sides, right?

Last updated: Dec 20 2023 at 11:08 UTC