QuotientFieldCategoryFunctions2(A, B, R, S)

fraction.spad line 227 [edit on github]

• A: IntegralDomain

• B: IntegralDomain

• R: QuotientFieldCategory A

• S: QuotientFieldCategory B

This package extends a function between integral domains to a mapping between their quotient fields.

map: (A -> B, R) -> S

map(func, frac) applies the function func to the numerator and denominator of frac.