Singular/Sources — pull request #346 by YueRen (2013-08-20 11:27:01+00:00)
Title: Gfanlib

fixed one minor bug and added some features requested by andreas gathmann