 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
40 bool removeContents=
true);
55 bool removeContents=
true);
CFList charSet(const CFList &PS)
characteristic set
CFList modCharSet(const CFList &PS, StoreFactors &StoredFactors, bool removeContents=true)
modified medial set
class to store factors that get removed during char set computation
Varlist neworder(const CFList &PolyList)
IntList neworderint(const CFList &PolyList)
CFList charSetViaCharSetN(const CFList &PS)
compute a characteristic set via medial set
CFList charSetN(const CFList &PS)
medial set
ListCFList irrCharSeries(const CFList &PS)
irreducible characteristic series
ListCFList charSeries(const CFList &L)
characteristic series
CFList newordercf(const CFList &PolyList)
CFList charSetViaModCharSet(const CFList &PS, StoreFactors &StoredFactors, bool removeContents=true)
modified characteristic set, i.e. a characteristic set with certain factors removed
CFList basicSet(const CFList &PS)
basic set in the sense of Wang a.k.a. minimal ascending set in the sense of Greuel/Pfister
CFList reorder(const Varlist &betterorder, const CFList &PS)