Singular/Sources — pull request #238 by YueRen (2012-12-14 18:09:44+00:00)
Title: Gfanlib

added gitfan.lib and fixed formating issues in divisors.lib
changed gitfan.cc / gitfan.h to use std::set in preparation to upcoming parallelization