search

Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
345 stars 230 forks source link

ill-defined ring maps #1011

Open DanGrayson opened 5 years ago

DanGrayson commented 5 years ago

The documentation for ring maps should emphasize that Macaulay2 does not enforce a rule that all ring maps are well-defined, but it is just well-defined ring maps that behave as expect. For example, applying a composite ring map to an element may not yield the same answer as the successive application of the two ring maps. This might be worth while mentioning in the documentation.

DanGrayson commented 5 years ago

Similar remarks could be made for module homomorphisms.