 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the source code of this file.
|
static BOOLEAN | id_IsModule (ideal id, ring r) |
| test whether this input has vectors among entries or no enties result must be FALSE for only 0-entries More...
|
|
static void | NoReturn (leftv &res) |
|
static BOOLEAN | _ClearContent (leftv res, leftv h) |
| wrapper around n_ClearContent More...
|
|
static BOOLEAN | _ClearDenominators (leftv res, leftv h) |
| wrapper around n_ClearDenominators More...
|
|
static int | getOptionalInteger (const leftv &h, const int _n) |
| try to get an optional (simple) integer argument out of h or return the default value More...
|
|
static number | jjLONG2N (long d) |
|
static void | view (const intvec *v) |
|
static BOOLEAN | Tail (leftv res, leftv h) |
| wrapper around p_Tail and id_Tail More...
|
|
static BOOLEAN | leadcomp (leftv res, leftv h) |
| Get leading component. More...
|
|
static BOOLEAN | MakeInducedSchreyerOrdering (leftv res, leftv h) |
| Same for Induced Schreyer ordering (ordering on components is defined by sign!) More...
|
|
static BOOLEAN | GetInducedData (leftv res, leftv h) |
| ? More...
|
|
static BOOLEAN | SetInducedReferrence (leftv res, leftv h) |
| Returns old SyzCompLimit, can set new limit. More...
|
|
static BOOLEAN | idPrepare (leftv res, leftv h) |
| Get raw syzygies (idPrepare) More...
|
|
int SI_MOD_INIT() | syzextra (SModulFunctions *psModulFunctions) |
|
◆ ADD
◆ _ClearContent()
wrapper around n_ClearContent
Definition at line 78 of file mod_main.cc.
82 const char *usage =
"'ClearContent' needs a (non-zero!) poly or vector argument...";
100 poly ph = reinterpret_cast<poly>(
h->Data());
◆ _ClearDenominators()
wrapper around n_ClearDenominators
Definition at line 124 of file mod_main.cc.
128 const char *usage =
"'ClearDenominators' needs a (non-zero!) poly or vector argument...";
146 poly ph = reinterpret_cast<poly>(
h->Data());
◆ GetInducedData()
?
Definition at line 311 of file mod_main.cc.
319 p = (int)((
long)(
h->Data()));
h=
h->next;
327 WerrorS(
"`GetInducedData([int])` called on incompatible ring (not created by 'MakeInducedSchreyerOrdering'!)");
332 const int iLimit = r->typ[pos].data.is.limit;
333 const ideal F = r->typ[pos].data.is.F;
341 l->m[0].data = reinterpret_cast<void *>(iLimit);
357 l->m[1].data = reinterpret_cast<void *>(FF);
360 res->data = reinterpret_cast<void *>(
l);
◆ getOptionalInteger()
try to get an optional (simple) integer argument out of h or return the default value
Definition at line 172 of file mod_main.cc.
176 int n = (int)(
long)(
h->Data());
179 Warn(
"Negative (%d) optional integer argument", n);
◆ id_IsModule()
static BOOLEAN id_IsModule |
( |
ideal |
id, |
|
|
ring |
r |
|
) |
| |
|
static |
test whether this input has vectors among entries or no enties result must be FALSE for only 0-entries
Definition at line 48 of file mod_main.cc.
52 if( id->rank != 1 )
return TRUE;
58 for (
int j=0;
j<
l;
j++)
◆ idPrepare()
Get raw syzygies (idPrepare)
Definition at line 415 of file mod_main.cc.
427 WerrorS(
"`idPrepare(<module>)` expected");
431 const ideal I = reinterpret_cast<ideal>(
h->Data());
441 iComp = (int)((
long)(
h->Data()));
445 if( (!isSyz) && (-1 == posIS) )
447 WerrorS(
"`idPrepare(<...>)` called on incompatible ring (not created by 'MakeSyzCompOrdering' or 'MakeInducedSchreyerOrdering'!)");
502 res->data = reinterpret_cast<void *>(J);
◆ jjLONG2N()
static number jjLONG2N |
( |
long |
d | ) |
|
|
inlinestatic |
◆ leadcomp()
Get leading component.
Definition at line 254 of file mod_main.cc.
260 const poly
p = (poly)(
h->Data());
271 res->data = reinterpret_cast<void *>(
jjLONG2N(iComp));
281 WerrorS(
"`leadcomp(<poly/vector>)` expected");
◆ MakeInducedSchreyerOrdering()
Same for Induced Schreyer ordering (ordering on components is defined by sign!)
Definition at line 286 of file mod_main.cc.
291 const int s = (int)((
long)(
h->Data()));
293 if(
s != -1 &&
s != 1 )
295 WerrorS(
"`MakeInducedSchreyerOrdering(<int>)` called with wrong integer argument (must be +-1)!");
◆ NoReturn()
static void NoReturn |
( |
leftv & |
res | ) |
|
|
inlinestatic |
◆ SetInducedReferrence()
Returns old SyzCompLimit, can set new limit.
Definition at line 367 of file mod_main.cc.
376 WerrorS(
"`SetInducedReferrence(<ideal/module>, [int[, int]])` expected");
380 const ideal F = (ideal)
h->Data(); ;
387 rank = (int)((
long)(
h->Data()));
h=
h->next;
396 p = (int)((
long)(
h->Data()));
h=
h->next;
404 WerrorS(
"`SetInducedReferrence(<ideal/module>, [int[, int]])` called on incompatible ring (not created by 'MakeInducedSchreyerOrdering'!)");
◆ syzextra()
Definition at line 506 of file mod_main.cc.
510 psModulFunctions->iiAddCproc((currPack->libname? currPack->libname: ""), (char*)C, D, E);
◆ Tail()
wrapper around p_Tail and id_Tail
Definition at line 215 of file mod_main.cc.
221 WarnS(
"Tail needs a poly/vector/ideal/module argument...");
231 res->data =
p_Tail( (
const poly)
h->Data(), r );
232 res->rtyp =
h->Typ();
242 res->rtyp =
h->Typ();
249 WarnS(
"Tail needs a single poly/vector/ideal/module argument...");
◆ view()
Definition at line 192 of file mod_main.cc.
198 Print (
"intvec: {rows: %d, cols: %d, length: %d, Values: \n",
v->rows(),
v->cols(),
v->length());
200 for (
int i = 0;
i <
v->rows();
i++)
203 for (
int j = 0;
j <
v->cols();
j++)
204 Print (
" %5d", (*
v)[
j +
i * (
v->cols())] );
static void NoReturn(leftv &res)
static BOOLEAN SetInducedReferrence(leftv res, leftv h)
Returns old SyzCompLimit, can set new limit.
static BOOLEAN MakeInducedSchreyerOrdering(leftv res, leftv h)
Same for Induced Schreyer ordering (ordering on components is defined by sign!)
static BOOLEAN leadcomp(leftv res, leftv h)
Get leading component.
static BOOLEAN idPrepare(leftv res, leftv h)
Get raw syzygies (idPrepare)
BOOLEAN rSetISReference(const ring r, const ideal F, const int i, const int p)
Changes r by setting induced ordering parameters: limit and reference leading terms F belong to r,...
static BOOLEAN Tail(leftv res, leftv h)
wrapper around p_Tail and id_Tail
static int rGetCurrSyzLimit(const ring r)
intvec * ivCopy(const intvec *o)
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
void PrintS(const char *s)
static BOOLEAN GetInducedData(leftv res, leftv h)
?
void atSet(idhdl root, char *name, void *data, int typ)
static number jjLONG2N(long d)
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
ring rAssure_InducedSchreyerOrdering(const ring r, BOOLEAN complete, int sgn)
static BOOLEAN _ClearDenominators(leftv res, leftv h)
wrapper around n_ClearDenominators
static BOOLEAN id_IsModule(ideal id, ring r)
test whether this input has vectors among entries or no enties result must be FALSE for only 0-entrie...
static BOOLEAN _ClearContent(leftv res, leftv h)
wrapper around n_ClearContent
static FORCE_INLINE void n_ClearContent(ICoeffsEnumerator &numberCollectionEnumerator, number &c, const coeffs r)
Computes the content and (inplace) divides it out on a collection of numbers number c is the content ...
static FORCE_INLINE void n_ClearDenominators(ICoeffsEnumerator &numberCollectionEnumerator, number &d, const coeffs r)
(inplace) Clears denominators on a collection of numbers number d is the LCM of all the coefficient d...
#define rRing_has_Comp(r)
void * atGet(idhdl root, const char *name, int t, void *defaultReturnValue)
void WerrorS(const char *s)
const Variable & v
< [in] a sqrfree bivariate poly
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const CanonicalForm int s
static BOOLEAN rIsSyzIndexRing(const ring r)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ideal id_Copy(ideal h1, const ring r)
copy an ideal
int rGetISPos(const int p, const ring r)
Finds p^th IS ordering, and returns its position in r->typ[] returns -1 if something went wrong!...