Package edu.jas.ps

Class OrderedPairlist<C extends RingElem<C>>

java.lang.Object
edu.jas.ps.OrderedPairlist<C>

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

  • Constructor Details

    • 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 Details

    • toString

      public String toString()
      toString.
      Overrides:
      toString in class Object
    • 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.
    • put

      public int put(List<MultiVarPowerSeries<C>> F)
      Put all power series in F to the pairlist and reduction matrix.
      Parameters:
      F - power series list.
      Returns:
      the index of the last 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.
    • getList

      public List<MultiVarPowerSeries<C>> getList()
      Get the list of power series.
      Returns:
      the power series list.
    • 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.