Refactored algebra and updated readme

These confounded tests drive me for a basic implementation that I really should've committed this bar when clicked.