Computes the border of an order ideal
$borderbasis.Border(OO:LIST):LIST
Computes the border of an order ideal OO. The input/output is a list of terms.