Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility