On 2018-Sep-27, Tomas Vondra wrote:
> I may be missing what you're saying, but point_mul_point is not just a
> simple multiplication of coordinates, i.e.
>
> (x1,y1) * (x2,y2) != (x1*x2, y1*y2)
>
> It essentially does this:
>
> ((x1 * x2 - y1 * y2), (x1 * y2 + x2 * y1))
>
> so I wouldn't be surprised if this was a difference between _pl and _mi.
Yeah, I had misinterpreted the operation before reading the code, then
when reading it I realized the formula is what you were saying, so I
updated the final part of my reply but failed to realize I had written
my misunderstanding in the first portion.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services