Closed TysonMN closed 3 years ago
This PR improves the tests related to additivity by improving the names of the tests and adding tests so that both left and right additivity are covered.
The title of the recently added test in https://github.com/fslaborg/flips/commit/90f4940216328094acd0e57714dfc4c00e5b57e9 (c.f. #148) mentioned linearity. Linearity is both additivity and homogeneity of degree 1. That test is specifically about additivity instead of linearity, so I adjusted the name accordingly.
This PR improves the tests related to additivity by improving the names of the tests and adding tests so that both left and right additivity are covered.
The title of the recently added test in https://github.com/fslaborg/flips/commit/90f4940216328094acd0e57714dfc4c00e5b57e9 (c.f. #148) mentioned linearity. Linearity is both additivity and homogeneity of degree 1. That test is specifically about additivity instead of linearity, so I adjusted the name accordingly.