syzygy()

void M2FreeAlgebraQuotient::syzygy ( const ring_elem a, const ring_elem b, ring_elem & x, ring_elem & y ) const

virtual

Implements Ring.

Definition at line 260 of file M2FreeAlgebraQuotient.cpp.

{
  (void) a;
  (void) b;
  (void) x;
  (void) y;
  // TODO: In the commutative case, this function is to find x and y (as simple as possible)
  //       such that ax + by = 0.  No such x and y may exist in the noncommutative case, however.
  //       In this case, the function should return x = y = 0.
}

References x.