FactoredFunctionUtilities R¶

FactoredFunctionUtilities implements some utility functions for manipulating factored objects.

refine: (Factored R, R -> Factored R) -> Factored R: refine(u, fn) is used to apply the function userfun{fn} to each factor of u and then build a new factored object from the results. For example, if u were created by calling nilFactor(10, 2) then refine(u, factor) would create a factored object equal to that created by factor(100) or primeFactor(2, 2) * primeFactor(5, 2).