Singular/Sources — pull request #237 by YueRen (2012-12-14 18:02:45+00:00)
Title: Gfanlib

added gitfanlib
fixed some formating issues with divisors.lib
changed gitfan.cc to use std::set to prepare it for parallelization