pub(crate) fn check_equal_polyx(p1: Polyx, p2: Polyx) -> bool