Package edu.jas.gbufd

Class SolvableSyzygySeq<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Implemented Interfaces:
    SolvableSyzygy<C>, java.io.Serializable

    public class SolvableSyzygySeq<C extends GcdRingElem<C>>
    extends SolvableSyzygyAbstract<C>
    Syzygy sequential class for solvable polynomials. Implements Syzygy computations and tests with Groebner bases.
    See Also:
    Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
      • assertEnabled

        private static boolean assertEnabled
    • Constructor Detail

      • SolvableSyzygySeq

        public SolvableSyzygySeq​(RingFactory<C> cf)
        Constructor.
        Parameters:
        cf - coefficient ring.
    • Method Detail

      • resolution

        public java.util.List<SolvResPart<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 java.util.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 java.util.List<SolvResPart<C>> resolutionArbitrary​(ModuleList<C> M)
        Resolution of a module.
        Parameters:
        M - a module list of an arbitrary basis.
        Returns:
        a resolution of M.
      • resolutionArbitrary

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

        public java.util.List<java.util.List<GenSolvablePolynomial<C>>> leftZeroRelationsArbitrary​(int modv,
                                                                                                   java.util.List<GenSolvablePolynomial<C>> F)
        Left syzygy module from arbitrary base.
        Parameters:
        modv - number of module variables.
        F - a solvable polynomial list.
        Returns:
        syz(F), a basis for the module of left syzygies for F.