FractionFunctions2(A, B)ΒΆ

fraction.spad line 595

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.