Changeset 51d95b in git for Singular/LIB/ainvar.lib

Timestamp:

Feb 2, 2001, 5:34:03 PM (23 years ago)

Author:

Mathias Schulze <mschulze@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d6e3b1afb0e8520e0ecd6884a887b9e5dfad7c0a

Parents:

d0b24aa6b76ceff1814449a910b055491387ea33

Message:

*mschulze: modified procedure descriptions


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

File:

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

Singular/LIB/ainvar.lib

@@ -1 @@
-// $Id: ainvar.lib,v 1.5 2001-01-16 13:48:21 Singular Exp $
+// $Id: ainvar.lib,v 1.6 2001-02-02 16:32:32 mschulze Exp $
 /////////////////////////////////////////////////////////////////////////////
-version="$Id: ainvar.lib,v 1.5 2001-01-16 13:48:21 Singular Exp $";
+version="$Id: ainvar.lib,v 1.6 2001-02-02 16:32:32 mschulze Exp $";
 category="Invariant theory";
 info="
 LIBRARY: ainvar.lib    Invariant Rings of the Additive Group
-AUTHORS: Gerhard Pfister,  email: pfister@mathematik.uni-kl.de
-         Gert-Martin Greuel,  email: greuel@mathematik.uni-kl.de
+AUTHORS: Gerhard Pfister (email: pfister@mathematik.uni-kl.de),
+         Gert-Martin Greuel (email: greuel@mathematik.uni-kl.de)
 
 PROCEDURES:
@@ -334 +334 @@
          h must be a ring variable
 RETURN:  a polynomial, the invariant polynomial of the vectorfield
-                m = m[1,1]*d/dx(1) +...+ m[n,1]*d/dx(n)
+@format
+         m = m[1,1]*d/dx(1) +...+ m[n,1]*d/dx(n)
+@end format
          with respect to p,q,h. It is defined as follows: set inv = p if p is
          invariant, and else as
@@ -399 +401 @@
 RETURN:  list of two ideals, the first ideal contains further invariants of
          the vectorfield
-              m = sum m[i,1]*d/dx(i) with respect to id,p,q,
+@format
+         m = sum m[i,1]*d/dx(i) with respect to id,p,q,
+@end format
          i.e. we compute elements in the (invariant) subring generated by id
          which are divisible by q and divde them by q as much as possible
@@ -496 +500 @@
 RETURN:  ideal, containing generators of the ring of invariants of the
          additive gropup (K,+) given by the vectorfield
-              m = m[1,1]*d/dx(1) +...+ m[n,1]*d/dx(n).
+@format
+         m = m[1,1]*d/dx(1) +...+ m[n,1]*d/dx(n).
+@end format
          If b>0 the computation stops after all invariants of degree <= b
          (and at least one of higher degree) are found or when all invariants