Singular/Sources — pull request #104 by YueRen (2012-05-09 12:19:57+00:00)
Title: Gfanlib

callgfanlib changes:
- now allowing minkowski sums between polytopes and cones
- now allowing checks for containment as faces between polytopes

gfanlib changes:
- replaced the modified gfanlib with a clean version of gfanlib
(the additional functionalities which come with the modification are hence made void,
they will instead come in a seperate wrapper which will replace the convex types in Singular,
in case the user has both Singular and Polymake installed)
- fixed a bug in gfan::ZCone::canonicalize(),
matrices representing inequalities/equations of the cones were only reduced to row-echelon-form,
but it really should be reduced row-echelon-form (to make the representation unique).

other changes:
- fixed some issues in divisors.lib, replacing some outdated function names
- fixed a bug in tropical.lib, caused by bad use of term ordering wp
(replaced weight ordering with suitable matrix ordering)