Changeset 0610f0e in git for Singular/LIB/involut.lib

Timestamp:

May 14, 2010, 6:55:39 PM (14 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c6a37e587b929939b8736b96653178b2f7a6aef9

Parents:

f55c950f86cfcb5fbb7d28e7ef4ab01c06dcd337

Message:

format

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

File:

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

Singular/LIB/involut.lib

@@ -7 +7 @@
 @*        Viktor Levandovskyy,  levandov@mathematik.uni-kl.de
 
-THEORY: Involution is an anti-isomorphism of a non-commutative K-algebra 
-@* with the property that applied an involution twice, one gets an identity. 
-@* Involution is linear with respect to the ground field. In this library we compute 
-@* linear involutions, distinguishing the case of a diagonal matrix (such involutions 
+THEORY: Involution is an anti-isomorphism of a non-commutative K-algebra
+@* with the property that applied an involution twice, one gets an identity.
+@* Involution is linear with respect to the ground field. In this library we compute
+@* linear involutions, distinguishing the case of a diagonal matrix (such involutions
 @* are called homothetic) and a general one. Also, linear automorphisms of different
 @* order can be computed.
@@ -284 +284 @@
 RETURN:  object of the same type as m
 PURPOSE: applies the involution, presented by theta to the object m
-THEORY: for an involution theta and two polynomials a,b from the algebra, 
+THEORY: for an involution theta and two polynomials a,b from the algebra,
 @*  theta(ab) = theta(b) theta(a); theta is linear with respect to the ground field
 NOTE: This is generalized ''theta(m)'' for data types unsupported by ''map''.
@@ -692 +692 @@
 @*        L[i][1]  =  ideal; a Groebner Basis of an i-th associated prime,
 @*        L[i][2]  =  matrix, defining a linear map, with entries, reduced with respect to L[i][1]
-PURPOSE: compute the ideal of linear automorphisms of the basering, 
+PURPOSE: compute the ideal of linear automorphisms of the basering,
 @*  given by a matrix, n-th power of which gives identity (i.e. unipotent matrix)
-NOTE: if n=0, a matrix, defining an automorphism is not assumed to be unipotent 
-@* but just non-degenerate. A nonzero parameter @code{@@p} is introduced as the value of 
+NOTE: if n=0, a matrix, defining an automorphism is not assumed to be unipotent
+@* but just non-degenerate. A nonzero parameter @code{@@p} is introduced as the value of
 @* the determinant of the matrix above.
-@* For convenience, the full ideal of relations @code{idJ} and the initial matrix with indeterminates 
+@* For convenience, the full ideal of relations @code{idJ} and the initial matrix with indeterminates
 @* @code{matD} are mutually exported in the output ring
 SEE ALSO: findInvo