A robust algorithm for geometric predicate by error-free determinant transformation