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: (A -> B, Fraction A) -> Fraction B

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