My Project
|
This file provides functions to compute characteristic sets. More...
#include "config.h"
#include "timing.h"
#include "canonicalform.h"
#include "cfCharSets.h"
#include "cfCharSetsUtil.h"
#include "cf_algorithm.h"
#include "facAlgFunc.h"
Go to the source code of this file.
Functions | |
TIMING_DEFINE_PRINT (neworder_time) Varlist new order(const CFList &PolyList) | |
CFList | newordercf (const CFList &PolyList) |
IntList | neworderint (const CFList &PolyList) |
CFList | reorder (const Varlist &betterorder, const CFList &PS) |
CFFList | reorder (const Varlist &betterorder, const CFFList &PS) |
ListCFList | reorder (const Varlist &betterorder, const ListCFList &Q) |
CFList | basicSet (const CFList &PS) |
basic set in the sense of Wang a.k.a. minimal ascending set in the sense of Greuel/Pfister More... | |
CFList | charSet (const CFList &PS) |
characteristic set More... | |
CFList | charSetN (const CFList &PS) |
medial set More... | |
CFList | charSetViaCharSetN (const CFList &PS) |
compute a characteristic set via medial set More... | |
CFList | modCharSet (const CFList &L, StoreFactors &StoredFactors, bool removeContents) |
modified medial set More... | |
CFList | charSetViaModCharSet (const CFList &PS, StoreFactors &StoredFactors, bool removeContents) |
characteristic set via modified medial set More... | |
CFList | charSetViaModCharSet (const CFList &PS, bool removeContents) |
modified characteristic set, i.e. a characteristic set with certain factors removed More... | |
CFList | modCharSet (const CFList &PS, bool removeContents) |
ListCFList | charSeries (const CFList &L) |
characteristic series More... | |
static bool | irreducible (const CFList &AS) |
static CFList | irredAS (CFList &AS, int &indexRed, CanonicalForm &reducible) |
ListCFList | irrCharSeries (const CFList &PS) |
irreducible characteristic series More... | |
This file provides functions to compute characteristic sets.
ABSTRACT: Descriptions can be found in Wang "On the Parallelization of characteristic-set based algorithms" or Greuel/Pfister "A Singular Introduction to Commutative Algebra".
Definition in file cfCharSets.cc.
basic set in the sense of Wang a.k.a. minimal ascending set in the sense of Greuel/Pfister
Definition at line 150 of file cfCharSets.cc.
ListCFList charSeries | ( | const CFList & | L | ) |
characteristic series
Definition at line 411 of file cfCharSets.cc.
characteristic set
Definition at line 187 of file cfCharSets.cc.
medial set
Definition at line 216 of file cfCharSets.cc.
compute a characteristic set via medial set
Definition at line 246 of file cfCharSets.cc.
modified characteristic set, i.e. a characteristic set with certain factors removed
Definition at line 397 of file cfCharSets.cc.
CFList charSetViaModCharSet | ( | const CFList & | PS, |
StoreFactors & | StoredFactors, | ||
bool | removeContents | ||
) |
characteristic set via modified medial set
modified characteristic set, i.e. a characteristic set with certain factors removed
Definition at line 356 of file cfCharSets.cc.
ListCFList irrCharSeries | ( | const CFList & | PS | ) |
irreducible characteristic series
Definition at line 568 of file cfCharSets.cc.
|
static |
Definition at line 507 of file cfCharSets.cc.
Definition at line 487 of file cfCharSets.cc.
CFList modCharSet | ( | const CFList & | L, |
StoreFactors & | StoredFactors, | ||
bool | removeContents | ||
) |
modified medial set
Definition at line 284 of file cfCharSets.cc.
Definition at line 404 of file cfCharSets.cc.
Definition at line 75 of file cfCharSets.cc.
Definition at line 120 of file cfCharSets.cc.
Definition at line 101 of file cfCharSets.cc.
ListCFList reorder | ( | const Varlist & | betterorder, |
const ListCFList & | Q | ||
) |
Definition at line 140 of file cfCharSets.cc.
|
new |
Definition at line 31 of file cfCharSets.cc.