Uses of Class
edu.jas.gb.SigPoly

Packages that use SigPoly

Package	Description
edu.jas.gb	Groebner bases package.

Uses of SigPoly in edu.jas.gb

Fields in edu.jas.gb declared as SigPoly

Modifier and Type	Field	Description
SigPoly<C>	SigPair.pi
SigPoly<C>	SigPair.pj

Fields in edu.jas.gb with type parameters of type SigPoly

Modifier and Type	Field	Description
java.util.List<SigPoly<C>>	SigPair.Gs

Methods in edu.jas.gb that return SigPoly

Modifier and Type	Method	Description
(package private) SigPoly<C>	GroebnerBaseArriSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
(package private) SigPoly<C>	GroebnerBaseF5zSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
(package private) SigPoly<C>	GroebnerBaseSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
SigPoly<C>	SigReduction.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Normalform.
SigPoly<C>	SigReductionSeq.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
SigPoly<C>	SigReductionSeq.sigSemiNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top semi-complete normalform.

Methods in edu.jas.gb with parameters of type SigPoly

Modifier and Type	Method	Description
boolean	SigReduction.isSigNormalform(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is in Normalform.
boolean	SigReductionSeq.isSigNormalform(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is in top normalform.
boolean	SigReduction.isSigReducible(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is top reducible.
boolean	SigReductionSeq.isSigReducible(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is top reducible.
boolean	SigReductionSeq.isSigRedundant(java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is sigma redundant.
boolean	SigReductionSeq.isSigRedundantAlt(java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is sigma redundant, alternative algorithm.
(package private) SigPair<C>	GroebnerBaseArriSigSeqIter.newPair(SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseArriSigSeqIter.newPair(GenPolynomial<C> s, SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseSigSeqIter.newPair(SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseSigSeqIter.newPair(GenPolynomial<C> s, SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPoly<C>	GroebnerBaseArriSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
(package private) SigPoly<C>	GroebnerBaseF5zSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
(package private) SigPoly<C>	GroebnerBaseSigSeqIter.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
SigPoly<C>	SigReduction.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Normalform.
SigPoly<C>	SigReductionSeq.sigNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top normalform.
SigPoly<C>	SigReductionSeq.sigSemiNormalform(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Top semi-complete normalform.
(package private) GenPolynomial<C>	GroebnerBaseGGVSigSeqIter.SPolynomial(SigPoly<C> A, SigPoly<C> B)	S-Polynomial.
(package private) GenPolynomial<C>	GroebnerBaseSigSeqIter.SPolynomial(SigPoly<C> A, SigPoly<C> B)	S-Polynomial.
GenPolynomial<C>	SigReduction.SPolynomial(SigPoly<C> Ap, SigPoly<C> Bp)	S-Polynomial.
GenPolynomial<C>	SigReductionSeq.SPolynomial(SigPoly<C> A, SigPoly<C> B)	S-Polynomial.
ExpVector[]	SigReductionSeq.SPolynomialExpVectorFactors(SigPoly<C> A, SigPoly<C> B)	S-Polynomial factors.
(package private) GenPolynomial<C>[]	GroebnerBaseSigSeqIter.SPolynomialFactors(SigPoly<C> A, SigPoly<C> B)	S-Polynomial polynomial factors.
GenPolynomial<C>[]	SigReductionSeq.SPolynomialFactors(SigPoly<C> A, SigPoly<C> B)	S-Polynomial polynomial factors.
GenPolynomial<C>	SigReductionSeq.SPolynomialHalf(SigPoly<C> A, SigPoly<C> B)	S-Polynomial half.
(package private) void	GroebnerBaseArriSigSeqIter.updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)	Update syzygy list.
(package private) void	GroebnerBaseF5zSigSeqIter.updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)	Update syzygy list.
(package private) void	GroebnerBaseGGVSigSeqIter.updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)	Update syzygy list.
(package private) void	GroebnerBaseSigSeqIter.updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)	Update syzygy list.

Method parameters in edu.jas.gb with type arguments of type SigPoly

Modifier and Type	Method	Description
boolean	SigReduction.isSigNormalform(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is in Normalform.
boolean	SigReductionSeq.isSigNormalform(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is in top normalform.
boolean	SigReduction.isSigReducible(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is top reducible.
boolean	SigReductionSeq.isSigReducible(java.util.List<SigPoly<C>> F, java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is top reducible.
boolean	SigReductionSeq.isSigRedundant(java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is sigma redundant.
boolean	SigReductionSeq.isSigRedundantAlt(java.util.List<SigPoly<C>> G, SigPoly<C> A)	Is sigma redundant, alternative algorithm.
(package private) SigPair<C>	GroebnerBaseArriSigSeqIter.newPair(SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseArriSigSeqIter.newPair(GenPolynomial<C> s, SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseSigSeqIter.newPair(SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
(package private) SigPair<C>	GroebnerBaseSigSeqIter.newPair(GenPolynomial<C> s, SigPoly<C> A, SigPoly<C> B, java.util.List<SigPoly<C>> G)	Pair with signature.
java.util.List<GenPolynomial<C>>	SigReductionSeq.polys(java.util.List<SigPoly<C>> F)	Select polynomials.

Constructors in edu.jas.gb with parameters of type SigPoly

Constructor	Description
SigPair(ExpVector sig, SigPoly<C> a, SigPoly<C> b, java.util.List<SigPoly<C>> Gs)	SigPair constructor.
SigPair(GenPolynomial<C> sig, SigPoly<C> a, SigPoly<C> b, java.util.List<SigPoly<C>> Gs)	SigPair constructor.

Constructor parameters in edu.jas.gb with type arguments of type SigPoly

Constructor	Description
SigPair(ExpVector sig, SigPoly<C> a, SigPoly<C> b, java.util.List<SigPoly<C>> Gs)	SigPair constructor.
SigPair(GenPolynomial<C> sig, SigPoly<C> a, SigPoly<C> b, java.util.List<SigPoly<C>> Gs)	SigPair constructor.