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

◆ syzygy()

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

Implements Ring.

Definition at line 294 of file ZZp.cpp.

298{
299 assert(!Z_mod::is_zero(b));
300 x = Z_mod::from_long(1);
301 y = Z_mod::divide(a, b);
302 y = ring_elem(internal_negate(y.get_int()));
303}
virtual ring_elem from_long(long n) const
Definition ZZp.cpp:132
int internal_negate(int f) const
Definition ZZp.cpp:208
virtual bool is_zero(const ring_elem f) const
Definition ZZp.cpp:188
virtual ring_elem divide(const ring_elem f, const ring_elem g) const
Definition ZZp.cpp:286
volatile int x
int get_int() const
Definition ringelem.hpp:124

References divide(), from_long(), ring_elem::get_int(), internal_negate(), is_zero(), and x.