Modifier and Type | Field and Description |
---|---|
java.util.List<SigPoly<C>> |
Gs |
SigPoly<C> |
pi |
SigPoly<C> |
pj |
GenPolynomial<C> |
sigma |
Constructor and 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.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(SigPair<C> p)
compareTo used in TreeMap // not used at moment.
|
boolean |
equals(java.lang.Object ob)
equals.
|
int |
hashCode()
Hash code for this SigPair.
|
java.lang.String |
toString()
toString.
|
public final GenPolynomial<C extends RingElem<C>> sigma
public SigPair(ExpVector sig, SigPoly<C> a, SigPoly<C> b, java.util.List<SigPoly<C>> Gs)
sig
- signature of pair.a
- polynomial i.b
- polynomial j.public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object ob)
equals
in class java.lang.Object
ob
- an Object.public int compareTo(SigPair<C> p)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()