Commit 2026-03-05 19:18 1ca945c4

feat: relation between emultiplicity and ramificationIdx (#36144) If w is an ideal of S lying above the ideal v of R then the multiplicity of the push-forward of some ideal I of R in w is given by multiplying the multiplicity of I in v with the ramification index.