Changeset b3ea61f in git

Timestamp:

Oct 6, 2008, 7:34:18 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

40cb868fa73b4b919663ea7103e36b4df054e48e

Parents:

886b0dae50b58b9f8b0863c63abf2f0ddacf9a26

Message:

*hannes: cannot compare ideal, int


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

Location:

Singular/LIB

Files:

• central.lib (modified) (3 diffs)
• equising.lib (modified) (4 diffs)

Singular/LIB/central.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: central.lib,v 1.5 2008-04-23 14:06:09 motsak Exp $"
+version="$Id: central.lib,v 1.6 2008-10-06 17:33:57 Singular Exp $"
 category="Noncommutative"
 info="
@@ -705 +705 @@
 
   // check result of linearMapKernel
-  if( (typeof(T) == "int") and (T == 0) )
+  if( typeof(T) == "int" )
+  {
+    if( T == 0 )
     {
       // All zeroes! Return Basis:
@@ -711 +713 @@
       return( Basis );
     }
+  }
   else
-    {
-      if( typeof(T) != "module" )
-        {
-          ERROR( "Wrong output from the 'linearMapKernel' function!" );
-        }
-    }
+  {
+    if( typeof(T) != "module" )
+    {
+       ERROR( "Wrong output from the 'linearMapKernel' function!" );
+    }
+  }
 
   result = linearCombinations( Basis, T );

Singular/LIB/equising.lib

@@ -1 @@
-version="$Id: equising.lib,v 1.18 2008-10-06 17:04:26 Singular Exp $";
+version="$Id: equising.lib,v 1.19 2008-10-06 17:34:18 Singular Exp $";
 category="Singularities";
 info="
@@ -359 +359 @@
   {
     charaStr = charstr(basering);
-    if (charaStr == string(chara) + "," + parstr(basering) or minPolyStr<>"")
+    if ((charaStr == string(chara) + "," + parstr(basering)) or (minPolyStr<>""))
     {
       if (minPolyStr<>"")
@@ -442 +442 @@
     ideal qIdeal = imap(myRing1, qIdeal);
 
-    if(qIdeal != 0)
+    if(size(qIdeal) != 0)
     {
       def r_base = basering;
@@ -457 +457 @@
   else
   {
-    if(qIdeal != 0)
+    if(size(qIdeal) != 0)
     {
       def r_base = basering;