Zulip Chat Archive
Stream: maths
Topic: char_poly vs charpoly
Riccardo Brasca (Sep 16 2021 at 14:14):
Should char_poly (as in docs#char_poly) be called charpoly to agree with docs#minpoly? Maybe even matrix.charpoly: I don't find the characteristic polynomial of an endomorphism of a free module, but I think the name charpoly should be reserved to it. (I am going to define it, with a minimalistic API).
Johan Commelin (Sep 16 2021 at 14:14):
I'm pro renaming. It's an 'atomic' name part.
Riccardo Brasca (Sep 16 2021 at 14:32):
Last updated: Dec 20 2023 at 11:08 UTC