◆ add_constant_get_position()

template<class Field>

int add_constant_get_position	(	gc_vector< typename Field::element_type > &	consts,
		typename Field::element_type	c )

!! smarter implementation coming !!!

Definition at line 226 of file NAG.cpp.

{
  consts.push_back(c);
  return static_cast<int>(consts.size()) - 1;
}