Changeset 908d5a0 in git for Singular/LIB/poly.lib

Timestamp:

May 19, 1998, 8:08:26 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

b07a7309c9ce4af1097f209fcbe4f0bccbd68616

Parents:

652cd158cf9057ab18e652dbde7b6b887c3be7cb

Message:

* improvement of katsura


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

File:

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

Singular/LIB/poly.lib

@@ -1 @@
-// $Id: poly.lib,v 1.13 1998-05-14 18:45:11 Singular Exp $
+// $Id: poly.lib,v 1.14 1998-05-19 18:08:26 obachman Exp $
 //system("random",787422842);
 //(GMG, last modified 22.06.96)
@@ -5 +5 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: poly.lib,v 1.13 1998-05-14 18:45:11 Singular Exp $";
+version="$Id: poly.lib,v 1.14 1998-05-19 18:08:26 obachman Exp $";
 info="
 LIBRARY:  poly.lib      PROCEDURES FOR MANIPULATING POLYS, IDEALS, MODULES
@@ -59 +59 @@
 
 proc katsura
-"USAGE: katsura([n]); n integer
-RETURN: katsura(n) : n-th katsura ideal of newly created and set ring
-                     (32003, x(0..n), dp)
+"USAGE: katsura([n]): n integer
+RETURN: katsura(n) : n-th katsura ideal of 
+                      (1) newly created and set ring (32003, x(0..n), dp), if 
+                          nvars(basering) < n
+                      (2) basering, if nvars(basering) >= n
         katsura()  : katsura ideal of basering
 EXAMPLE: example katsura; shows examples
 "
 {
+  int n;
   if ( size(#) == 1 && typeof(#[1]) == "int")
   {
-    ring katsura_ring = 32003, x(0..#[1]), dp;
-    keepring katsura_ring;
-  }
+    n = #[1] - 1;
+    while (1)
+    {
+      if (defined(basering))
+      {
+        if (nvars(basering) >= #[1]) {break;}
+      }
+      ring katsura_ring = 32003, x(0..#[1]), dp;
+      keepring katsura_ring;
+      break;
+    }
+  }
+  else
+  {
+    n = nvars(basering) -1;
+  }
+  
   ideal s;
   int i, j;
-  int n = nvars(basering) -1;
   poly p;