Changeset e9c3b2 in git for kernel/ideals.h

Timestamp:

Mar 15, 2011, 7:17:47 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

92e0ebb492f002a11e78b302b3758d32aedea17e

Parents:

1ed3466deda30d9e243b441fb4bc4e0c4729cf69

Message:

ADD: intvec: new view() method
ADD: some debug for NF strategy object
ADD: idSize

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

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

File:

• kernel/ideals.h (modified) (2 diffs)

kernel/ideals.h

@@ -54 +54 @@
 #endif
 ideal idCopyFirstK (const ideal ide, const int k);
-/*- deletes an ideal -*/
+
+/// delete an ideal
 #define idDelete(h) id_Delete(h, currRing)
 void id_Delete (ideal* h, ring r);
 void id_ShallowDelete (ideal* h, ring r);
-  /*- initialise an ideal -*/
+/*- initialise an ideal -*/ // ?
+
+/// initialise the maximal ideal (at 0)
 ideal idMaxIdeal (int deg);
-  /*- initialise the maximal ideal (at 0) -*/
+
+/// gives an ideal the minimal possible size
 void idSkipZeroes (ideal ide);
-/* index of generator with leading term in ground ring (if any);
-   otherwise -1 */
+
+/// index of generator with leading term in ground ring (if any); otherwise -1
 int idPosConstant (ideal id);
-  /*gives an ideal the minimal possible size*/
+
+/// Count the effective size of an ideal
+/// (without the trailing allocated zero-elements)
+static inline int idSize(const ideal id)
+{
+  int j = IDELEMS(id) - 1;
+  poly* mm = id->m;
+  while ((j >= 0) && (mm[j] == NULL)) j--;
+  return (j + 1); 
+};
+
 void idNorm(ideal id);
 void idDelMultiples(ideal id);
@@ -207 +221 @@
 ideal id_TensorModuleMult(const int m, const ideal M, const ring rRing = currRing); // image of certain map for BGG
 
-#ifndef NDEBUG
+#ifdef PDEBUG
 /* Shows an ideal -- only for debugging */
 void idShow(const ideal id, const ring lmRing = currRing, const ring tailRing = currRing, const int debugPrint = 0);
-#endif
-#endif
+#else
+#define idShow(id, lmRing, tailRing, debugPrint) ((void)0)
+#endif
+#endif