adding det-list to libfpoly