Changeset ce5d1b in git for Singular/LIB/sing4ti2.lib

Timestamp:

Mar 9, 2018, 2:04:12 PM (6 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d0e571d99494f542cf693a3408acb2ca2148ac5f

Parents:

e7d857c86f3cb449cc12afb10bd08b618619805845fa962b8938643ace5cdc03f189d4457e4c7408

Message:

Merge branch 'stable' into lpDivision

File:

• Singular/LIB/sing4ti2.lib (modified) (3 diffs)

Singular/LIB/sing4ti2.lib

@@ -90 +90 @@
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","markov sing4ti2 >/dev/null 2>&1");
+   // find the name of markov/4ti2-markov
+   string s_name=system("executable","markov");
+   if (size(s_name)==0) { s_name=system("executable","4ti2-markov"); /* debian*/ }
+   j=system("sh",s_name+" 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))
@@ -212 +215 @@
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","graver sing4ti2 >/dev/null 2>&1");
+   // find the name of graver/4ti2-graver
+   string s_name=system("executable","graver");
+   if (size(s_name)==0) { s_name=system("executable","4ti2-graver"); /* debian*/ }
+   j=system("sh",s_name+" 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))
    {
-      j=system("sh",("rm -f sing4ti2.gra sing4ti2."+fileending));
+     j=system("sh",("rm -f sing4ti2.gra sing4ti2."+fileending));
    }
 //----------------------------------------------------------------------
@@ -332 +338 @@
 // using standard unix commands
 //----------------------------------------------------------------------
-   j=system("sh","hilbert sing4ti2 >/dev/null 2>&1");
+   // find the name of hilbert/4ti2-hilbert
+   string s_name=system("executable","hilbert");
+   if (size(s_name)==0) { s_name=system("executable","4ti2-hilbert"); /* debian*/ }
+   j=system("sh",s_name+" 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))