FactoredFunctionUtilities RΒΆ
fr.spad line 594 [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)
.