Changeset 7203f7 in git
- Timestamp:
- Apr 16, 2015, 4:51:46 PM (8 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 188cfbd973b4a999682b8826071169fe3afdfd971dd938fe840e8fd3265b9e5b83fb9a7186ba6e00
- Parents:
- 1b7bc4cdfc3efa77d24a9245038005aba1b0df36
- Files:
-
- 20 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/misc_ip.cc
r1b7bc4 r7203f7 12 12 13 13 // include header files 14 #define PLURAL_INTERNAL_DECLARATIONS 1 14 15 15 16 #include <kernel/mod2.h> … … 29 30 #include <polys/ext_fields/algext.h> 30 31 #include <polys/ext_fields/transext.h> 32 #include <polys/nc/gb_hack.h> 31 33 32 34 #ifdef HAVE_SIMPLEIPC … … 1309 1311 } 1310 1312 #endif 1313 // setting routines for PLURAL QRINGS: 1314 nc_NF=k_NF; 1315 gnc_gr_bba=k_gnc_gr_bba; 1316 gnc_gr_mora=k_gnc_gr_mora; 1317 sca_bba=k_sca_bba; 1318 sca_mora=k_sca_mora; 1319 sca_gr_bba=k_sca_gr_bba; 1311 1320 // loading standard.lib ----------------------------------------------- 1312 1321 if (! feOptValue(FE_OPT_NO_STDLIB)) -
dox/Doxyfile.in
r1b7bc4 r7203f7 2045 2045 OMALLOC_USES_SYSTEM_MALLOC \ 2046 2046 PLURAL_INTERNAL_DECLARATIONS \ 2047 PLURAL_INTERNAL_DECLARATIONS_GB_HACK \2048 2047 SEMIC_PRINT \ 2049 2048 SI_COUNTEDREF_AUTOLOAD \ -
kernel/GBEngine/gr_kstd2.cc
r1b7bc4 r7203f7 1050 1050 #define MYTEST 0 1051 1051 1052 ideal gnc_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)1052 ideal k_gnc_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) 1053 1053 { 1054 1054 const ring save = currRing; if( currRing != _currRing ) rChangeCurrRing(_currRing); … … 1312 1312 } 1313 1313 1314 ideal gnc_gr_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)1314 ideal k_gnc_gr_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) 1315 1315 { 1316 1316 #ifndef SING_NDEBUG -
kernel/GBEngine/kutil.h
r1b7bc4 r7203f7 270 270 extern int HCord; 271 271 272 class skStrategy;273 typedef skStrategy * kStrategy;274 272 class skStrategy : public omallocClass 275 273 { -
kernel/GBEngine/nc.h
r1b7bc4 r7203f7 31 31 assume(r->GetNC()->p_Procs.GB!=NULL); 32 32 33 GB_Proc_Ptr gb = cast_A_to_B<void*, GB_Proc_Ptr>(r->GetNC()->p_Procs.GB);33 BBA_Proc gb = cast_A_to_B<void*, BBA_Proc>(r->GetNC()->p_Procs.GB); 34 34 35 35 // NOTE: the following code block is a hack in order to make a linker to -
kernel/GBEngine/sca.cc
r1b7bc4 r7203f7 99 99 100 100 101 ideal sca_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)101 ideal k_sca_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) 102 102 { 103 103 const ring save = currRing; … … 373 373 374 374 // Under development!!! 375 ideal sca_bba (const ideal F, const ideal Q, const intvec */*w*/, const intvec * /*hilb*/, kStrategy strat, const ring _currRing)375 ideal k_sca_bba (const ideal F, const ideal Q, const intvec */*w*/, const intvec * /*hilb*/, kStrategy strat, const ring _currRing) 376 376 { 377 377 const ring save = currRing; … … 897 897 898 898 // ideal sca_mora (ideal F, ideal Q, intvec *w, intvec *, kStrategy strat) 899 ideal sca_mora(const ideal F, const ideal Q, const intvec */*w*/, const intvec *, kStrategy strat, const ring _currRing)899 ideal k_sca_mora(const ideal F, const ideal Q, const intvec */*w*/, const intvec *, kStrategy strat, const ring _currRing) 900 900 { 901 901 const ring save = currRing; -
kernel/combinatorics/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/fglm/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/groebner_walk/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/linear_algebra/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/maps/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/numeric/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/oswrapper/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
kernel/spectrum/test.cc
r1b7bc4 r7203f7 23 23 #ifndef PLURAL_INTERNAL_DECLARATIONS 24 24 #define PLURAL_INTERNAL_DECLARATIONS 25 #endif26 27 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK28 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 25 #endif 30 26 -
libpolys/polys/monomials/ring.h
r1b7bc4 r7203f7 200 200 typedef struct nc_struct nc_struct; 201 201 #endif 202 class skStrategy; 203 typedef skStrategy * kStrategy; 204 205 typedef poly (*NF_Proc)(ideal, ideal, poly, int, int, const ring _currRing); 206 typedef ideal (*BBA_Proc) (const ideal, const ideal, const intvec *, const intvec *, kStrategy strat, const ring); 207 202 208 203 209 struct ip_sring -
libpolys/polys/nc/gb_hack.h
r1b7bc4 r7203f7 5 5 6 6 #ifdef PLURAL_INTERNAL_DECLARATIONS 7 #include <polys/nc/nc.h> 7 8 8 9 struct spolyrec; typedef struct spolyrec polyrec; typedef polyrec * poly; … … 12 13 class intvec; 13 14 14 class skStrategy; typedef skStrategy * kStrategy;15 typedef ideal (*GB_Proc_Ptr)(const ideal, const ideal, const intvec*, const intvec*, kStrategy, const ring);15 extern NF_Proc nc_NF; 16 extern BBA_Proc gnc_gr_bba, gnc_gr_mora, sca_bba, sca_mora, sca_gr_bba; 16 17 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 18 /* the realiziation of the routines above in libkernel:*/ 19 ideal k_gnc_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 20 ideal k_gnc_gr_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 21 21 /// Modified Plural's Buchberger's algorithmus. 22 ideal sca_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing);22 ideal k_sca_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 23 23 24 24 /// Modified modern Sinuglar Buchberger's algorithm. 25 ideal sca_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing);25 ideal k_sca_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 26 26 27 27 /// Modified modern Sinuglar Mora's algorithm. 28 ideal sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing);28 ideal k_sca_mora(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 29 29 30 poly k_NF(ideal, ideal, poly, int, int, const ring _currRing);30 ideal k_sca_gr_bba(const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring _currRing); 31 31 32 33 34 # ifdef PLURAL_INTERNAL_DECLARATIONS_GB_HACK35 36 extern void WerrorS(const char *);37 38 # define STR_EXPAND(tok) #tok39 # 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 k_NF(ideal, ideal, poly, int, int, const ring _currRing))54 55 #endif // # ifdef PLURAL_INTERNAL_DECLARATIONS_GB_HACK56 32 #endif // PLURAL_INTERNAL_DECLARATIONS 57 58 33 59 34 #endif // HAVE_PLURAL -
libpolys/polys/nc/old.gring.cc
r1b7bc4 r7203f7 63 63 // #endif 64 64 65 static poly NF_Proc_Dummy(ideal, ideal, poly, int, int, const ring _currRing) 66 { WerrorS("nc_NF not defined"); return NULL; } 67 static ideal BBA_Proc_Dummy (const ideal, const ideal, const intvec *, const intvec *, kStrategy strat, const ring) 68 { WerrorS("nc_NF not defined"); return NULL; } 69 70 // the following funtion poiters are quasi-static: 71 // they will be set in siInit and never changes afterwards: 72 NF_Proc nc_NF=NF_Proc_Dummy; 73 BBA_Proc gnc_gr_bba=BBA_Proc_Dummy; 74 BBA_Proc gnc_gr_mora=BBA_Proc_Dummy; 75 BBA_Proc sca_bba=BBA_Proc_Dummy; 76 BBA_Proc sca_mora=BBA_Proc_Dummy; 77 BBA_Proc sca_gr_bba=BBA_Proc_Dummy; 65 78 66 79 /* copy : */ -
libpolys/polys/nc/sca.cc
r1b7bc4 r7203f7 1118 1118 // square = NF( var(i)^2 | Q ) 1119 1119 // NOTE: there is no better way to check this in general! 1120 square = k_NF(idQuotient, NULL, square, 0, 1, rG); // must ran in currRing == rG!1120 square = nc_NF(idQuotient, NULL, square, 0, 1, rG); // must ran in currRing == rG! 1121 1121 1122 1122 if( square != NULL ) // var(i)^2 is not in Q? -
libpolys/polys/test.cc
r1b7bc4 r7203f7 15 15 #ifndef PLURAL_INTERNAL_DECLARATIONS 16 16 #define PLURAL_INTERNAL_DECLARATIONS 17 #endif18 19 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK20 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK21 17 #endif 22 18 -
libpolys/tests/common.h
r1b7bc4 r7203f7 24 24 #ifndef PLURAL_INTERNAL_DECLARATIONS 25 25 #define PLURAL_INTERNAL_DECLARATIONS 26 #endif27 28 #ifndef PLURAL_INTERNAL_DECLARATIONS_GB_HACK29 #define PLURAL_INTERNAL_DECLARATIONS_GB_HACK30 26 #endif 31 27
Note: See TracChangeset
for help on using the changeset viewer.