Changeset 5480da in git for Singular/LIB/normal.lib

Timestamp:

Apr 4, 1998, 12:47:15 AM (26 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

a42239a667454add16526617638435dcc1115d49

Parents:

fca547bc4a4fdc03461b1fa87b33c326d44b5733

Message:

Added new help for libraries


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

File:

• Singular/LIB/normal.lib (modified) (2 diffs)

Singular/LIB/normal.lib

@@ -6 +6 @@
 ///////////////////////////////////////////////////////////////////////////////
 
+version="$Id: normal.lib,v 1.4 1998-04-03 22:47:08 krueger Exp $";
+info="
 LIBRARY: normal.lib: PROCEDURE FOR NORMALIZATION (I)
 
@@ -11 +13 @@
   // computes a set of rings such that their product is the 
   // normalization of the reduced basering/I 
+";
 
 LIB "sing.lib";