Changeset 75089b in git for Singular/LIB/hnoether.lib

Timestamp:

Mar 6, 1998, 12:52:59 PM (26 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

795d89ff087d287c65cfbcc8982e712d343906ee

Parents:

c5f2c70e71ec178186313403410039af7986408b

Message:

made fixes requested by libparse (s.a. brackets, ....)


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

File:

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

Singular/LIB/hnoether.lib

@@ -1 @@
-// $Id: hnoether.lib,v 1.1 1997-08-13 14:13:29 Singular Exp $
+// $Id: hnoether.lib,v 1.2 1998-03-06 11:52:55 krueger Exp $
 // This library requires Singular 1.0
 ///////////////////////////////////////////////////////////////////////////////
@@ -97 +97 @@
 proc T2_Transform (poly f, number d, int M, int N)
 USAGE: T2_Transform(f,d,M,N); f poly, d number; M,N int
-RETURN: list: poly T2(f,d',M,N), number d' in { d, 1/d }
+RETURN: list: poly T2(f,d',M,N), number d' in \{ d, 1/d \}
 {
  //---------------------- compute gcd and extgcd of N,M -----------------------
@@ -973 +973 @@
          (list l (matrix m, intvec v, int s[,poly g]))
 RETURN:  an ideal of the following form:
-         _[1]=-y+[]*z(0)^1+[]*z(0)^2+...+z(0)^{}*z(1)
-         _[2]=-x+          []*z(1)^2+...+z(1)^{}*z(2)
-         _[3]=             []*z(2)^2+...+z(2)^{}*z(3)
+         _[1]=-y+[]*z(0)^1+[]*z(0)^2+...+z(0)^\{\}*z(1)
+         _[2]=-x+          []*z(1)^2+...+z(1)^\{\}*z(2)
+         _[3]=             []*z(2)^2+...+z(2)^\{\}*z(3)
           ...              ..........................
          _[r+1]=           []*z(r)^2+...
      where x,y are the indeterminants of the basering. The values of [] are
-     the coefficients of the Hamburger-Noether-matrix, the values of {} are
+     the coefficients of the Hamburger-Noether-matrix, the values of \{\} are
      represented in the HN-matrix as 'x'
          the 1st line (_[1]) means that y==[]*z(0)^1+... ,