#include <Singular/libsingular.h>
#include <vector>
#include <iostream>
Go to the source code of this file.
◆ abort_if_monomial_sp()
Definition at line 207 of file customstd.cc.
void deleteInL(LSet set, int *length, int j, kStrategy strat)
◆ customstd()
Definition at line 432 of file customstd.cc.
BOOLEAN monomialabortstd(leftv res, leftv args)
static BOOLEAN satstd(leftv res, leftv args)
◆ monomialabortstd()
Definition at line 234 of file customstd.cc.
240 ideal I=(ideal)args->
Data();
248 WerrorS(
"monomialabortstd: unexpected parameters");
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void WerrorS(const char *s)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
◆ sat_vars_sp()
Definition at line 44 of file customstd.cc.
57 bool nonTrivialSaturationToBeDone=
true;
60 nonTrivialSaturationToBeDone=
false;
65 mm[li]=
si_min(mm[li],m0[li]);
66 if (mm[li]>0) nonTrivialSaturationToBeDone=
true;
69 if (nonTrivialSaturationToBeDone==
false)
break;
71 if (nonTrivialSaturationToBeDone==
true)
102 bool nonTrivialSaturationToBeDone=
true;
105 nonTrivialSaturationToBeDone=
false;
110 mm[li]=
si_min(mm[li],m0[li]);
111 if (mm[li]>0) nonTrivialSaturationToBeDone =
true;
114 if (!nonTrivialSaturationToBeDone)
break;
116 if (nonTrivialSaturationToBeDone)
std::vector< int > customstd_satstdSaturatingVariables
static int si_min(const int a, const int b)
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
static poly p_Copy(poly p, const ring r)
returns a copy of p
static long p_SubExp(poly p, int v, long ee, ring r)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static void p_Setm(poly p, const ring r)
◆ satstd()
Definition at line 141 of file customstd.cc.
152 for (
int i=n-1;
i>=0;
i--)
159 ideal J = (ideal)
v->Data();
163 for (
int i=0;
i<
k;
i++)
171 WerrorS(
"satstd: second argument only ideals generated by variables supported for now");
178 WerrorS(
"satstd: unexpected parameters");
183 ideal I = (ideal) u->
Data();
203 WerrorS(
"satstd: unexpected parameters");
Class used for (list of) interpreter objects.
std::vector< int > customstd_satstdSaturatingVariables
static short rVar(const ring r)
#define rVar(r) (r->N)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void WerrorS(const char *s)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
const Variable & v
< [in] a sqrfree bivariate poly
static BOOLEAN sat_vars_sp(kStrategy strat)
int p_Var(poly m, const ring r)
◆ customstd_satstdSaturatingVariables
std::vector<int> customstd_satstdSaturatingVariables |
◆ idealCache