Changeset 3bd01a in git

Timestamp:

Dec 4, 2014, 1:10:36 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

6d4083e9b54af6d3545181587f2eacf2f9b04305

Parents:

d50995160fd4a66b8b49207ac2c86fa22afea1ee

Message:

warnings: fixed finvar.lib, algebra.lib

Location:

Singular/LIB

Files:

• algebra.lib (modified) (11 diffs)
• finvar.lib (modified) (1 diff)

Singular/LIB/algebra.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="version algebra.lib 4.0.0.0 Jun_2013 "; // $Id$
+version="version algebra.lib 4.0.1.1 Dec_2014 "; // $Id$
 category="Commutative Algebra";
 info="
@@ -77 +77 @@
     // ---------- create new ring with extra variables --------------------
     execute ("ring R=("+charstr(br)+"),(x(1..n),y(1..m)),(dp(n),dp(m));");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     ideal vars=x(1..n);
     map emb=br,vars;
@@ -180 +181 @@
     execute
    ("ring R=("+charstr(br)+"),(x(1..n),y(1..m),z(1..n)),(lp(n),dp(m),lp(n));");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     ideal vars = x(1..n);
     map emb = br,vars;
@@ -267 +269 @@
   // neu CL 10/05:
   int is_qring;
-  if (size(ideal(gnir))>0) {
+  if (size(ideal(gnir))>0)
+  {
     is_qring=1;
     ideal IdQ = ideal(gnir);
@@ -276 +279 @@
    execute ("ring r1= ("+charstr(basering)+"),(x(1..n),y(0..z)),lp;");
  //  execute ("ring r1= ("+charstr(basering)+"),(y(0..z),x(1..n)),dp;");
-  execute ("minpoly=number("+mp+");");
+  if (mp!="0")
+  { execute ("minpoly=number("+mp+");"); }
   ideal va = x(1..n);
   map emb = gnir,va;
@@ -364 +368 @@
     {
       execute ("ring R1=("+charstr(br)+"),y(1..m),dp;");
-      execute ("minpoly=number("+mp+");");
+      if (mp!="0")
+      { execute ("minpoly=number("+mp+");"); }
       setring br;
       map phi = R1,A;
@@ -372 +377 @@
  // ---------- create new ring with extra variables --------------------
     execute ("ring R2=("+charstr(br)+"),(x(1..n),y(1..m)),(dp);");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     if( tt == 1 )
     {
@@ -397 +403 @@
  // order
        {execute ("ring R3=("+charstr(br)+"),(x(1..n),y(1..m)),(dp(n),dp(m));");
-        execute ("minpoly=number("+mp+");");
+        if (mp!="0")
+        { execute ("minpoly=number("+mp+");"); }
         if ( s != 0 )
         { ideal vars = x(1..n);
@@ -495 +502 @@
     def S = L[2];
     execute ("ring R=("+charstr(basering)+"),(@(1..n),"+varstr(pr)+"),(dp);");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     ideal ker = fetch(S,ker);       //in order to have variable names correct
     string sker = string(ker);
@@ -645 +653 @@
   // ------------ create new ring with extra variables ---------------------
     execute ("ring R=("+charstr(br)+"),(x(1..n),y(1..m)),(dp(n),dp(m));");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     ideal vars = x(1..n);
     map emb = br,vars;
@@ -717 +726 @@
   // ------------ create new ring with extra variables ---------------------
     execute ("ring R=("+charstr(br)+"),(x(1..n),y(1..m)),(dp(n),dp(m));");
-    execute ("minpoly=number("+mp+");");
+    if (mp!="0")
+    { execute ("minpoly=number("+mp+");"); }
     ideal vars = x(1..n);
     map emb = br,vars;

Singular/LIB/finvar.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="version finvar.lib 4.0.0.0 Jun_2013 "; // $Id$
+version="version finvar.lib 4.0.1.1 Dec_2104 "; // $Id$
 category="Invariant theory";
 info="