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

◆ syzygy()

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

Definition at line 417 of file aring-gf-flint-big.hpp.

424 {
425 assert(not is_zero(a));
426 assert(not is_zero(b));
427 set_from_long(x, 1);
428 divide(y, a, b);
429 negate(y, y);
430 }
void negate(ElementType &result, const ElementType &a) const
void divide(ElementType &result, const ElementType &a, const ElementType &b) const
bool is_zero(const ElementType &f) const
void set_from_long(ElementType &result, long a) const
volatile int x

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