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

◆ syzygy()

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

Definition at line 73 of file aring-qq-flint.cpp.

77{
78 assert(!is_zero(b));
79 set_from_long(x, 1);
80 divide(y, a, b);
81 negate(y, y);
82}
void divide(ElementType &result, const ElementType &a, const ElementType &b) const
test doc
void negate(ElementType &result, const ElementType &a) const
void set_from_long(ElementType &result, long a) const
bool is_zero(const ElementType &f) const
volatile int x

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