Changeset d6db1f2 in git

Timestamp:

May 5, 1997, 2:03:01 PM (27 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

3ebcbd28b8403b4bc998cf07c860e638a4ada801

Parents:

d4b8f53c0aa835c04cf4a8393a6871a62281c59c

Message:

* hannes: changed libs, removed old libs


git-svn-id: file:///usr/local/Singular/svn/trunk@240 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

Singular/LIB

Files:

• factor.lib (modified) (3 diffs)
• homog.lib (deleted)
• prim_dec.lib (added)
• primdec.lib (added)

Singular/LIB/factor.lib

@@ -1 @@
-// $Id: factor.lib,v 1.2 1997-04-28 19:27:17 obachman Exp $
+// $Id: factor.lib,v 1.3 1997-05-05 12:02:44 Singular Exp $
 //(RS)
 ///////////////////////////////////////////////////////////////////////////////
 
-LIBRARY:  redfac.lib    PROCEDURES FOR CALLING THE REDUCE FACTORIZER
+LIBRARY:  factor.lib    PROCEDURES FOR CALLING THE REDUCE FACTORIZER
 
  delete_dollar(s)       return the string s with '$' deleted
@@ -48 +48 @@
   int shortOutput = short;
   short = 0;
-  write scriptname,"#!/bin/sh
+  write (scriptname,"#!/bin/sh
                     $reduce/reduce >/dev/null <<EOF
                     off nat$ off echo$ setmod " + string( n ) + "$
@@ -61 +61 @@
                     shut \"" + outname + "\";
                     quit$
-               EOF";
+               EOF");
   system( "sh", "chmod 700 " + scriptname );
   system( "sh", scriptname );