improved sampling of positive dimensional cyclic n-roots, making witness set