-
Notifications
You must be signed in to change notification settings - Fork 8
Description
To get both rem2pi and mod2pi, it should be sufficient to just define a rule for rem2pi, as mod2pi is implemented in terms of rem2pi in Base. Unfortunately, rem2pi, with its RoundingMode argument, doesn't really fit the mold of functions accepting only numeric arguments (and thus having derivatives with respect to all of the arguments). I also don't really think it makes sense to define rules for the lower-level functions that are called in rem2pi (e.g., ieee754_rem_pio2, add22condh), as those seem more like implementation details.
Do you have any plans for how to handle this case? I can help implement this, but if you could give me an idea of what the required changes to DiffBase (and possibly dependent packages) would be, that would be very helpful.