Algebraic Geometry Over Four Rings and the Frontier to Tractability