Added negation and inverse functions.