phi ** K
It is necessary that all forms in the old coefficient ring F can be automatically coerced into the new coefficient ring K.
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Cremona/documentation.m2:865:0.