multiplicative order, more tests