gbvector_get_lead_monomial()

void GBRing::gbvector_get_lead_monomial	(	const FreeModule *	F,
		const gbvector *	f,
		int *	result )

Definition at line 528 of file gbring.cpp.

{
  const SchreyerOrder *S;
  if (_schreyer_encoded && (S = F->get_schreyer_order()) != nullptr && f->comp > 0)
    S->schreyer_down(f->monom, f->comp - 1, result);
  else
    M->copy(f->monom, result);
}

References _schreyer_encoded, gbvector::comp, FreeModule::get_schreyer_order(), M, gbvector::monom, result(), and SchreyerOrder::schreyer_down().

Referenced by gbvector_multidegree(), PolyRing::translate_gbvector_to_vec(), and PolyRing::translate_gbvector_to_vec_QQ().