Plane class

# TODO

- [ ] test coverage
is it possible that the sum will be symbolic and undecidably 0?