Exact simplification of support vector solutions | Synapse