Changeset 57fa2c4 in git
- Timestamp:
- Mar 26, 2014, 11:49:45 AM (10 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- f98a260c0667da3d5720cc7494e9cac2c21f4055
- Parents:
- 4e892683095384ad467b026d483bd9cde31ec4f0
- git-author:
- Adi Popescu <adi_popescum@yahoo.de>2014-03-26 11:49:45+01:00
- git-committer:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-03-28 16:37:27+01:00
- Files:
-
- 68 edited
- 21 moved
Legend:
- Unmodified
- Added
- Removed
-
Singular/claptmpl.cc
r4e8926 r57fa2c4 72 72 #endif 73 73 74 #include <kernel/ tgb_internal.h>74 #include <kernel/GBEngine/tgb_internal.h> 75 75 #ifdef HAVE_BOOST 76 76 #include <boost/dynamic_bitset.hpp> -
Singular/denom_list.cc
r4e8926 r57fa2c4 3 3 #endif /* HAVE_CONFIG_H */ 4 4 #include <kernel/mod2.h> 5 #include <kernel/ kutil.h>5 #include <kernel/GBEngine/kutil.h> 6 6 #include <Singular/lists.h> 7 7 -
Singular/extra.cc
r4e8926 r57fa2c4 67 67 #include <kernel/fast_mult.h> 68 68 #include <kernel/digitech.h> 69 #include <kernel/ stairc.h>69 #include <kernel/GBEngine/stairc.h> 70 70 #include <kernel/febase.h> 71 71 #include <kernel/ideals.h> 72 #include <kernel/ kstd1.h>73 #include <kernel/ syz.h>74 #include <kernel/ kutil.h>75 76 #include <kernel/ shiftgb.h>72 #include <kernel/GBEngine/kstd1.h> 73 #include <kernel/GBEngine/syz.h> 74 #include <kernel/GBEngine/kutil.h> 75 76 #include <kernel/GBEngine/shiftgb.h> 77 77 #include <kernel/linear_algebra/linearAlgebra.h> 78 78 … … 80 80 81 81 // for tests of t-rep-GB 82 #include <kernel/ tgb.h>82 #include <kernel/GBEngine/tgb.h> 83 83 84 84 #include <kernel/minpoly.h> … … 108 108 109 109 #ifdef HAVE_RINGS 110 #include <kernel/ ringgb.h>110 #include <kernel/GBEngine/ringgb.h> 111 111 #endif 112 112 113 113 #ifdef HAVE_F5 114 #include <kernel/ f5gb.h>114 #include <kernel/GBEngine/f5gb.h> 115 115 #endif 116 116 … … 128 128 #include <polys/nc/ncSAMult.h> // for CMultiplier etc classes 129 129 #include <polys/nc/sca.h> 130 #include <kernel/ nc.h>130 #include <kernel/GBEngine/nc.h> 131 131 #include "ipconv.h" 132 132 #ifdef HAVE_RATGRING 133 #include <kernel/ ratgring.h>133 #include <kernel/GBEngine/ratgring.h> 134 134 #endif 135 135 #endif … … 150 150 151 151 #include <polys/clapconv.h> 152 #include <kernel/ kstdfac.h>152 #include <kernel/GBEngine/kstdfac.h> 153 153 154 154 #include <polys/clapsing.h> … … 2325 2325 # include <polys/mod_raw.h> 2326 2326 # include <polys/monomials/ring.h> 2327 # include <kernel/ shiftgb.h>2327 # include <kernel/GBEngine/shiftgb.h> 2328 2328 2329 2329 static BOOLEAN jjEXTENDED_SYSTEM(leftv res, leftv h) -
Singular/fglm.cc
r4e8926 r57fa2c4 31 31 #include <kernel/ideals.h> 32 32 33 #include <kernel/ kstd1.h>33 #include <kernel/GBEngine/kstd1.h> 34 34 #include <kernel/fglm/fglm.h> 35 35 -
Singular/grammar.cc
r4e8926 r57fa2c4 94 94 #include <polys/matpol.h> 95 95 #include <polys/monomials/ring.h> 96 #include <kernel/ kstd1.h>96 #include <kernel/GBEngine/kstd1.h> 97 97 #include <Singular/subexpr.h> 98 98 #include <Singular/ipshell.h> … … 102 102 #include <coeffs/numbers.h> 103 103 #include <kernel/polys.h> 104 #include <kernel/ stairc.h>104 #include <kernel/GBEngine/stairc.h> 105 105 #include <kernel/timer.h> 106 106 #include <Singular/cntrlc.h> 107 107 #include <polys/monomials/maps.h> 108 #include <kernel/ syz.h>108 #include <kernel/GBEngine/syz.h> 109 109 #include <Singular/lists.h> 110 110 #include <libpolys/coeffs/longrat.h> -
Singular/grammar.y
r4e8926 r57fa2c4 30 30 #include <polys/matpol.h> 31 31 #include <polys/monomials/ring.h> 32 #include <kernel/ kstd1.h>32 #include <kernel/GBEngine/kstd1.h> 33 33 #include <Singular/subexpr.h> 34 34 #include <Singular/ipshell.h> … … 38 38 #include <coeffs/numbers.h> 39 39 #include <kernel/polys.h> 40 #include <kernel/ stairc.h>40 #include <kernel/GBEngine/stairc.h> 41 41 #include <kernel/timer.h> 42 42 #include <Singular/cntrlc.h> 43 43 #include <polys/monomials/maps.h> 44 #include <kernel/ syz.h>44 #include <kernel/GBEngine/syz.h> 45 45 #include <Singular/lists.h> 46 46 #include <libpolys/coeffs/longrat.h> -
Singular/iparith.cc
r4e8926 r57fa2c4 38 38 # include <polys/clapsing.h> 39 39 40 #include <kernel/ stairc.h>40 #include <kernel/GBEngine/stairc.h> 41 41 #include <kernel/mod2.h> 42 42 #include <kernel/polys.h> 43 43 #include <kernel/febase.h> 44 44 #include <kernel/ideals.h> 45 #include <kernel/ kstd1.h>45 #include <kernel/GBEngine/kstd1.h> 46 46 #include <kernel/timer.h> 47 47 #include <kernel/preimage.h> 48 #include <kernel/ units.h>48 #include <kernel/GBEngine/units.h> 49 49 #include <kernel/spectrum/GMPrat.h> 50 #include <kernel/ tgb.h>50 #include <kernel/GBEngine/tgb.h> 51 51 #include <kernel/groebner_walk/walkProc.h> 52 52 #include <kernel/linear_algebra/linearAlgebra.h> 53 #include <kernel/ syz.h>53 #include <kernel/GBEngine/syz.h> 54 54 #include <kernel/timer.h> 55 55 56 56 #include <kernel/interpolation.h> 57 # include <kernel/ kstdfac.h>57 # include <kernel/GBEngine/kstdfac.h> 58 58 # include <kernel/fglm/fglm.h> 59 59 … … 98 98 99 99 #ifdef HAVE_PLURAL 100 #include <kernel/ ratgring.h>101 #include <kernel/ nc.h>100 #include <kernel/GBEngine/ratgring.h> 101 #include <kernel/GBEngine/nc.h> 102 102 #include <polys/nc/nc.h> 103 103 #include <polys/nc/sca.h> -
Singular/ipassign.cc
r4e8926 r57fa2c4 42 42 #include <kernel/polys.h> 43 43 #include <kernel/ideals.h> 44 #include <kernel/ kstd1.h>44 #include <kernel/GBEngine/kstd1.h> 45 45 #include <kernel/timer.h> 46 #include <kernel/ stairc.h>47 #include <kernel/ syz.h>46 #include <kernel/GBEngine/stairc.h> 47 #include <kernel/GBEngine/syz.h> 48 48 49 49 //#include "weight.h" -
Singular/ipconv.cc
r4e8926 r57fa2c4 30 30 #include <polys/matpol.h> 31 31 #include <Singular/links/silink.h> 32 #include <kernel/ syz.h>32 #include <kernel/GBEngine/syz.h> 33 33 #include <Singular/attrib.h> 34 34 #include <polys/monomials/ring.h> -
Singular/ipid.cc
r4e8926 r57fa2c4 28 28 #include <kernel/polys.h> 29 29 #include <kernel/ideals.h> 30 #include <kernel/ syz.h>30 #include <kernel/GBEngine/syz.h> 31 31 32 32 #include <Singular/tok.h> -
Singular/ipshell.cc
r4e8926 r57fa2c4 29 29 #include <kernel/ideals.h> 30 30 #include <polys/matpol.h> 31 #include <kernel/ kstd1.h>31 #include <kernel/GBEngine/kstd1.h> 32 32 #include <polys/monomials/ring.h> 33 33 #include <Singular/subexpr.h> 34 34 #include <polys/monomials/maps.h> 35 #include <kernel/ syz.h>35 #include <kernel/GBEngine/syz.h> 36 36 #include <coeffs/numbers.h> 37 37 //#include <polys/ext_fields/longalg.h> … … 40 40 #include <Singular/ipconv.h> 41 41 #include <Singular/links/silink.h> 42 #include <kernel/ stairc.h>42 #include <kernel/GBEngine/stairc.h> 43 43 #include <polys/weight.h> 44 44 #include <kernel/spectrum/semic.h> -
Singular/libsingular.h
r4e8926 r57fa2c4 14 14 #include <polys/clapsing.h> 15 15 #include <polys/monomials/maps.h> 16 #include <kernel/ kutil.h>17 #include <kernel/ kstd1.h>18 #include <kernel/ tgb.h>16 #include <kernel/GBEngine/kutil.h> 17 #include <kernel/GBEngine/kstd1.h> 18 #include <kernel/GBEngine/tgb.h> 19 19 #include <polys/sparsmat.h> 20 20 -
Singular/maps_ip.cc
r4e8926 r57fa2c4 26 26 27 27 #include <kernel/febase.h> 28 #include <kernel/ kstd1.h>28 #include <kernel/GBEngine/kstd1.h> 29 29 30 30 #include "maps_ip.h" -
Singular/misc_ip.cc
r4e8926 r57fa2c4 387 387 388 388 #include <kernel/febase.h> 389 #include <kernel/ kstd1.h>389 #include <kernel/GBEngine/kstd1.h> 390 390 #include <kernel/timer.h> 391 391 -
Singular/subexpr.cc
r4e8926 r57fa2c4 37 37 #include <kernel/febase.h> 38 38 #include <kernel/ideals.h> 39 #include <kernel/ kstd1.h>39 #include <kernel/GBEngine/kstd1.h> 40 40 #include <kernel/timer.h> 41 #include <kernel/ syz.h>41 #include <kernel/GBEngine/syz.h> 42 42 43 43 #include <Singular/tok.h> -
Singular/test.cc
r4e8926 r57fa2c4 63 63 // HEADERS: 64 64 #include <kernel/combinatorics/hutil.h> 65 #include <kernel/ stairc.h>65 #include <kernel/GBEngine/stairc.h> 66 66 #include <kernel/ideals.h> 67 #include <kernel/ syz.h>67 #include <kernel/GBEngine/syz.h> 68 68 #include <kernel/maps/fast_maps.h> 69 69 #include <kernel/febase.h> … … 71 71 #include <kernel/groebner_walk/walkMain.h> 72 72 #include <kernel/groebner_walk/walkSupport.h> 73 #include <kernel/ khstd.h>73 #include <kernel/GBEngine/khstd.h> 74 74 /// #include <kernel/sparsmat.h> // TODO: install polys/this! 75 75 //+ 76 76 77 77 #include <kernel/fglm/fglm.h> 78 #include <kernel/ kstd1.h>78 #include <kernel/GBEngine/kstd1.h> 79 79 #include <kernel/fglm/fglmgauss.h> 80 80 #include <kernel/fglm/fglmvec.h> 81 #include <kernel/ kstdfac.h>81 #include <kernel/GBEngine/kstdfac.h> 82 82 #include <kernel/spectrum/kmatrix.h> 83 83 #include <kernel/spectrum/GMPrat.h> … … 89 89 #include <kernel/spectrum/multicnt.h> 90 90 #include <kernel/linear_algebra/eigenval.h> 91 #include <kernel/ units.h>92 #include <kernel/ ratgring.h>93 #include <kernel/ shiftgb.h>94 95 #include <kernel/ kutil.h>91 #include <kernel/GBEngine/units.h> 92 #include <kernel/GBEngine/ratgring.h> 93 #include <kernel/GBEngine/shiftgb.h> 94 95 #include <kernel/GBEngine/kutil.h> 96 96 97 97 // #include <kernel/dbm_sl.h> // TODO: needs si_link// already moved to Singular/! … … 109 109 110 110 ////////#include "F5cData.h" 111 #include <kernel/ f5c.h>112 #include <kernel/ f5data.h>113 #include <kernel/ f5gb.h>114 #include <kernel/ f5lists.h>111 #include <kernel/GBEngine/f5c.h> 112 #include <kernel/GBEngine/f5data.h> 113 #include <kernel/GBEngine/f5gb.h> 114 #include <kernel/GBEngine/f5lists.h> 115 115 ////////#include <kernel/F5cLists.h> 116 116 … … 126 126 127 127 #include <kernel/spectrum/kmatrix.h> 128 #include <kernel/ kstd1.h>129 #include <kernel/ kstdfac.h>130 #include <kernel/ khstd.h>128 #include <kernel/GBEngine/kstd1.h> 129 #include <kernel/GBEngine/kstdfac.h> 130 #include <kernel/GBEngine/khstd.h> 131 131 132 132 #include <kernel/linear_algebra/linearAlgebra.h> … … 143 143 #include <kernel/preimage.h> 144 144 145 #include <kernel/ nc.h>146 147 #include <kernel/ ratgring.h>148 #include <kernel/ ringgb.h>145 #include <kernel/GBEngine/nc.h> 146 147 #include <kernel/GBEngine/ratgring.h> 148 #include <kernel/GBEngine/ringgb.h> 149 149 #include <kernel/spectrum/semic.h> 150 #include <kernel/ shiftgb.h>150 #include <kernel/GBEngine/shiftgb.h> 151 151 152 152 #include <kernel/spectrum/spectrum.h> 153 153 #include <kernel/spectrum/splist.h> 154 #include <kernel/ stairc.h>154 #include <kernel/GBEngine/stairc.h> 155 155 #include <kernel/structs.h> 156 #include <kernel/ syz.h>156 #include <kernel/GBEngine/syz.h> 157 157 // #include <kernel/testpoly.h> // Too old? 158 158 159 #include <kernel/ tgbgauss.h>160 #include <kernel/ tgb.h>159 #include <kernel/GBEngine/tgbgauss.h> 160 #include <kernel/GBEngine/tgb.h> 161 161 162 162 #include <kernel/timer.h> 163 163 164 #include <kernel/ units.h>164 #include <kernel/GBEngine/units.h> 165 165 #include <kernel/groebner_walk/walkMain.h> 166 166 #include <kernel/groebner_walk/walkProc.h> -
Singular/walk.cc
r4e8926 r57fa2c4 66 66 67 67 /* include Hilbert-function */ 68 #include <kernel/ stairc.h>68 #include <kernel/GBEngine/stairc.h> 69 69 70 70 /** kstd2.cc */ 71 #include <kernel/ kutil.h>72 #include <kernel/ khstd.h>71 #include <kernel/GBEngine/kutil.h> 72 #include <kernel/GBEngine/khstd.h> 73 73 74 74 #include <Singular/walk.h> … … 81 81 #include <Singular/ipid.h> 82 82 #include <polys/monomials/ring.h> 83 #include <kernel/ kstd1.h>83 #include <kernel/GBEngine/kstd1.h> 84 84 #include <polys/matpol.h> 85 85 #include <polys/weight.h> 86 86 #include <misc/intvec.h> 87 #include <kernel/ syz.h>87 #include <kernel/GBEngine/syz.h> 88 88 #include <Singular/lists.h> 89 89 #include <polys/prCopy.h> -
Singular/walk_ip.cc
r4e8926 r57fa2c4 25 25 #include <kernel/ideals.h> 26 26 #include <polys/matpol.h> 27 #include <kernel/ kstd1.h>27 #include <kernel/GBEngine/kstd1.h> 28 28 #include <polys/monomials/ring.h> 29 29 #include <Singular/subexpr.h> 30 30 #include <polys/monomials/maps.h> 31 #include <kernel/ syz.h>31 #include <kernel/GBEngine/syz.h> 32 32 #include <coeffs/numbers.h> 33 33 #include <Singular/lists.h> … … 35 35 #include <Singular/ipconv.h> 36 36 #include <Singular/links/silink.h> 37 #include <kernel/ stairc.h>37 #include <kernel/GBEngine/stairc.h> 38 38 #include <polys/weight.h> 39 39 #include <kernel/spectrum/semic.h> -
Singular/wrapper.cc
r4e8926 r57fa2c4 8 8 #include <kernel/febase.h> 9 9 #include <kernel/polys.h> 10 #include <kernel/ kstd1.h>10 #include <kernel/GBEngine/kstd1.h> 11 11 #include <kernel/ideals.h> 12 12 13 #include <kernel/ janet.h>13 #include <kernel/GBEngine/janet.h> 14 14 15 15 #include <Singular/subexpr.h> -
dyn_modules/callgfanlib/gfan.cc
r4e8926 r57fa2c4 8 8 9 9 #include <libpolys/misc/options.h> 10 #include <kernel/ kstd1.h>11 #include <kernel/ kutil.h>10 #include <kernel/GBEngine/kstd1.h> 11 #include <kernel/GBEngine/kutil.h> 12 12 #include <kernel/polys.h> 13 13 #include <kernel/ideals.h> … … 19 19 #include <Singular/lists.h> 20 20 #include <libpolys/polys/prCopy.h> 21 #include <kernel/ stairc.h>21 #include <kernel/GBEngine/stairc.h> 22 22 #include <fstream> //read-write cones to files 23 23 #include <string> -
dyn_modules/loctriv.mod
r4e8926 r57fa2c4 9 9 #include <kernel/ideals.h> 10 10 #include <kernel/ring.h> 11 #include <kernel/ kstd1.h>11 #include <kernel/GBEngine/kstd1.h> 12 12 #include <kernel/prCopy.h> 13 13 %} -
dyn_modules/syzextra/mod_main.cc
r4e8926 r57fa2c4 16 16 #include <polys/monomials/ring.h> 17 17 // #include <kernel/longrat.h> 18 #include <kernel/ kstd1.h>18 #include <kernel/GBEngine/kstd1.h> 19 19 20 20 #include <kernel/polys.h> 21 21 22 #include <kernel/ syz.h>22 #include <kernel/GBEngine/syz.h> 23 23 24 24 #include <Singular/tok.h> -
dyn_modules/syzextra/myNF.cc
r4e8926 r57fa2c4 40 40 #include <kernel/ideals.h> 41 41 42 #include <kernel/ syz.h>42 #include <kernel/GBEngine/syz.h> 43 43 // #include <kernel/longrat.h> 44 #include <kernel/ kutil.h>45 #include <kernel/ kstd1.h>44 #include <kernel/GBEngine/kutil.h> 45 #include <kernel/GBEngine/kstd1.h> 46 46 47 47 … … 59 59 #include <polys/nc/sca.h> 60 60 #include <polys/nc/nc.h> 61 #include <kernel/ nc.h>61 #include <kernel/GBEngine/nc.h> 62 62 63 63 -
kernel/GBEngine/F4.cc
r4e8926 r57fa2c4 3 3 #endif /* HAVE_CONFIG_H */ 4 4 #include <kernel/mod2.h> 5 #include <kernel/ F4.h>6 #include <kernel/ tgb_internal.h>7 #include <kernel/ tgbgauss.h>5 #include <kernel/GBEngine/F4.h> 6 #include <kernel/GBEngine/tgb_internal.h> 7 #include <kernel/GBEngine/tgbgauss.h> 8 8 /**************************************** 9 9 * Computer Algebra System SINGULAR * -
kernel/GBEngine/F4.h
r4e8926 r57fa2c4 18 18 * ABSTRACT: interface for F4 only routines 19 19 */ 20 #include <kernel/ tgb_internal.h>20 #include <kernel/GBEngine/tgb_internal.h> 21 21 void go_on_F4 (slimgb_alg* c); 22 22 #endif -
kernel/GBEngine/Makefile.am
r4e8926 r57fa2c4 7 7 libGBEngine_la_SOURCES=khstd.cc kstdfac.cc kstd1.cc kstd2.cc kutil.cc nc.cc sca.cc gr_kstd2.cc kspoly.cc kpolys.cc syz.cc syz0.cc syz1.cc syz2.cc syz3.cc units.cc tgb.cc tgbgauss.cc f5data.cc f5lists.cc f5gb.cc f5c.cc ratgring.cc shiftgb.cc ringgb.cc janet.cc 8 8 9 #libGBEngine_la_includedir=$(includedir)/kernel/GBEngine10 # libGBEngine_la_include_HEADERS=sample.h9 libGBEngine_la_includedir=$(includedir)/kernel/GBEngine 10 libGBEngine_la_include_HEADERS=stairc.h syz.h kstdfac.h kutil.h khstd.h kstd1.h units.h ratgring.h shiftgb.h nc.h kInline.h tgb.h ringgb.h tgbgauss.h tgb_internal.h f5c.h f5data.h f5gb.h f5lists.h janet.h 11 11 12 12 -
kernel/GBEngine/f5c.cc
r4e8926 r57fa2c4 6 6 #include <unistd.h> 7 7 #include <kernel/structs.h> 8 #include <kernel/ kutil.h>8 #include <kernel/GBEngine/kutil.h> 9 9 #include <omalloc/omalloc.h> 10 10 #include <kernel/polys.h> … … 13 13 #include <kernel/ideals.h> 14 14 #include <kernel/febase.h> 15 #include <kernel/ kstd1.h>16 #include <kernel/ khstd.h>15 #include <kernel/GBEngine/kstd1.h> 16 #include <kernel/GBEngine/khstd.h> 17 17 #include <polys/kbuckets.h> 18 18 #include <polys/weight.h> 19 19 #include <misc/intvec.h> 20 20 #include <kernel/polys.h> 21 #include <kernel/ f5c.h>21 #include <kernel/GBEngine/f5c.h> 22 22 #include <kernel/timer.h> 23 23 /* -
kernel/GBEngine/f5data.cc
r4e8926 r57fa2c4 12 12 13 13 #ifdef HAVE_F5 14 #include <kernel/ kutil.h>14 #include <kernel/GBEngine/kutil.h> 15 15 #include <kernel/structs.h> 16 16 #include <omalloc/omalloc.h> … … 19 19 #include <kernel/ideals.h> 20 20 #include <kernel/febase.h> 21 #include <kernel/ kstd1.h>22 #include <kernel/ khstd.h>21 #include <kernel/GBEngine/kstd1.h> 22 #include <kernel/GBEngine/khstd.h> 23 23 #include <polys/kbuckets.h> 24 24 #include <polys/weight.h> 25 25 #include <misc/intvec.h> 26 26 #include <kernel/polys.h> 27 #include <kernel/ f5gb.h>28 #include <kernel/ f5data.h>29 #include <kernel/ f5lists.h>27 #include <kernel/GBEngine/f5gb.h> 28 #include <kernel/GBEngine/f5data.h> 29 #include <kernel/GBEngine/f5lists.h> 30 30 /* 31 31 ===================== -
kernel/GBEngine/f5gb.cc
r4e8926 r57fa2c4 14 14 #include <omp.h> 15 15 #include <kernel/structs.h> 16 #include <kernel/ kutil.h>16 #include <kernel/GBEngine/kutil.h> 17 17 #include <omalloc/omalloc.h> 18 18 #include <kernel/polys.h> … … 21 21 #include <kernel/ideals.h> 22 22 #include <kernel/febase.h> 23 #include <kernel/ kstd1.h>24 #include <kernel/ khstd.h>23 #include <kernel/GBEngine/kstd1.h> 24 #include <kernel/GBEngine/khstd.h> 25 25 #include <polys/kbuckets.h> 26 26 #include <polys/weight.h> 27 27 #include <misc/intvec.h> 28 28 #include <kernel/polys.h> 29 #include <kernel/ f5gb.h>30 #include <kernel/ f5data.h>31 #include <kernel/ f5lists.h>29 #include <kernel/GBEngine/f5gb.h> 30 #include <kernel/GBEngine/f5data.h> 31 #include <kernel/GBEngine/f5lists.h> 32 32 #include <kernel/timer.h> 33 33 int notInG = 0; -
kernel/GBEngine/f5gb.h
r4e8926 r57fa2c4 9 9 10 10 #ifdef HAVE_F5 11 #include <kernel/ f5data.h>12 #include <kernel/ f5lists.h>11 #include <kernel/GBEngine/f5data.h> 12 #include <kernel/GBEngine/f5lists.h> 13 13 14 14 -
kernel/GBEngine/f5lists.cc
r4e8926 r57fa2c4 5 5 6 6 #ifdef HAVE_F5 7 #include <kernel/ kutil.h>7 #include <kernel/GBEngine/kutil.h> 8 8 #include <kernel/structs.h> 9 9 #include <omalloc/omalloc.h> … … 12 12 #include <kernel/ideals.h> 13 13 #include <kernel/febase.h> 14 #include <kernel/ kstd1.h>15 #include <kernel/ khstd.h>14 #include <kernel/GBEngine/kstd1.h> 15 #include <kernel/GBEngine/khstd.h> 16 16 #include <polys/kbuckets.h> 17 17 #include <polys/weight.h> 18 18 #include <misc/intvec.h> 19 19 #include <kernel/polys.h> 20 #include <kernel/ f5gb.h>21 #include <kernel/ f5data.h>22 #include <kernel/ f5lists.h>20 #include <kernel/GBEngine/f5gb.h> 21 #include <kernel/GBEngine/f5data.h> 22 #include <kernel/GBEngine/f5lists.h> 23 23 24 24 /** -
kernel/GBEngine/f5lists.h
r4e8926 r57fa2c4 5 5 * ABSTRACT: list interface 6 6 */ 7 #include <kernel/ f5data.h>7 #include <kernel/GBEngine/f5data.h> 8 8 #ifndef F5LISTS_HEADER 9 9 #define F5LISTS_HEADER -
kernel/GBEngine/gr_kstd2.cc
r4e8926 r57fa2c4 30 30 #include <kernel/febase.h> 31 31 #include <kernel/ideals.h> 32 #include <kernel/ kstd1.h>33 #include <kernel/ khstd.h>32 #include <kernel/GBEngine/kstd1.h> 33 #include <kernel/GBEngine/khstd.h> 34 34 //#include "spolys.h" 35 35 //#include "cntrlc.h" 36 #include <kernel/ ratgring.h>37 #include <kernel/ kutil.h>38 39 #include <kernel/ nc.h>36 #include <kernel/GBEngine/ratgring.h> 37 #include <kernel/GBEngine/kutil.h> 38 39 #include <kernel/GBEngine/nc.h> 40 40 41 41 #if 0 -
kernel/GBEngine/janet.cc
r4e8926 r57fa2c4 16 16 #include <kernel/polys.h> 17 17 #include <kernel/febase.h> 18 #include <kernel/ kutil.h>18 #include <kernel/GBEngine/kutil.h> 19 19 20 20 // #include "subexpr.h" 21 21 22 #include <kernel/ janet.h>22 #include <kernel/GBEngine/janet.h> 23 23 24 24 -
kernel/GBEngine/khstd.cc
r4e8926 r57fa2c4 16 16 #include <kernel/febase.h> 17 17 #include <kernel/polys.h> 18 #include <kernel/ kutil.h>19 #include <kernel/ stairc.h>20 #include <kernel/ kstd1.h>21 #include <kernel/ khstd.h>18 #include <kernel/GBEngine/kutil.h> 19 #include <kernel/GBEngine/stairc.h> 20 #include <kernel/GBEngine/kstd1.h> 21 #include <kernel/GBEngine/khstd.h> 22 22 23 23 #define ADIDEBUG 0 -
kernel/GBEngine/kspoly.cc
r4e8926 r57fa2c4 12 12 #include <kernel/mod2.h> 13 13 #include <misc/options.h> 14 #include <kernel/ kutil.h>14 #include <kernel/GBEngine/kutil.h> 15 15 #include <coeffs/numbers.h> 16 16 #include <polys/monomials/p_polys.h> -
kernel/GBEngine/kstd1.cc
r4e8926 r57fa2c4 40 40 #include <kernel/polys.h> 41 41 42 #include <kernel/ kutil.h>42 #include <kernel/GBEngine/kutil.h> 43 43 #include <kernel/febase.h> 44 #include <kernel/ kstd1.h>45 #include <kernel/ khstd.h>46 #include <kernel/ stairc.h>44 #include <kernel/GBEngine/kstd1.h> 45 #include <kernel/GBEngine/khstd.h> 46 #include <kernel/GBEngine/stairc.h> 47 47 //#include "cntrlc.h" 48 48 #include <kernel/ideals.h> … … 55 55 #include <polys/nc/nc.h> 56 56 #include <polys/nc/sca.h> 57 #include <kernel/ nc.h>58 #endif 59 60 #include <kernel/ kInline.h>57 #include <kernel/GBEngine/nc.h> 58 #endif 59 60 #include <kernel/GBEngine/kInline.h> 61 61 62 62 -
kernel/GBEngine/kstd2.cc
r4e8926 r57fa2c4 73 73 ***********************************************/ 74 74 75 #include <kernel/ kutil.h>75 #include <kernel/GBEngine/kutil.h> 76 76 #include <misc/options.h> 77 77 #include <omalloc/omalloc.h> … … 79 79 #include <kernel/ideals.h> 80 80 #include <kernel/febase.h> 81 #include <kernel/ kstd1.h>82 #include <kernel/ khstd.h>81 #include <kernel/GBEngine/kstd1.h> 82 #include <kernel/GBEngine/khstd.h> 83 83 #include <polys/kbuckets.h> 84 84 #include <polys/prCopy.h> … … 92 92 93 93 /* shiftgb stuff */ 94 #include <kernel/ shiftgb.h>94 #include <kernel/GBEngine/shiftgb.h> 95 95 96 96 int (*test_PosInT)(const TSet T,const int tl,LObject &h); -
kernel/GBEngine/kstdfac.cc
r4e8926 r57fa2c4 15 15 #include <kernel/ideals.h> 16 16 #include <kernel/febase.h> 17 #include <kernel/ kutil.h>18 #include <kernel/ kstd1.h>19 #include <kernel/ khstd.h>17 #include <kernel/GBEngine/kutil.h> 18 #include <kernel/GBEngine/kstd1.h> 19 #include <kernel/GBEngine/khstd.h> 20 20 //#include "cntrlc.h" 21 21 #include <polys/weight.h> … … 25 25 #include <kernel/ideals.h> 26 26 #include <kernel/timer.h> 27 #include <kernel/ kstdfac.h>27 #include <kernel/GBEngine/kstdfac.h> 28 28 29 29 #ifndef SING_NDEBUG -
kernel/GBEngine/kutil.cc
r4e8926 r57fa2c4 52 52 // #define ENTER_USE_MYMEMMOVE 53 53 54 #include <kernel/ kutil.h>54 #include <kernel/GBEngine/kutil.h> 55 55 #include <polys/kbuckets.h> 56 56 #include <kernel/febase.h> … … 62 62 #include <kernel/timer.h> 63 63 //#include "cntrlc.h" 64 #include <kernel/ stairc.h>65 #include <kernel/ kstd1.h>64 #include <kernel/GBEngine/stairc.h> 65 #include <kernel/GBEngine/kstd1.h> 66 66 #include <polys/operations/pShallowCopyDelete.h> 67 67 68 68 /* shiftgb stuff */ 69 #include <kernel/ shiftgb.h>69 #include <kernel/GBEngine/shiftgb.h> 70 70 #include <polys/prCopy.h> 71 71 72 72 #ifdef HAVE_RATGRING 73 #include <kernel/ ratgring.h>73 #include <kernel/GBEngine/ratgring.h> 74 74 #endif 75 75 -
kernel/GBEngine/kutil.h
r4e8926 r57fa2c4 757 757 kStrategy strat); 758 758 759 #include <kernel/ kInline.h>759 #include <kernel/GBEngine/kInline.h> 760 760 761 761 /* shiftgb stuff */ 762 #include <kernel/ shiftgb.h>762 #include <kernel/GBEngine/shiftgb.h> 763 763 764 764 poly pMove2CurrTail(poly p, kStrategy strat); -
kernel/GBEngine/nc.cc
r4e8926 r57fa2c4 16 16 17 17 #include <kernel/ideals.h> 18 #include <kernel/ kstd1.h>19 20 #include <kernel/ nc.h>18 #include <kernel/GBEngine/kstd1.h> 19 20 #include <kernel/GBEngine/nc.h> 21 21 22 22 ideal twostd(ideal I) // works in currRing only! -
kernel/GBEngine/ratgring.cc
r4e8926 r57fa2c4 12 12 #endif /* HAVE_CONFIG_H */ 13 13 #include <kernel/mod2.h> 14 #include <kernel/ ratgring.h>14 #include <kernel/GBEngine/ratgring.h> 15 15 #ifdef HAVE_RATGRING 16 16 #include <polys/nc/nc.h> … … 22 22 #include <polys/matpol.h> 23 23 #include <polys/kbuckets.h> 24 #include <kernel/ kstd1.h>24 #include <kernel/GBEngine/kstd1.h> 25 25 #include <polys/sbuckets.h> 26 26 #include <polys/prCopy.h> -
kernel/GBEngine/ringgb.cc
r4e8926 r57fa2c4 12 12 #endif /* HAVE_CONFIG_H */ 13 13 #include <kernel/mod2.h> 14 #include <kernel/ kutil.h>14 #include <kernel/GBEngine/kutil.h> 15 15 #include <kernel/structs.h> 16 16 #include <omalloc/omalloc.h> … … 19 19 #include <kernel/ideals.h> 20 20 #include <kernel/febase.h> 21 #include <kernel/ kstd1.h>22 #include <kernel/ khstd.h>21 #include <kernel/GBEngine/kstd1.h> 22 #include <kernel/GBEngine/khstd.h> 23 23 #include <polys/kbuckets.h> 24 24 #include <polys/weight.h> … … 29 29 #endif 30 30 31 #include <kernel/ ringgb.h>31 #include <kernel/GBEngine/ringgb.h> 32 32 33 33 #ifdef HAVE_RINGS -
kernel/GBEngine/sca.cc
r4e8926 r57fa2c4 17 17 #include <kernel/polys.h> 18 18 #include <kernel/ideals.h> 19 #include <kernel/ kstd1.h>20 #include <kernel/ kutil.h>21 22 #include <kernel/ nc.h>19 #include <kernel/GBEngine/kstd1.h> 20 #include <kernel/GBEngine/kutil.h> 21 22 #include <kernel/GBEngine/nc.h> 23 23 24 24 /// nc_gr_initBba is needed for sca_gr_bba and gr_bba. -
kernel/GBEngine/shiftgb.cc
r4e8926 r57fa2c4 19 19 #include <polys/matpol.h> 20 20 #include <polys/kbuckets.h> 21 #include <kernel/ kstd1.h>21 #include <kernel/GBEngine/kstd1.h> 22 22 #include <polys/sbuckets.h> 23 23 #include <polys/operations/p_Mult_q.h> 24 #include <kernel/ kutil.h>24 #include <kernel/GBEngine/kutil.h> 25 25 #include <kernel/structs.h> 26 26 #include <omalloc/omalloc.h> 27 #include <kernel/ khstd.h>27 #include <kernel/GBEngine/khstd.h> 28 28 #include <polys/kbuckets.h> 29 29 #include <polys/weight.h> 30 30 #include <misc/intvec.h> 31 31 #include <kernel/structs.h> 32 #include <kernel/ kInline.h>33 #include <kernel/ stairc.h>32 #include <kernel/GBEngine/kInline.h> 33 #include <kernel/GBEngine/stairc.h> 34 34 #include <polys/weight.h> 35 35 #include <misc/intvec.h> 36 36 #include <kernel/timer.h> 37 #include <kernel/ shiftgb.h>37 #include <kernel/GBEngine/shiftgb.h> 38 38 #include <polys/nc/sca.h> 39 39 -
kernel/GBEngine/syz.cc
r4e8926 r57fa2c4 16 16 #include <kernel/polys.h> 17 17 #include <kernel/febase.h> 18 #include <kernel/ kstd1.h>19 #include <kernel/ kutil.h>20 #include <kernel/ stairc.h>18 #include <kernel/GBEngine/kstd1.h> 19 #include <kernel/GBEngine/kutil.h> 20 #include <kernel/GBEngine/stairc.h> 21 21 #include <misc/intvec.h> 22 22 #include <coeffs/numbers.h> … … 24 24 #include <misc/intvec.h> 25 25 #include <polys/monomials/ring.h> 26 #include <kernel/ syz.h>26 #include <kernel/GBEngine/syz.h> 27 27 #include <polys/prCopy.h> 28 28 -
kernel/GBEngine/syz0.cc
r4e8926 r57fa2c4 15 15 #include <kernel/polys.h> 16 16 #include <kernel/febase.h> 17 #include <kernel/ kstd1.h>18 #include <kernel/ kutil.h>19 #include <kernel/ stairc.h>17 #include <kernel/GBEngine/kstd1.h> 18 #include <kernel/GBEngine/kutil.h> 19 #include <kernel/GBEngine/stairc.h> 20 20 //#include "cntrlc.h" 21 21 #include <misc/intvec.h> … … 24 24 #include <misc/intvec.h> 25 25 #include <polys/monomials/ring.h> 26 #include <kernel/ syz.h>26 #include <kernel/GBEngine/syz.h> 27 27 #include <polys/kbuckets.h> 28 28 #include <polys/prCopy.h> -
kernel/GBEngine/syz1.cc
r4e8926 r57fa2c4 25 25 26 26 #include <kernel/febase.h> 27 #include <kernel/ kstd1.h>28 #include <kernel/ kutil.h>29 #include <kernel/ stairc.h>27 #include <kernel/GBEngine/kstd1.h> 28 #include <kernel/GBEngine/kutil.h> 29 #include <kernel/GBEngine/stairc.h> 30 30 //#include "cntrlc.h" 31 31 #include <kernel/ideals.h> 32 #include <kernel/ syz.h>32 #include <kernel/GBEngine/syz.h> 33 33 // #include <kernel/idrec.h> 34 34 -
kernel/GBEngine/syz2.cc
r4e8926 r57fa2c4 29 29 30 30 #include <kernel/febase.h> 31 #include <kernel/ kstd1.h>32 #include <kernel/ kutil.h>33 #include <kernel/ stairc.h>34 35 #include <kernel/ syz.h>31 #include <kernel/GBEngine/kstd1.h> 32 #include <kernel/GBEngine/kutil.h> 33 #include <kernel/GBEngine/stairc.h> 34 35 #include <kernel/GBEngine/syz.h> 36 36 #include <kernel/ideals.h> 37 37 -
kernel/GBEngine/syz3.cc
r4e8926 r57fa2c4 15 15 #include <kernel/polys.h> 16 16 #include <kernel/febase.h> 17 #include <kernel/ kstd1.h>18 #include <kernel/ kutil.h>19 #include <kernel/ stairc.h>17 #include <kernel/GBEngine/kstd1.h> 18 #include <kernel/GBEngine/kutil.h> 19 #include <kernel/GBEngine/stairc.h> 20 20 //#include "cntrlc.h" 21 21 #include <misc/intvec.h> … … 24 24 #include <misc/intvec.h> 25 25 #include <polys/monomials/ring.h> 26 #include <kernel/ syz.h>26 #include <kernel/GBEngine/syz.h> 27 27 #include <polys/kbuckets.h> 28 28 #include <polys/prCopy.h> -
kernel/GBEngine/tgb.cc
r4e8926 r57fa2c4 21 21 #endif /* HAVE_CONFIG_H */ 22 22 #include <kernel/mod2.h> 23 #include <kernel/ tgb.h>24 #include <kernel/ tgb_internal.h>25 #include <kernel/ tgbgauss.h>23 #include <kernel/GBEngine/tgb.h> 24 #include <kernel/GBEngine/tgb_internal.h> 25 #include <kernel/GBEngine/tgbgauss.h> 26 26 27 27 #include <misc/options.h> -
kernel/GBEngine/tgb_internal.h
r4e8926 r57fa2c4 60 60 #include <misc/options.h> 61 61 #include <kernel/polys.h> 62 #include <kernel/ kutil.h>63 #include <kernel/ kInline.h>64 #include <kernel/ kstd1.h>62 #include <kernel/GBEngine/kutil.h> 63 #include <kernel/GBEngine/kInline.h> 64 #include <kernel/GBEngine/kstd1.h> 65 65 #include <polys/kbuckets.h> 66 66 #include <libpolys/coeffs/modulop.h> -
kernel/GBEngine/tgbgauss.cc
r4e8926 r57fa2c4 10 10 #include <kernel/mod2.h> 11 11 #include <misc/options.h> 12 #include <kernel/ tgbgauss.h>12 #include <kernel/GBEngine/tgbgauss.h> 13 13 #include <omalloc/omalloc.h> 14 14 #include <stdlib.h> 15 #include <kernel/ kutil.h>15 #include <kernel/GBEngine/kutil.h> 16 16 #include <kernel/febase.h> 17 17 #include <kernel/polys.h> … … 727 727 assume(j<columns); 728 728 mac_poly* set_this=&mp[i]; 729 // while(((*set_this)!=NULL)&&((*set_this) >exp<j))729 // while(((*set_this)!=NULL)&&((*set_this)\AD>exp<j)) 730 730 while(((*set_this)!=NULL) && ((*set_this)->exp<j)) 731 731 set_this=&((*set_this)->next); -
kernel/GBEngine/units.cc
r4e8926 r57fa2c4 17 17 #include <misc/intvec.h> 18 18 #include <polys/matpol.h> 19 #include <kernel/ kstd1.h>20 #include <kernel/ units.h>19 #include <kernel/GBEngine/kstd1.h> 20 #include <kernel/GBEngine/units.h> 21 21 22 22 ideal redNF(ideal N,ideal M,matrix U,int d,intvec *w) -
kernel/Makefile.am
r4e8926 r57fa2c4 23 23 libkernel_la_SOURCES = $(SOURCES) 24 24 25 KERNELHEADERS = mod2.h polys.h stairc.hideals.h \25 KERNELHEADERS = mod2.h polys.h ideals.h \ 26 26 structs.h \ 27 syz.h \28 27 febase.h \ 29 kstdfac.h \ 30 kutil.h \ 31 khstd.h kstd1.h \ 32 units.h \ 33 ratgring.h shiftgb.h nc.h \ 34 preimage.h timer.h kInline.h fast_mult.h \ 35 digitech.h tgb.h ringgb.h tgbgauss.h tgb_internal.h \ 36 f5c.h f5data.h f5gb.h f5lists.h \ 37 janet.h interpolation.h minpoly.h \ 28 preimage.h timer.h fast_mult.h \ 29 digitech.h \ 30 interpolation.h minpoly.h \ 38 31 Cache.h CacheImplementation.h 39 32 -
kernel/combinatorics/hdegree.cc
r4e8926 r57fa2c4 20 20 #include <coeffs/numbers.h> 21 21 #include <kernel/combinatorics/hutil.h> 22 #include <kernel/ stairc.h>22 #include <kernel/GBEngine/stairc.h> 23 23 24 24 int hCo, hMu, hMu2; -
kernel/combinatorics/hilb.cc
r4e8926 r57fa2c4 16 16 #include <misc/intvec.h> 17 17 #include <kernel/combinatorics/hutil.h> 18 #include <kernel/ stairc.h>18 #include <kernel/GBEngine/stairc.h> 19 19 //ADICHANGES: 20 20 #include <kernel/ideals.h> 21 #include <kernel/ kstd1.h>21 #include <kernel/GBEngine/kstd1.h> 22 22 #include<gmp.h> 23 23 #include<vector> -
kernel/fglm/fglmcomb.cc
r4e8926 r57fa2c4 23 23 #include "fglmvec.h" 24 24 #include "fglmgauss.h" 25 #include <kernel/ kstd1.h>25 #include <kernel/GBEngine/kstd1.h> 26 26 27 27 #include "fglm.h" -
kernel/fglm/fglmhom.cc
r4e8926 r57fa2c4 34 34 #include "fglmgauss.h" 35 35 #include <misc/intvec.h> 36 #include <kernel/ kstd1.h>37 #include <kernel/ stairc.h>36 #include <kernel/GBEngine/kstd1.h> 37 #include <kernel/GBEngine/stairc.h> 38 38 #include <factory/templates/ftmpl_list.h> 39 39 -
kernel/fglm/fglmzero.cc
r4e8926 r57fa2c4 43 43 #include <kernel/ideals.h> 44 44 #include <kernel/febase.h> 45 #include <kernel/ kstd1.h>45 #include <kernel/GBEngine/kstd1.h> 46 46 47 47 #include "fglm.h" -
kernel/groebner_walk/walkMain.cc
r4e8926 r57fa2c4 20 20 #include <kernel/groebner_walk/walkSupport.h> 21 21 #include <polys/prCopy.h> 22 #include <kernel/ kstd1.h>22 #include <kernel/GBEngine/kstd1.h> 23 23 #include <polys/matpol.h> 24 24 #include <polys/monomials/ring.h> -
kernel/groebner_walk/walkProc.cc
r4e8926 r57fa2c4 15 15 #include <polys/monomials/maps.h> 16 16 #include <omalloc/omalloc.h> 17 #include <kernel/ kstd1.h>17 #include <kernel/GBEngine/kstd1.h> 18 18 #include <kernel/fglm/fglm.h> 19 19 #include <kernel/groebner_walk/walkMain.h> -
kernel/groebner_walk/walkSupport.cc
r4e8926 r57fa2c4 11 11 #include <kernel/groebner_walk/walkSupport.h> 12 12 #include <polys/prCopy.h> 13 #include <kernel/ kstd1.h>13 #include <kernel/GBEngine/kstd1.h> 14 14 #include <polys/matpol.h> 15 15 #include <math.h> -
kernel/ideals.cc
r4e8926 r57fa2c4 40 40 41 41 #include <kernel/febase.h> 42 #include <kernel/ kstd1.h>43 #include <kernel/ syz.h>42 #include <kernel/GBEngine/kstd1.h> 43 #include <kernel/GBEngine/syz.h> 44 44 45 45 #include <libpolys/coeffs/longrat.h> -
kernel/linear_algebra/MinorInterface.cc
r4e8926 r57fa2c4 14 14 #include <kernel/polys.h> 15 15 #include <kernel/structs.h> 16 #include <kernel/ kstd1.h>16 #include <kernel/GBEngine/kstd1.h> 17 17 #include <kernel/ideals.h> 18 18 -
kernel/linear_algebra/MinorProcessor.cc
r4e8926 r57fa2c4 11 11 #include <kernel/polys.h> 12 12 #include <kernel/febase.h> 13 #include <kernel/ kstd1.h>13 #include <kernel/GBEngine/kstd1.h> 14 14 15 15 #include <kernel/ideals.h> -
kernel/old.lplist.cc
r4e8926 r57fa2c4 12 12 #ifdef HAVE_F5 13 13 14 #include <kernel/ kutil.h>14 #include <kernel/GBEngine/kutil.h> 15 15 #include <kernel/structs.h> 16 16 #include <omalloc/omalloc.h> … … 19 19 #include <kernel/ideals.h> 20 20 #include <kernel/febase.h> 21 #include <kernel/ kstd1.h>22 #include <kernel/ khstd.h>21 #include <kernel/GBEngine/kstd1.h> 22 #include <kernel/GBEngine/khstd.h> 23 23 #include <polys/kbuckets.h> 24 24 #include <polys/weight.h> -
kernel/preimage.cc
r4e8926 r57fa2c4 15 15 #include <kernel/febase.h> 16 16 #include <kernel/ideals.h> 17 #include <kernel/ kstd1.h>18 #include <kernel/ khstd.h>17 #include <kernel/GBEngine/kstd1.h> 18 #include <kernel/GBEngine/khstd.h> 19 19 20 #include <kernel/ kutil.h>20 #include <kernel/GBEngine/kutil.h> 21 21 22 22 -
kernel/spectrum/spectrum.cc
r4e8926 r57fa2c4 31 31 //extern ring currRing; 32 32 33 #include <kernel/ kstd1.h>34 #include <kernel/ stairc.h>33 #include <kernel/GBEngine/kstd1.h> 34 #include <kernel/GBEngine/stairc.h> 35 35 #include <kernel/spectrum/multicnt.h> 36 36 #include <kernel/spectrum/GMPrat.h> -
kernel/test.cc
r4e8926 r57fa2c4 68 68 // HEADERS: 69 69 #include <kernel/combinatorics/hutil.h> 70 #include <kernel/ stairc.h>70 #include <kernel/GBEngine/stairc.h> 71 71 #include <kernel/ideals.h> 72 #include <kernel/ syz.h>72 #include <kernel/GBEngine/syz.h> 73 73 #include <kernel/maps/fast_maps.h> 74 74 #include <kernel/febase.h> … … 76 76 #include <kernel/groebner_walk/walkMain.h> 77 77 #include <kernel/groebner_walk/walkSupport.h> 78 #include <kernel/ khstd.h>78 #include <kernel/GBEngine/khstd.h> 79 79 /// #include <kernel/sparsmat.h> // TODO: install polys/this! 80 80 //+ 81 81 82 82 #include <kernel/fglm/fglm.h> 83 #include <kernel/ kstd1.h>83 #include <kernel/GBEngine/kstd1.h> 84 84 #include <kernel/fglm/fglmgauss.h> 85 85 #include <kernel/fglm/fglmvec.h> 86 #include <kernel/ kstdfac.h>86 #include <kernel/GBEngine/kstdfac.h> 87 87 #include <kernel/spectrum/kmatrix.h> 88 88 #include <kernel/spectrum/GMPrat.h> … … 94 94 #include <kernel/spectrum/multicnt.h> 95 95 #include <kernel/linear_algebra/eigenval.h> 96 #include <kernel/ units.h>97 #include <kernel/ ratgring.h>98 #include <kernel/ shiftgb.h>99 100 101 #include <kernel/ kutil.h>96 #include <kernel/GBEngine/units.h> 97 #include <kernel/GBEngine/ratgring.h> 98 #include <kernel/GBEngine/shiftgb.h> 99 100 101 #include <kernel/GBEngine/kutil.h> 102 102 103 103 // #include "CCRing.h" // Too old! … … 113 113 114 114 ////////#include <kernel/F5cData.h> 115 #include <kernel/ f5c.h>116 #include <kernel/ f5data.h>117 #include <kernel/ f5gb.h>118 #include <kernel/ f5lists.h>115 #include <kernel/GBEngine/f5c.h> 116 #include <kernel/GBEngine/f5data.h> 117 #include <kernel/GBEngine/f5gb.h> 118 #include <kernel/GBEngine/f5lists.h> 119 119 ////////#include <kernel/F5cLists.h> 120 120 … … 126 126 127 127 #include <kernel/spectrum/kmatrix.h> 128 #include <kernel/ kstd1.h>129 #include <kernel/ kstdfac.h>130 #include <kernel/ khstd.h>128 #include <kernel/GBEngine/kstd1.h> 129 #include <kernel/GBEngine/kstdfac.h> 130 #include <kernel/GBEngine/khstd.h> 131 131 132 132 #include <kernel/linear_algebra/linearAlgebra.h> … … 143 143 #include <kernel/preimage.h> 144 144 145 #include <kernel/ nc.h>146 147 #include <kernel/ ratgring.h>148 #include <kernel/ ringgb.h>145 #include <kernel/GBEngine/nc.h> 146 147 #include <kernel/GBEngine/ratgring.h> 148 #include <kernel/GBEngine/ringgb.h> 149 149 #include <kernel/spectrum/semic.h> 150 #include <kernel/ shiftgb.h>150 #include <kernel/GBEngine/shiftgb.h> 151 151 #include <kernel/spectrum/spectrum.h> 152 152 #include <kernel/spectrum/splist.h> 153 #include <kernel/ stairc.h>153 #include <kernel/GBEngine/stairc.h> 154 154 #include <kernel/structs.h> 155 #include <kernel/ syz.h>155 #include <kernel/GBEngine/syz.h> 156 156 // #include <kernel/testpoly.h> // Too old? 157 157 158 #include <kernel/ tgbgauss.h>159 #include <kernel/ tgb.h>158 #include <kernel/GBEngine/tgbgauss.h> 159 #include <kernel/GBEngine/tgb.h> 160 160 161 161 #include <kernel/timer.h> 162 162 163 #include <kernel/ units.h>163 #include <kernel/GBEngine/units.h> 164 164 #include <kernel/groebner_walk/walkMain.h> 165 165 #include <kernel/groebner_walk/walkProc.h> 166 166 #include <kernel/groebner_walk/walkSupport.h> 167 167 168 #include <kernel/ janet.h>168 #include <kernel/GBEngine/janet.h> 169 169 #include <kernel/interpolation.h> 170 170 #include <kernel/minpoly.h> -
libpolys/polys/kbuckets.cc
r4e8926 r57fa2c4 16 16 #include <polys/monomials/ring.h> 17 17 //#include <kernel/p_Procs.h> 18 //#include <kernel/ kutil.h>18 //#include <kernel/GBEngine/kutil.h> 19 19 #include <polys/kbuckets.h> 20 20 -
libpolys/polys/matpol.cc
r4e8926 r57fa2c4 20 20 21 21 // #include <kernel/structs.h> 22 // #include <kernel/ kstd1.h>22 // #include <kernel/GBEngine/kstd1.h> 23 23 // #include <kernel/polys.h> 24 24
Note: See TracChangeset
for help on using the changeset viewer.