vec_eval()

vec Ring::vec_eval	(	const RingMap *	map,
		const FreeModule *	F,
		const vec	v ) const

Definition at line 354 of file ring-vecs.cpp.

{
  (void) F;
  const Ring *targetRing = map->get_ring();
 
  vecterm head;
  vec result = &head;
 
  for (vec t = v; t != nullptr; t = t->next)
    {
      ring_elem a = eval(map, t->coeff, 0);  // a is now in the target ring
      if (!targetRing->is_zero(a))
        {
          result->next = targetRing->make_vec(t->comp, a);
          result = result->next;
        }
    }
  result->next = nullptr;
  return head.next;
}

References eval(), is_zero(), make_vec(), vec::next, result(), and Ring().

Referenced by RingMap::eval().