Changeset eaf8f8 in git for Singular/LIB/dmodapp.lib

Timestamp:

Mar 9, 2009, 7:34:52 PM (15 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b22a72d3cf5f625b056ece9285f0442601763cf0

Parents:

e6d283f58657a6d67f7a592a1e62a50f9464d936

Message:

*levandov: further bugfixes, finer work with varnames, doc enhancements, assume procs etc


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

File:

• Singular/LIB/dmodapp.lib (modified) (5 diffs)

Singular/LIB/dmodapp.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: dmodapp.lib,v 1.21 2009-03-06 20:32:29 levandov Exp $";
+version="$Id: dmodapp.lib,v 1.22 2009-03-09 18:34:52 levandov Exp $";
 category="Noncommutative";
 info="
@@ -1522 +1522 @@
     }
   }
+  
   // 1. create  homogenized Weyl algebra
   // 1.1 create ordering
@@ -1556 +1557 @@
   def Dh = nc_algebra(1,@relD);
   setring Dh; kill @Dh;
-  dbprint(ppl,"// computing in ring",DDh);
+  dbprint(ppl,"// computing in ring",Dh);
   // 2. Compute the initial ideal
   ideal I = imap(save,I);
@@ -1653 +1654 @@
     u0 = 1:n;
   }
-  if (isCommutative() == 0) { ERROR("basering must be commutative"); }
   if (char(save) <> 0)      { ERROR("characteristic of basering has to be 0"); }
   // creating the homogenized extended Weyl algebra
   list RL = ringlist(save);
+  RL = RL[1..4]; // if basering is commutative nc_algebra
   list C0 = list("C",intvec(0));
   // 1. get the weighted degree of f
@@ -1779 +1780 @@
 }
 
-static proc dmodappassumeViolation()
+proc dmodappassumeViolation()
 {
   // returns Boolean : yes/no [for assume violation]
   // char K = 0
   // no qring
-  // input poly/ideal is nonzero ?
-  if ( (char(basering) !=0 ) || (nvars(basering) != gkdim(std(0)) ) )
-  {
+  if (  (size(ideal(basering)) >0) || (char(basering) >0) )
+  {
+    //    "ERROR: no qring is allowed";
     return(1);
   }