HALFPACE

Definition of HALFPACE