nonsingular variety