Então é claro que o caracol precisa de um pcs e, em seguida, toda a construção é um pouco exagerada Mas por que ninguém está fazendo isso? Parece um análogo muito simples e eficiente para a verificação de quociente univariado zero