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 : (Mapping(B, A), R) -> S

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