gbvector_get_lead_exponents()

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

Definition at line 541 of file gbring.cpp.

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

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

Referenced by find_reduction_coeffs(), find_reduction_coeffs_ZZ(), gbvector_cancel_lead_terms(), gbvector_combine_lead_terms_ZZ(), QRingInfo_field_basic::gbvector_normal_form(), QRingInfo_field_QQ::gbvector_normal_form(), QRingInfo_field_QQ::gbvector_normal_form(), QRingInfo_ZZ::gbvector_normal_form(), and GBRingSkew::mult_by_term1().