text_out() [2/3]

void res_comp::text_out	(	buffer &	o,
		const res_pair *	p ) const

Definition at line 1227 of file res-a1.cpp.

{
  res_pair *a = p->first;
  res_pair *b = p->second;  // possibly NULL
  o << p->me << ' ';
  if (a != nullptr)
    o << a->me << ' ';
  else
    o << ". ";
  if (b != nullptr)
    o << b->me << ' ';
  else
    o << ". ";
 
  o << p->compare_num << ' ';
 
  switch (p->syz_type)
    {
      case SYZ_S_PAIR:
        o << "PR";
        break;
      case SYZ_GEN:
        o << "GN";
        break;
      case SYZ_MINIMAL:
        o << "SZ";
        break;
      case SYZ_NOT_MINIMAL:
        o << "GB";
        break;
      case SYZ_NOT_NEEDED:
        o << "NO";
        break;
      default:
        break;
    }
 
#if 0
//   if (p->mi_exists)
#endif
  o << "[mi: " << p->mi->size() << "]";
#if 0
//   else
//     {
//       res_pair *q = p->next_div;
//       int n = 0;
//       while (q != NULL) { n++; q = q->next_div; }
//       o << "[midiv: " << n << "]";
//     }
#endif
  M->elem_text_out(o, p->base_monom);
  if (M2_gbTrace >= 3)
    {
      // Display the vector
      o << " syz: ";
      R->elem_text_out(o, p->syz);
    }
  o << newline;
}

References M, M2_gbTrace, res_pair::me, newline, p, R, SYZ_GEN, SYZ_MINIMAL, SYZ_NOT_MINIMAL, SYZ_NOT_NEEDED, and SYZ_S_PAIR.