Seminormalization : Table of Contents
-
-
-
-
findElementMappingToTarget -- given a ring map and an element of the target, this find an element from the source whose image is the given one
-
-
-
-
ringToAlgebraMap -- presents the target of a map of rings as an algebra over the source
-
-
-
Yy -- default symbol for new variables in the seminormalization method