Vanishing of Schubert coefficients via the effective Hilbert nullstellensatz | Synapse