1 | #ifndef POLYS_NC_GB_HACK_H |
---|
2 | #define POLYS_NC_GB_HACK_H |
---|
3 | |
---|
4 | #ifdef HAVE_PLURAL |
---|
5 | |
---|
6 | #ifdef PLURAL_INTERNAL_DECLARATIONS |
---|
7 | |
---|
8 | struct spolyrec; typedef struct spolyrec polyrec; typedef polyrec * poly; |
---|
9 | struct ip_sring; typedef struct ip_sring * ring; |
---|
10 | struct sip_sideal; typedef struct sip_sideal * ideal; |
---|
11 | |
---|
12 | class intvec; |
---|
13 | |
---|
14 | class skStrategy; typedef skStrategy * kStrategy; |
---|
15 | typedef ideal (*GB_Proc_Ptr)(const ideal, const ideal, const intvec*, const intvec*, kStrategy, const ring); |
---|
16 | |
---|
17 | |
---|
18 | ideal gnc_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); |
---|
19 | ideal gnc_gr_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); |
---|
20 | |
---|
21 | /// Modified Plural's Buchberger's algorithmus. |
---|
22 | ideal sca_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); |
---|
23 | |
---|
24 | /// Modified modern Sinuglar Buchberger's algorithm. |
---|
25 | ideal sca_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); |
---|
26 | |
---|
27 | /// Modified modern Sinuglar Mora's algorithm. |
---|
28 | ideal sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); |
---|
29 | |
---|
30 | poly k_NF(ideal, ideal, poly, int, int, const ring _currRing); |
---|
31 | |
---|
32 | |
---|
33 | |
---|
34 | # ifdef PLURAL_INTERNAL_DECLARATIONS_GB_HACK |
---|
35 | |
---|
36 | extern void WerrorS(const char *); |
---|
37 | |
---|
38 | # define STR_EXPAND(tok) #tok |
---|
39 | # define D(A) A{ WerrorS("This is a hack. Function is not defined: " STR_EXPAND(A) ); return NULL; (void)(_currRing); } |
---|
40 | |
---|
41 | D(ideal gnc_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) |
---|
42 | D(ideal gnc_gr_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) |
---|
43 | |
---|
44 | /// Modified Plural's Buchberger's algorithmus. |
---|
45 | D(ideal sca_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) |
---|
46 | |
---|
47 | /// Modified modern Sinuglar Buchberger's algorithm. |
---|
48 | D(ideal sca_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) |
---|
49 | |
---|
50 | /// Modified modern Sinuglar Mora's algorithm. |
---|
51 | D(ideal sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing)) |
---|
52 | |
---|
53 | D(poly kNF(ideal, ideal, poly, int, int, const ring _currRing)) |
---|
54 | |
---|
55 | #endif // # ifdef PLURAL_INTERNAL_DECLARATIONS_GB_HACK |
---|
56 | #endif // PLURAL_INTERNAL_DECLARATIONS |
---|
57 | |
---|
58 | |
---|
59 | #endif // HAVE_PLURAL |
---|
60 | #endif // POLYS_NC_GB_HACK_H |
---|
61 | |
---|