Package edu.jas.gb

Class GBSigBased<C extends edu.jas.structure.GcdRingElem<C>>

  • All Implemented Interfaces:
    edu.jas.gb.GroebnerBase<C>, java.io.Serializable

    public class GBSigBased<C extends edu.jas.structure.GcdRingElem<C>>
    extends edu.jas.gb.GroebnerBaseAbstract<C>
    Groebner bases via signatur based GBs using jython script. TODO: Computing via the ScriptEngine is way slower than the direct execution in the jython interpreter. Check if a different engine is in the path or if it must be configured in some special way.
    Author:
    Heinz Kredel
    See Also:
    Serialized Form
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  GBSigBased.GBAlgo
      GB algorithm indicators: sbgb = sigbased_gb(), arri = arris_algorithm(), ggv = ggv(), ggv1 = ggv_first_implementation(), f5 = f5(), ff5 = f5z().
    • Field Summary

      Fields 
      Modifier and Type Field Description
      GBSigBased.GBAlgo algo
      Selected GB algorithm.
      javax.script.ScriptEngine engine
      Scripting engine.
      • Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

        blas, red, strategy
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int cancel()
      Cancel ThreadPool.
      java.util.List<edu.jas.poly.GenPolynomial<C>> GB​(int modv, java.util.List<edu.jas.poly.GenPolynomial<C>> F)
      Groebner base.
      void terminate()
      Cleanup and terminate ThreadPool.
      java.lang.String toString()
      Get the String representation with GB engine.
      • Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

        commonZeroTest, constructUnivariate, criterion3, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, univariateDegrees
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • engine

        public final javax.script.ScriptEngine engine
        Scripting engine.
    • Method Detail

      • toString

        public java.lang.String toString()
        Get the String representation with GB engine.
        Overrides:
        toString in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>
        See Also:
        Object.toString()
      • terminate

        public void terminate()
        Cleanup and terminate ThreadPool.
        Overrides:
        terminate in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>
      • cancel

        public int cancel()
        Cancel ThreadPool.
        Overrides:
        cancel in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>
      • GB

        public java.util.List<edu.jas.poly.GenPolynomial<C>> GB​(int modv,
                                                                java.util.List<edu.jas.poly.GenPolynomial<C>> F)
        Groebner base.
        Parameters:
        modv - module variable number.
        F - polynomial list.
        Returns:
        GB(F) a Groebner base of F.