-
POTTIER Francois authored
The plan is to use this function in the implementation of [force_reduction], so we can test dynamically whether a reduction is safe.
53ceef02
The plan is to use this function in the implementation of [force_reduction], so we can test dynamically whether a reduction is safe.