LPSINVELM(1) - manual page | User commands

Check invariants and use these to simplify or eliminate summands of an LPS.