Noticed that invariant for arbcomplex(5) is just ss operating on
invariant for arbcomplex(1). Need to make operators linear (and one
dimensional).