Definition at line 399 of file gb-default.cpp.
400{
402 {
403 o << "removed";
404 }
405 else
406 {
410 if (ismingb)
411 o << "GB elem: ";
412 else
413 o << "reducer: ";
414 o << "g" << i << " = ";
415 R->gbvector_text_out(o,
_F,
gb[i]->g.f, nterms);
416 o << " ["
417 <<
"gap " <<
gb[i]->gap <<
" size " <<
gb[i]->
size <<
" deg "
419 if (ismingen) o << " mingen";
420 o << "]";
421 }
422}
void gb(IntermediateBasis &F, int n)
References _F, ELEM_MINGB, ELEM_MINGEN, gb(), and R.
Referenced by insert_gb(), replace_gb_element_ZZ(), and show().