from_vector()

res2term * res2_poly::from_vector	(	const VECTOR(res2_pair *)&	base,
		const vec	v ) const

Definition at line 295 of file res-a0-poly.cpp.

{
  res2term head;
  res2term *result = &head;
 
  for (vecterm *w = v; w != nullptr; w = w->next)
    for (Nterm& t : w->coeff)
      {
        result->next = new_term();
        result = result->next;
        result->comp = base[w->comp];
        result->coeff = t.coeff;
        M->copy(t.monom, result->monom);
        M->mult(result->monom, result->comp->syz->monom, result->monom);
      }
  result->next = nullptr;
  // Now we must sort these
  sort(head.next);
  return head.next;
}

References base, Nterm::coeff, M, Nterm::monom, new_term(), res2term::next, result(), and sort().