syzygy()

void M2::ARingQQGMP::syzygy	(	const ElementType &	a,
		const ElementType &	b,
		ElementType &	x,
		ElementType &	y ) const

Definition at line 64 of file aring-qq-gmp.cpp.

{
  assert(!is_zero(b));
  set_from_long(x, 1);
  divide(y, a, b);
  negate(y, y);
}

References divide(), is_zero(), negate(), set_from_long(), and x.