gb()

void gb ( IntermediateBasis & F, int n )

extern

Definition at line 434 of file franzi-gb.cpp.

{
  int nextIndex = static_cast<int>(F.size());
  rearrangeBasis(F, -1);
  interreduction(F);
  Pairs B = makeList(F, n);
  // unsigned int countAddPoly = 0;
  // unsigned int numSPoly= 0;
  int interreductionCounter = 0;
  while (!B.empty())
    {
      Pair pair = *(B.begin());
      B.erase(B.begin());
      if (isGoodPair(pair, F, B, n))
        {
          // numSPoly++;
          BRP S = sPolynomial(pair, F, n);
          reduce(S, F);
          if (!S.isZero())
            {
              // countAddPoly++;
              F[nextIndex] = S;
              if (interreductionCounter == 5)
                {
                  interreductionCounter = 0;
                  interreduction(F);
                  B = makeList(F, n);
                }
              else
                {
                  interreductionCounter++;
                  Pairs newList = makeNewPairs(nextIndex, F, n);
                  B.insert(newList.begin(), newList.end());
                }
              nextIndex++;
            }
        }
    }
  interreduction(F);
  // cout << "we computed " << numSPoly << " S Polynomials and added " <<
  // countAddPoly << " of them to the intermediate basis." << endl;
}

References interreduction(), isGoodPair(), BRP::isZero(), makeList(), makeNewPairs(), rearrangeBasis(), reduce(), and sPolynomial().

Referenced by gbA::auto_reduce_by(), gb2_comp::calc_gb(), gb2_comp::change_matrix(), gbA::computation_is_complete(), gbA::compute_s_pair(), constructWordTable(), GBDeclared::create(), GBDeclared::create(), GB_comp::create_forced(), gbA::create_forced(), gbA::do_computation(), gb2_comp::end_degree(), gbA::find_good_divisor(), gbA::find_good_monomial_divisor_ZZ(), gbA::find_good_term_divisor_ZZ(), gb2_comp::gb_insert(), gb2_comp::gb_matrix(), gb2_comp::gb_sort_partition(), GBDeclared::GBDeclared(), GBDeclared::GBDeclared(), gbA::gbelem_text_out(), F4Computation::get_gb(), gbA::get_mingens(), IM2_GB_force(), gb2_comp::initial_matrix(), gbA::initialize(), GB_comp::initialize_forced(), gbA::insert_gb(), gbA::is_gcd_one_pair(), gb2_comp::make_lead_term_matrix(), gbA::make_lead_term_matrix(), MarkedGB_sorter::MarkedGB_sorter(), gb2_comp::min_gens_matrix(), gbA::minimalize_gb(), gbA::minimalize_pairs_ZZ(), NCBasis::NCBasis(), ncBasis(), MarkedGB_sorter::operator()(), ReducedGB_Field_Local_sorter::operator()(), ReducedGB_Field_sorter::operator()(), ReducedGB_ZZ_sorter::operator()(), gbA::pair_not_needed(), F4toM2Interface::poly_set_degrees(), rawGbBoolean(), rawGroebnerWalk(), rawMarkedGB(), gbA::reduce_kk(), gbA::reduce_ZZ(), ReducedGB_Field_Local_sorter::ReducedGB_Field_Local_sorter(), ReducedGB_Field_sorter::ReducedGB_Field_sorter(), ReducedGB_ZZ_sorter::ReducedGB_ZZ_sorter(), gbA::remainder_non_ZZ(), gbA::remainder_ZZ(), gbA::remove_gb(), gbA::remove_unneeded_pairs(), gbA::replace_gb_element_ZZ(), gbA::show(), gbA::show_mem_usage(), gbA::spair_COMPONENT(), gbA::spair_is_retired(), gbA::spair_make(), gbA::spair_make_skew(), gbA::spair_set_lead_spoly(), gb2_comp::stats(), gbA::tail_remainder_ZZ(), gb2_comp::text_out(), gbA::text_out(), F4toM2Interface::to_M2_MutableMatrix(), gbA::update_pairs(), gb2_comp::VECTOR(), gbA::VECTOR(), MarkedGB_sorter::VECTOR(), ReducedGB_Field_Local_sorter::VECTOR(), ReducedGB_Field_sorter::VECTOR(), ReducedGB_ZZ_sorter::VECTOR(), and gb2_comp::~gb2_comp().