Обобщай это, обобщай то

[Mavolio-Bent]

public static int operator *(Point2D p1, Point2D p2) =>
        p1.X * p2.X + p1.Y * p1.Y;

Вы уверены?

[Stefanio]

Спасибо, опечатался с Y компонентой

[Naf2000]

И все равно требование кольца на уровне языка не проверить. Коммутативность по сложению, ассоциативность и дистрибутивность операций остаются на откуп разработчику.

[Stefanio]

Да, уже говорили об этом в комментариях к предыдущим статьям по теме