An algebraic system defined by F = ( f 1 , … … , f k ) is regular (a.k.a. smooth) if the system F is of maximal rank k , meaning that the Jacobian matrix ( ∂ ∂ f i / ∂ ∂ z j ) is of rank k at every solution Z of the associated semi-algebraic variety.