formalities

Singular · Dec 12, 2012 · c9506c2 · c9506c2
1 parent f37064c
commit c9506c2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/Singular/LIB/dmodloc.lib b/Singular/LIB/dmodloc.lib
@@ -80,14 +80,12 @@ commRing();        deletes non-commutative relations from ring
 rightNFWeyl(id,k); computes right NF wrt right ideal (var(k)) in Weyl algebra
 
 
-KEYWORDS:
-D-module;
-holonomic rank; singular locus of D-module;
+KEYWORDS: D-module; holonomic rank; singular locus of D-module;
 D-localization; localization of D-module; characteristic variety;
-Weyl closure;
-polynomial solutions; rational solutions;
+Weyl closure; polynomial solutions; rational solutions;
 annihilator of rational function;
 
+
 SEE ALSO: bfun_lib, dmod_lib, dmodapp_lib, dmodvar_lib, gmssing_lib
 ";
 

diff --git a/Singular/LIB/ncpreim.lib b/Singular/LIB/ncpreim.lib
@@ -50,8 +50,8 @@ extendedTensor(A,I);       tensor product of rings with additional relations
 preimageNC(A,f,J[,P,eng]); preimage of ideals under homomorphisms of G-algebras
 
 
-KEYWORDS:
-preimage; elimination
+KEYWORDS: preimage; elimination
+
 
 SEE ALSO: eliminate_lib, preimage (plural)
 ";