Changeset dd5534 in git for kernel/polys1.cc

Timestamp:

Mar 15, 2011, 3:45:13 PM (12 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

91b031a4e88cb480f4ba993bf5904694c62d9b34

Parents:

c4dab43d69dd36ed09ba07d4e771236f8a7bcc39

Message:

fixed dim of ideal and sum of ideals over rings (with Anne)

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

File:

• kernel/polys1.cc (modified) (1 diff)

kernel/polys1.cc

@@ -1717 +1717 @@
   if (pLength(p1) != pLength(p2))
     return FALSE;
+#ifdef HAVE_RINGS
+  if (rField_is_Ring(currRing))
+  {
+    if ((pLength(p1) == 1) && (nEqual(pGetCoeff(p1), pGetCoeff(p2))))
+      return TRUE;
+    if (!nIsUnit(pGetCoeff(p2))) return FALSE;
+  }
+#endif
   n=nDiv(pGetCoeff(p1),pGetCoeff(p2));
   while ((p1 != NULL) /*&& (p2 != NULL)*/)