Are these here so that we can split the linear constraints into `A` and `Aeq` for solvers like `fmincon` that take them separately?