#include <vector>
#include "Singular/libsingular.h"
Go to the source code of this file.
◆ abort_if_monomial_sp()
Definition at line 145 of file std_wrapper.cc.
146{
148
149 if (strat->
P.t_p==
NULL)
150 {
153 {
154 while ((strat->
Ll >= 0))
157 }
158 }
159 else
160 {
163 {
164 while ((strat->
Ll >= 0))
167 }
168 }
170}
void deleteInL(LSet set, int *length, int j, kStrategy strat)
◆ gfanlib_kStd_wrapper()
Definition at line 6 of file std_wrapper.cc.
7{
11
17
20
22}
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void id_DelDiv(ideal id, const ring r)
delete id[j], if LT(j) == coeff*mon*LT(i) and vice versa, i.e., delete id[i], if LT(i) == coeff*mon*L...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
◆ gfanlib_monomialabortStd_wrapper()
Definition at line 172 of file std_wrapper.cc.
173{
177
181
184
186}
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
◆ gfanlib_satStd_wrapper()
Definition at line 124 of file std_wrapper.cc.
125{
129
132 for (
int i=n-1;
i>=0;
i--)
134
138
141
143}
static short rVar(const ring r)
#define rVar(r) (r->N)
std::vector< int > gitfan_satstdSaturatingVariables
static BOOLEAN sat_vars_sp(kStrategy strat)
◆ sat_vars_sp()
Definition at line 27 of file std_wrapper.cc.
28{
30
31 if (strat->
P.t_p==
NULL)
32 {
34
35
36
42 {
46 {
50 }
51
53 }
55 {
56
62 {
64 {
67 }
70 }
72 }
75 }
76 else
77 {
79
80
81
87 {
91 {
95 }
96
98 }
100 {
106 {
108 {
111 }
114 }
117 }
120 }
122}
static int si_min(const int a, const int b)
static long p_SubExp(poly p, int v, long ee, ring r)
static void p_Setm(poly p, const ring r)
static void p_GetExpV(poly p, int *ev, const ring r)
static poly p_Copy(poly p, const ring r)
returns a copy of p
◆ gitfan_satstdSaturatingVariables
std::vector<int> gitfan_satstdSaturatingVariables |