syzygy()

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

inline

Definition at line 393 of file aring-gf-flint.hpp.

  {
    assert(not is_zero(a));
    assert(not 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.