A modular method for Gro¨bner-basis construction over Q and solving system of algebraic equations