Question

Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Does Is it possible to calculate(=exist calculate, ,i.e., does there exist a fast algorithm) , the dimension of the variety $Z(f_1,\ldots f_k)$?

Does there exists exist a good criterion to check if the dimension of $Z(f_1,\ldots f_k)$ is $n-k$ when all $f_i$ are quadratic polynomials?