FractionalIdealFunctions2(R1, F1, U1, A1, R2, F2, U2, A2)

divisor.spad line 177 [edit on github]

• R1 : EuclideanDomain
• F1 : QuotientFieldCategory(R1)
• U1 : UnivariatePolynomialCategory(F1)
• A1 : Join(FramedAlgebra(F1, U1), RetractableTo(F1))
• R2 : EuclideanDomain
• F2 : QuotientFieldCategory(R2)
• U2 : UnivariatePolynomialCategory(F2)
• A2 : Join(FramedAlgebra(F2, U2), RetractableTo(F2))

Lifting of morphisms to fractional ideals.

map : (Mapping(R2, R1), FractionalIdeal(R1, F1, U1, A1)) -> FractionalIdeal(R2, F2, U2, A2)

map(f, i) is undocumented