Package edu.jas.gbufd

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.
See Also:
  • Field Details

    • logger

      private static final org.apache.logging.log4j.Logger logger
    • debug

      private static final boolean debug
    • bb

      protected GroebnerBaseAbstract<C extends GcdRingElem<C>> bb
      Groebner base engine.
  • Constructor Details

    • SyzygySeq

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

    • resolution

      public List<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<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.