FactoredFunctionUtilities RΒΆ

fr.spad line 501 [edit on github]

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 spadvar{u} and then build a new factored object from the results. For example, if spadvar{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).