Macaulay2 Engine
Loading...
Searching...
No Matches

◆ negate()

ring_elem PolyRing::negate ( const ring_elem f) const
virtual

Implements Ring.

Definition at line 750 of file poly.cpp.

751{
752 Nterm head;
753 Nterm *result = &head;
754 for (Nterm& a : f)
755 {
756 result->next = new_term();
757 result = result->next;
758 result->coeff = K_->negate(a.coeff);
759 M_->copy(a.monom, result->monom);
760 }
761 result->next = nullptr;
762 return head.next;
763}
Nterm * new_term() const
Definition poly.cpp:146
const Ring * K_
Definition polyring.hpp:123
const Monoid * M_
Definition polyring.hpp:124
VALGRIND_MAKE_MEM_DEFINED & result(result)
Nterm * next
Definition ringelem.hpp:157

References PolynomialRing::K_, PolynomialRing::M_, new_term(), Nterm::next, and result().

Referenced by subtract(), and syzygy().