Specifically, Q should have exactly one generator over its coefficient ring.
i1 : Q = QQ[t];
i2 : expectSequenceRing Q
The object expectSequenceRing is a method function.