The Modeling Principle

In both cases we need an algorithm to decide the point incidence test of Q. The choice of the case and the desired representation lead to different algorithms for generating a computer internal representation for the extension.