Fix bug in documentation, change all tests to be with pareto-optimal alternatives.
Fix maximal vector computation