40 bool removeContents=
true);
55 bool removeContents=
true);
This file provides utility functions to compute characteristic sets.
CFList charSetViaCharSetN(const CFList &PS)
compute a characteristic set via medial set
ListCFList charSeries(const CFList &L)
characteristic series
CFList charSet(const CFList &PS)
characteristic set
ListCFList FACTORY_PUBLIC irrCharSeries(const CFList &PS)
irreducible characteristic series
IntList FACTORY_PUBLIC neworderint(const CFList &PolyList)
CFList charSetN(const CFList &PS)
medial set
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 newordercf(const CFList &PolyList)
Varlist neworder(const CFList &PolyList)
CFList reorder(const Varlist &betterorder, const CFList &PS)
CFList modCharSet(const CFList &PS, StoreFactors &StoredFactors, bool removeContents=true)
modified medial set
CFList charSetViaModCharSet(const CFList &PS, StoreFactors &StoredFactors, bool removeContents=true)
modified characteristic set, i.e. a characteristic set with certain factors removed
class to store factors that get removed during char set computation