FractionFunctions2(A, B)

fraction.spad line 623 [edit on github]

• A : IntegralDomain
• B : IntegralDomain

This package extends a map between integral domains to a map between Fractions over those domains by applying the map to the numerators and denominators.

map : (Mapping(B, A), Fraction(A)) -> Fraction(B)

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