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 callingnilFactor(10, 2)thenrefine(u, factor)would create a factored object equal to that created byfactor(100)orprimeFactor(2, 2) * primeFactor(5, 2).