Description: debianization: 4ti2
 Address the Debian specific naming scheme set up for the 4ti2 suite tools
 in the 4ti2 Debian package.
Origin: debian
Forwarded: not-needed
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2014-12-28

--- a/Singular/LIB/sing4ti2.lib
+++ b/Singular/LIB/sing4ti2.lib
@@ -89,7 +89,7 @@
 // Singular's string is too clumsy for this, hence we first prepare
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","markov sing4ti2 >/dev/null 2>&1");
+   j=system("sh","4ti2-markov sing4ti2 >/dev/null 2>&1");
    j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.mar | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g|sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    if(!defined(keepfiles))
    {
@@ -211,7 +211,7 @@
 // Singular's string is too clumsy for this, hence we first prepare
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","graver sing4ti2 >/dev/null 2>&1");
+   j=system("sh","4ti2-graver sing4ti2 >/dev/null 2>&1");
    j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.gra | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g |sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    if(!defined(keepfiles))
    {
@@ -331,7 +331,7 @@
 // Singular's string is too clumsy for this, hence we first prepare
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","hilbert sing4ti2 >/dev/null 2>&1");
+   j=system("sh","4ti2-hilbert sing4ti2 >/dev/null 2>&1");
    j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.hil | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g |sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    if(!defined(keepfiles))
    {