syzygy()

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

pure virtual

Implemented in FractionField, GF, LocalRing, M2::ConcreteRing< RingType >, M2::ConcreteRing< ARingQQ >, M2::ConcreteRing< M2::ARingCCC >, M2::ConcreteRing< M2::ARingRRR >, M2FreeAlgebra, M2FreeAlgebraQuotient, PolyRing, PolyRingQuotient, RingZZ, SchurRing2, Tower, and Z_mod.

References x.

Referenced by GBDeclared::GBDeclared(), GBDeclared::GBDeclared(), GBKernelComputation::geo_reduce(), and GBKernelComputation::reduce().