Function idInsertPoly

libpolys/polys/simpleideals.cc:831–847

insert h2 into h1 (if h2 is not the zero polynomial) return TRUE iff h2 was indeed inserted

/// insert h2 into h1 (if h2 is not the zero polynomial)
/// return TRUE iff h2 was indeed inserted
BOOLEAN idInsertPoly (ideal h1, poly h2)
{
  if (h2==NULL) return FALSE;
  assume (h1 != NULL);

  int j = IDELEMS(h1) - 1;

  while ((j >= 0) && (h1->m[j] == NULL)) j--;
  j++;
  if (j==IDELEMS(h1))
  {
    pEnlargeSet(&(h1->m),IDELEMS(h1),16);
    IDELEMS(h1)+=16;
  }
  h1->m[j]=h2;
  return TRUE;
}

/// insert p into I on position pos
BOOLEAN idInsertPolyOnPos (ideal I, poly p,int pos)