numerically effective cotangent bundle; degree complexity of the Nullstellensatz; effective infinite commutative field; arithmetic algorithms; sequential complexity; parallel complexity; evaluation calculus; completely reduced intersection variety; arithmetic network; probabilistic algorithm 