I have a project where I'm trying to establish the identification of systems of equations (usually 10 or so equations). The systems can be under- exactly- or over-determined. If over-determined, I would like to know what constraints would need to be made to identify the system. For example, with the system: x + y = a x - y = b 2x + 2y = c Is there a way to have Maple return that c = 2a? Also, in some cases when the system is under-determined I get parametric solutions but in other cases I get {} (which is the same result returned for over-determined equations). Does anyone know