The ALPAK System for Nonnumerical Algebra on a Digital Computer - III: Systems of Linear Equations and a Class of Side Relations | Synapse