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: (R1 -> R2, FractionalIdeal(R1, F1, U1, A1)) -> FractionalIdeal(R2, F2, U2, A2)

map(f, i) is undocumented.