QQ==: canonical
QR==: different representation
QQ: different representation
