database of polynomial systems