Singular/Sources — pull request #262 by YueRen (2013-02-04 18:27:00+00:00)
Title: chg: gfanlib and gfanlib interface

updated source code of gfanlib and its interface to the newest version in master
(not properly embedded into Singular yet, to be fixed with future commit)
changed bigintmat in order to allow empty matrices
removed or commented out all traces of gfanlib and its interface in the folders
Singular/ and kernel/
(to be finally removed as soon as it is properly embedded into Singular)