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, 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.