Changeset 597297 in git

Timestamp:

Jun 20, 2018, 6:07:22 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

7756c1c7b3ea290dd236ed5d51b3e9824aa561ff

Parents:

8a2e90b00e1ed64bd7704f30dcacfb262f98d370

Message:

fix: new chern.lib (o.g.yena@gmail.com)

File:

• Singular/LIB/chern.lib (modified) (8 diffs)

Singular/LIB/chern.lib

@@ -1 +1 @@
 ////////////////////////////////////////////////////////////////
-version = "version chern.lib 4.1.1.0 Dec_2017 ";  //$Id$
+version = "version chern.lib 0.706 Jun_2018 ";      //$Id$
 category = "Chern classes";
 info="
@@ -6 +6 @@
                        Computation of Chern classes
 
-AUTHOR:  Oleksandr Iena,      o.g.yena@gmail.com,  yena@mathematik.uni-kl.de
+AUTHOR:  Oleksandr Iena,      o.g.yena@gmail.com
 
 OVERVIEW:
@@ -688 +688 @@
     def br@=basering; // remember the base ring
     // add additional variables c@, a@(1..n) to the base ring
-    execute("ring r@= (" + charstr(basering) + "),(c@,"+varstr(basering)+", a@(1..n)), dp;" );
+    execute("ring r@= (" + charstr(basering) + "),(c@,"+varstr(basering)+", a@(1..n)), lp;" );
     execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-    list c=F(c); // embedd c in the bigger ring
+    list c=F(c); // embed c in the bigger ring
     poly rez;
     list A=a@(1..n);
@@ -702 +702 @@
     }
     I=I, c@-sum_of_powers(n, A);
-    I=elim(I, E);
+    I=simplify(elim(I, E),1);
     rez = -subst(I[1], c@, 0);
     setring br@; // come back to the initial base ring
@@ -1018 +1018 @@
   def br@=basering; // remember the base ring
   // add additional variables a@(1..r), b@(1..R), x@ to the base ring
-  execute("ring r@=("+ charstr(basering) +"),(x@,"+varstr(basering)+",a@(1..r),b@(1..R)), dp;");
+  execute("ring r@=("+ charstr(basering) +"),(x@,"+varstr(basering)+",a@(1..r),b@(1..R)), lp;");
   execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  list c=F(c); // embedd c in the bigger ring
-  list C=F(C); // embedd C in the bigger ring
+  list c=F(c); // embed c in the bigger ring
+  list C=F(C); // embed C in the bigger ring
   list A=a@(1..r); // list of Chern roots of the first vector bundle
   list syma = symm(A); // symmetric functions in the Chern roots of the first vector bundles
@@ -1044 +1044 @@
   {
     J = I, x@-Cf[i]; // add the equation for the i-th Chern class to the ideal of relations
-    J = elim(J, E); // eliminate the Chern roots
+    J = simplify(elim(J, E), 1); // eliminate the Chern roots
     // get the expression for the i-th Chern class of the product
     // in terms of the Chern classes of the factors
@@ -1571 +1571 @@
   def br@=basering; // remember the base ring
   // add additional variables to the base ring
-  execute("ring r@=(" + charstr(basering) +  "),(x@,"+varstr(basering)+", a@(1..r)), dp;" );
+  execute("ring r@=(" + charstr(basering) +  "),(x@,"+varstr(basering)+", a@(1..r)), lp;" );
   execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
   list c=F(c); // embed c into the bigger ring
@@ -2195 +2195 @@
     def br@=basering; // remember the base ring
     // add additional variables a@(1..n), x@ to the base ring
-    execute("ring r@=(" + charstr(basering) + "), (x@,"+varstr(basering)+", a@(1..n)), dp;" );
+    execute("ring r@=(" + charstr(basering) + "), (x@,"+varstr(basering)+", a@(1..n)), lp;" );
     execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
     list c=F(c); // embed c into the bigger ring