1#include "kernel.pckh"
2
3Sign predicate(side1)(
4   point(p0), point(p1), point(q0)  DIM
5) {
6  /* note: 1* for ensuring mcc's degree compatibility */
7  scalar r = 1*sq_dist(p0,p1) ;
8  r -= 2*dot_at(p1,q0,p0) ;
9  generic_predicate_result(sign(r)) ;
10  begin_sos2(p0,p1)
11     sos(p0,POSITIVE)
12     sos(p1,NEGATIVE)
13  end_sos
14}
15