equal
deleted
inserted
replaced
338 |
338 |
339 fun is_contradictory (ans as Lineq(k,ty,l,_)) = |
339 fun is_contradictory (ans as Lineq(k,ty,l,_)) = |
340 case ty of Eq => k <> 0 | Le => k > 0 | Lt => k >= 0; |
340 case ty of Eq => k <> 0 | Le => k > 0 | Lt => k >= 0; |
341 |
341 |
342 fun calc_blowup l = |
342 fun calc_blowup l = |
343 let val (p,n) = List.partition (curry (op <) 0) (List.filter (curry (op <>) 0) l) |
343 let val (p,n) = List.partition (curry (op <) 0) (filter (curry (op <>) 0) l) |
344 in length p * length n end; |
344 in length p * length n end; |
345 |
345 |
346 (* ------------------------------------------------------------------------- *) |
346 (* ------------------------------------------------------------------------- *) |
347 (* Main elimination code: *) |
347 (* Main elimination code: *) |
348 (* *) |
348 (* *) |