Package edu.jas.gb
Class SolvableMiReducer<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.SolvableMiReducer<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
java.lang.Runnable
class SolvableMiReducer<C extends RingElem<C>> extends java.lang.Object implements java.lang.Runnable
Reducing worker threads for minimal GB.
-
-
Field Summary
Fields Modifier and Type Field Description private static boolean
debug
private java.util.concurrent.Semaphore
done
private java.util.List<GenSolvablePolynomial<C>>
G
private GenSolvablePolynomial<C>
H
private static org.apache.logging.log4j.Logger
logger
private SolvableReductionPar<C>
sred
-
Constructor Summary
Constructors Constructor Description SolvableMiReducer(java.util.List<GenSolvablePolynomial<C>> G, GenSolvablePolynomial<C> p)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description GenSolvablePolynomial<C>
getNF()
getNF.void
run()
-
-
-
Field Detail
-
G
private final java.util.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 java.util.concurrent.Semaphore done
-
logger
private static final org.apache.logging.log4j.Logger logger
-
debug
private static final boolean debug
-
-
Constructor Detail
-
SolvableMiReducer
SolvableMiReducer(java.util.List<GenSolvablePolynomial<C>> G, GenSolvablePolynomial<C> p)
-
-
Method Detail
-
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 interfacejava.lang.Runnable
-
-