math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33 stars 2 forks source link

Simplify the normalization functions for preprocessing #84

Closed pi8027 closed 1 year ago

pi8027 commented 1 year ago

They do not have to take a homomorphism, but a function.

I wished to have a slight performance improvement with this change, but it is not really noticible in from_sander.v.