Class SyzygySeq<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.gbufd.SyzygyAbstract<C>
edu.jas.gbufd.SyzygySeq<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
Syzygy<C>, Serializable
public class SyzygySeq<C extends GcdRingElem<C>> extends SyzygyAbstract<C>
SyzygySeq class. Implements Syzygy computations and tests.
Author:
Heinz Kredel
See Also:

  • Field Details

  • Constructor Details

    • SyzygySeq

      public SyzygySeq(RingFactory<C> cf)
      Constructor.
      Parameters:
      cf - coefficient ring.

  • Method Details

    • resolution

      public List<edu.jas.gbufd.ResPart<C>> resolution(ModuleList<C> M)
      Resolution of a module. Only with direct GBs.
      Parameters:
      M - a module list of a Groebner basis.
      Returns:
      a resolution of M.

    • resolution

      public List resolution(PolynomialList<C> F)
      Resolution of a polynomial list. Only with direct GBs.
      Parameters:
      F - a polynomial list of a Groebner basis.
      Returns:
      a resolution of F.

    • resolutionArbitrary

      public List resolutionArbitrary(PolynomialList<C> F)
      Resolution of a polynomial list.
      Parameters:
      F - a polynomial list of an arbitrary basis.
      Returns:
      a resolution of F.

    • resolutionArbitrary

      public List<edu.jas.gbufd.ResPart<C>> resolutionArbitrary(ModuleList<C> M)
      Resolution of a module.
      Parameters:
      M - a module list of an arbitrary basis.
      Returns:
      a resolution of M.

    • zeroRelationsArbitrary

      public List<List<GenPolynomial<C>>> zeroRelationsArbitrary(int modv, List<GenPolynomial<C>> F)
      Syzygy module from arbitrary base.
      Parameters:
      modv - number of module variables.
      F - a polynomial list.
      Returns:
      syz(F), a basis for the module of syzygies for F.