Two computation algorithms and linting