Correct handling of negative powers of zero
Example of conjecturing for matrix invariants