OrderedPairlist
edu.jas.ps

Class OrderedPairlist<C extends RingElem<C>>



  • public class OrderedPairlist<C extends RingElem<C>>extends Object
    Pair list management. Implemented using MultiVarPowerSeries, TreeMap and BitSet.
    • Constructor Detail

      • OrderedPairlist

        public OrderedPairlist(MultiVarPowerSeriesRing<C> r)
        Constructor for OrderedPairlist.
        Parameters:
        r - power series factory.
      • OrderedPairlist

        public OrderedPairlist(int m,               MultiVarPowerSeriesRing<C> r)
        Constructor for OrderedPairlist.
        Parameters:
        m - number of module variables.
        r - power series factory.
    • Method Detail

      • put

        public int put(MultiVarPowerSeries<C> p)
        Put one power Series to the pairlist and reduction matrix.
        Parameters:
        p - power series.
        Returns:
        the index of the added power series.
      • removeNext

        public Pair<C> removeNext()
        Remove the next required pair from the pairlist and reduction matrix. Apply the criterions 3 and 4 to see if the S-power-series is required.
        Returns:
        the next pair if one exists, otherwise null.
      • hasNext

        public boolean hasNext()
        Test if there is possibly a pair in the list.
        Returns:
        true if a next pair could exist, otherwise false.
      • putCount

        public int putCount()
        Get the number of power series put to the pairlist.
        Returns:
        the number of calls to put.
      • remCount

        public int remCount()
        Get the number of required pairs removed from the pairlist.
        Returns:
        the number of non null pairs delivered.
      • putOne

        public int putOne(MultiVarPowerSeries<C> one)
        Put to ONE-power-series to the pairlist.
        Parameters:
        one - power series. (no more required)
        Returns:
        the index of the last power series.
      • putOne

        public int putOne()
        Put the ONE-power-series to the pairlist.
        Returns:
        the index of the last power-series.
      • criterion3

        public boolean criterion3(int i,                 int j,                 ExpVector eij)
        GB criterion 3.
        Returns:
        true if the S-power-series(i,j) is required.

SCaVis 2.1 © jWork.ORG