edu.jas.gb.SolvableMiReducer<C>

class SolvableMiReducer<C extends RingElem<C>> extends Object implements Runnable

Reducing worker threads for minimal GB.

Field Details
- G
  
  private final List<GenSolvablePolynomial<C extends RingElem<C>>> G
- H
  
  private GenSolvablePolynomial<C extends RingElem<C>> H
- sred
  
  private final SolvableReductionPar<C extends RingElem<C>> sred
- done
  
  private final Semaphore done
- logger
  
  private static final org.apache.logging.log4j.Logger logger
- debug
  
  private static final boolean debug
Constructor Details
- SolvableMiReducer
  
  SolvableMiReducer(List<GenSolvablePolynomial<C>> G, GenSolvablePolynomial<C> p)
Method Details
- getNF
  
  public GenSolvablePolynomial<C> getNF()
  
  getNF. Blocks until the normal form is computed.
  
  Returns:
  
  the computed normal form.
- run
  
  public void run()
  
  Specified by:
  
  run in interface Runnable

Class SolvableMiReducer<C extends RingElem<C>>

Field Summary