Multiplication of GPs

[willtebbutt]

Currently multiplication between GPs works. What are the odds of renaming this functionality to prevent users from multiplying GPs and getting unexpected results?

[wesselb]

@willtebbutt That sounds very sensible to me. How would f1.mul_approx(f2) or f1.mul_matched(f2) sound? Do you perhaps have a suggestion for a name?

[willtebbutt]

I don't have any particular suggestion for a name here. mul_approx seems a bit too general to me, so I think that I prefer mul_matched.

[wesselb]

Perfect! Let's go with mul_matched then. I'll incorporate the change in the 1.0 release.