Changeset a470eb in git for Singular/LIB/jacobson.lib

Timestamp:

Dec 9, 2008, 5:50:21 PM (15 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

b27003ea53bc5aef753c4c03343c9966e60f84a5

Parents:

14ccffa45f9de16d6daa9a125a75bcc8b23f9014

Message:

*levandov: minor bugfixes and docu


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

File:

• Singular/LIB/jacobson.lib (modified) (4 diffs)

Singular/LIB/jacobson.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: jacobson.lib,v 1.4 2008-12-01 20:51:16 levandov Exp $";
+version="$Id: jacobson.lib,v 1.5 2008-12-09 16:50:21 levandov Exp $";
 category="System and Control Theory";
 info="
@@ -27 +27 @@
 RETURN: list 
 NOTE: By default, the diagonal matrix, the Smith normal form, is returned. 
+@* R stays for the ring, where computations will take place.
 @* If optional integer eng1 is nonzero, smith returns 
 @* a list of matrices L such that L[1]*M*L[3]=L[2] with L[2]_11|L[2]_22|...|L[2]_nn and 
@@ -68 +69 @@
 
   //if MA eqauls the zero matrix give back MA
-  if ( (size(m)==0) and (size(transpose(m))==0) )
+  if ( (size(module(m))==0) and (size(transpose(module(m)))==0) )
   {
     module L=freemodule(COL);
@@ -558 +559 @@
 NOTE: A list of matrices L such that L[1]*M*L[3]=L[2] such that L[2] is a diagonal matrix and 
 @* L[1], L[3] unimodular matrices.
+@* R stays for the ring, where computations will take place.
 @* eng determines the engine, that computes the Groebner basis. By default eng equals zero.
 @* If eng = 0 than std is used to caculate a Groebner basis