QuotientFieldCategoryFunctions2(A, B, R, S)ΒΆ

fraction.spad line 234

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.