Splitting criteria for projective modules over polynomial algebras | Synapse