That sounds good to me. Two markers make sense. LeftZeroUnit and RightZeroUnit. The right case is the important optimization although the left case allows the function call to be omitted. I suspect that the left optimization would cost more than the win.
I don't think that these are well described as zero preserving so much as marking functions as having zero as a right (or left) unit. On Tue, Sep 6, 2011 at 5:01 PM, Jake Mannix <[email protected]> wrote: > The only way to know for sure is to have a marker interface for > DoubleDoubleFunction > which designated that it is LeftZeroPreserving or something. >
