 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
#include "libpolys/polys/simpleideals.h"
#include "gfanlib/gfanlib.h"
Go to the source code of this file.
◆ areIdealsEqual()
bool areIdealsEqual |
( |
ideal |
I, |
|
|
ring |
r, |
|
|
ideal |
J, |
|
|
ring |
s |
|
) |
| |
Definition at line 41 of file tropicalDebug.cc.
53 ideal NF1 =
kNF(stdI,
s->qideal,stdJ);
54 ideal NF2 =
kNF(stdJ,
s->qideal,stdI);
64 std::cout <<
"ERROR: input ideals not equal!" << std::endl;
◆ checkForNonPositiveEntries()
bool checkForNonPositiveEntries |
( |
const gfan::ZVector & |
w | ) |
|
Definition at line 13 of file tropicalDebug.cc.
15 for (
unsigned i=0;
i<
w.size();
i++)
19 std::cout <<
"ERROR: non-positive weight in weight vector" << std::endl
20 <<
"weight: " <<
w << std::endl;
◆ checkForNonPositiveLaterEntries()
bool checkForNonPositiveLaterEntries |
( |
const gfan::ZVector & |
w | ) |
|
Definition at line 27 of file tropicalDebug.cc.
29 for (
unsigned i=1;
i<
w.size();
i++)
33 std::cout <<
"ERROR: non-positive weight in weight vector later entries" << std::endl
34 <<
"weight: " <<
w << std::endl;
◆ checkOrderingAndCone()
bool checkOrderingAndCone |
( |
const ring |
r, |
|
|
const gfan::ZCone |
zc |
|
) |
| |
Definition at line 90 of file tropicalDebug.cc.
100 v = gfan::Integer((
long)-1)*
v;
103 std::cout <<
"ERROR: weight of ordering not inside Groebner cone!" << std::endl;
◆ checkPolyhedralInput()
bool checkPolyhedralInput |
( |
const gfan::ZCone |
zc, |
|
|
const gfan::ZVector |
p |
|
) |
| |
◆ checkPolynomialInput()
bool checkPolynomialInput |
( |
const ideal |
I, |
|
|
const ring |
r |
|
) |
| |
◆ checkWeightVector()
bool checkWeightVector |
( |
const ideal |
I, |
|
|
const ring |
r, |
|
|
const gfan::ZVector & |
weightVector, |
|
|
bool |
checkBorder = 0 |
|
) |
| |
Definition at line 74 of file tropicalDebug.cc.
77 if (!cI.contains(weightVector))
79 std::cout <<
"ERROR: weight vector not inside maximal Gröbner cone" << std::endl;
82 if (checkBorder && cI.containsRelatively(weightVector))
84 std::cout <<
"ERROR: weight vector in the relative interior of maximal Gröbner cone" << std::endl;
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
void rChangeCurrRing(ring r)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static short rVar(const ring r)
#define rVar(r) (r->N)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
poly p_PermPoly(poly p, const int *perm, const ring oldRing, const ring dst, nMapFunc nMap, const int *par_perm, int OldPar, BOOLEAN use_mult)
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
ideal gfanlib_kStd_wrapper(ideal I, ring r, tHomog h=testHomog)
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
const CanonicalForm int s
static FORCE_INLINE nMapFunc n_SetMap(const coeffs src, const coeffs dst)
set the mapping function pointers for translating numbers from src to dst