Real-algebraic/Q or Z/Exercise