HomeSearchLibrary
Square-free factorization | OmniWiki