Changeset a4771e1 in git for kernel/combinatorics


Ignore:
Timestamp:
Sep 15, 2014, 9:11:04 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')
Children:
f7d39bddf5a7034fe148956d21d0cbe5d13c0021
Parents:
c4e3190c68044083d3437866d1695d9e714d52b5
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-15 21:11:04+02:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-23 20:08:14+02:00
Message:
Separation of hilbert function into kernel/combinatorics/hilb.h + include cleanup
Location:
kernel/combinatorics
Files:
1 added
7 edited

Legend:

Unmodified
Added
Removed

  • kernel/combinatorics/Makefile.am

    rc4e319 ra4771e1  
    88
    99libcombinatorics_la_includedir=$(includedir)/singular/kernel/combinatorics
    10 libcombinatorics_la_include_HEADERS=hutil.h stairc.h
     10libcombinatorics_la_include_HEADERS=hutil.h stairc.h hilb.h
    1111
    1212

  • kernel/combinatorics/hdegree.cc

    rc4e319 ra4771e1  
    66*/
    77
    8 
    9 
    10 
    118#include <kernel/mod2.h>
    129
     10#include <omalloc/omalloc.h>
     11#include <misc/intvec.h>
     12#include <coeffs/numbers.h>
    1313
    1414#include <kernel/structs.h>
    15 #include <omalloc/omalloc.h>
    1615#include <kernel/ideals.h>
    1716#include <kernel/polys.h>
    18 #include <misc/intvec.h>
    19 #include <coeffs/numbers.h>
     17
    2018#include <kernel/combinatorics/hutil.h>
     19#include <kernel/combinatorics/hilb.h>
    2120#include <kernel/combinatorics/stairc.h>
    2221

  • kernel/combinatorics/hilb.cc

    rc4e319 ra4771e1  
    66*/
    77
    8 
    9 
    10 
    118#include <kernel/mod2.h>
    12 #include <kernel/structs.h>
     9
    1310#include <omalloc/omalloc.h>
    14 #include <kernel/polys.h>
     11#include <misc/auxiliary.h>
     12#include <misc/mylimits.h>
    1513#include <misc/intvec.h>
     14
     15#include <kernel/combinatorics/hilb.h>
     16#include <kernel/combinatorics/stairc.h>
    1617#include <kernel/combinatorics/hutil.h>
    17 #include <kernel/combinatorics/stairc.h>
     18
     19#include <polys/monomials/ring.h>
     20#include <polys/monomials/p_polys.h>
     21#include <polys/simpleideals.h>
     22
     23
     24// #include <kernel/structs.h>
     25// #include <kernel/polys.h>
    1826//ADICHANGES:
    1927#include <kernel/ideals.h>
    20 #include <kernel/GBEngine/kstd1.h>
    21 #include<gmp.h>
    22 #include<vector>
     28// #include <kernel/GBEngine/kstd1.h>
     29// #include<gmp.h>
     30// #include<vector>
    2331
    2432

  • kernel/combinatorics/hutil.cc

    rc4e319 ra4771e1  
    66*/
    77
    8 
    9 
    10 
    118#include <kernel/mod2.h>
    12 #include <kernel/structs.h>
     9// #include <kernel/structs.h>
    1310#include <omalloc/omalloc.h>
    14 #include <kernel/ideals.h>
    15 #include <kernel/polys.h>
     11
     12#include <polys/simpleideals.h>
     13#include <polys/monomials/p_polys.h>
     14
     15// #include <kernel/ideals.h>
     16// #include <kernel/polys.h>
    1617#include <kernel/combinatorics/hutil.h>
    1718
    … …  
    3334scfmon hInit(ideal S, ideal Q, int *Nexist, ring tailRing)
    3435{
     36  if (tailRing != currRing)
     37    hisModule = id_RankFreeModule(S, currRing, tailRing);
     38  else
     39    hisModule = id_RankFreeModule(S, currRing);
     40
     41  if (hisModule < 0)
     42    hisModule = 0;
     43   
    3544  int  sl, ql, i, k = 0;
    3645  polyset si, qi, ss;
    3746  scfmon ex, ek;
    38   if (tailRing != currRing)
    39     hisModule = id_RankFreeModule(S, currRing, tailRing);
    40   else
    41     hisModule = id_RankFreeModule(S,currRing);
    42   if (hisModule < 0)
    43     hisModule = 0;
     47   
    4448  if (S!=NULL)
    4549  {
    … …  
    9195    {
    9296      *ek = (scmon) omAlloc(((currRing->N)+1)*sizeof(int));
    93       pGetExpV(*si, *ek);
     97      p_GetExpV(*si, *ek, currRing);
    9498      ek++;
    9599    }
    … …  
    101105    {
    102106      *ek = (scmon) omAlloc(((currRing->N)+1)*sizeof(int));
    103       pGetExpV(*qi, *ek);
     107      p_GetExpV(*qi, *ek, currRing);
    104108      ek++;
    105109    }

  • kernel/combinatorics/hutil.h

    rc4e319 ra4771e1  
    77* ABSTRACT
    88*/
     9
     10class intvec;
     11
     12struct omBin_s   ; typedef struct omBin_s omBin_t ; typedef omBin_t * omBin;
     13
     14struct ip_sring  ; typedef struct ip_sring                          * ring;
     15struct sip_sideal; typedef struct sip_sideal                        * ideal;
     16struct spolyrec  ; typedef struct spolyrec polyrec; typedef polyrec * poly;
     17typedef                                                     poly    * polyset;
     18
     19extern ring currRing;
     20
    921typedef int * scmon;
    1022typedef scmon * scfmon;
    … …  
    4355
    4456
    45 scfmon hInit(ideal S, ideal Q, int * Nexist, ring tailRing);
    4657void hDelete(scfmon ev, int ev_length);
    4758void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int * Nstc);
    … …  
    7485void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu);
    7586
     87
     88scfmon hInit(ideal S, ideal Q, int * Nexist, ring tailRing);
    7689void slicehilb(ideal I);
    7790#endif

  • kernel/combinatorics/stairc.h

    rc4e319 ra4771e1  
    88*/
    99
    10 #include <kernel/structs.h>
     10struct spolyrec  ; typedef struct spolyrec polyrec; typedef polyrec * poly;
     11struct ip_sring  ; typedef struct ip_sring                          * ring;
     12struct sip_sideal; typedef struct sip_sideal                        * ideal;
     13
     14class intvec;
     15
     16extern ring currRing;
    1117
    1218void scComputeHC(ideal s,ideal Q, int  k,poly &hEdge, ring tailRing = currRing);
    … …  
    2733ideal scKBase(int deg, ideal  s, ideal Q=NULL, intvec * mv=NULL);
    2834
    29 intvec * hHstdSeries(ideal S, intvec *modulweight, intvec *wdegree,
    30                      ideal Q=NULL, ring tailRing = currRing);
    31 intvec * hFirstSeries(ideal S, intvec *modulweight, ideal Q=NULL, intvec *wdegree=NULL, ring tailRing = currRing);
    32 intvec * hSecondSeries(intvec *hseries1);
    33 
    34 void hLookSeries(ideal S, intvec *modulweight, ideal Q=NULL);
    35 
    3635#endif
    3736

  • kernel/combinatorics/test.cc

    rc4e319 ra4771e1  
    7070// HEADERS:
    7171#include <kernel/combinatorics/hutil.h>
     72#include <kernel/combinatorics/hilb.h>
     73#include <kernel/combinatorics/stairc.h>
     74
    7275#include <kernel/ideals.h>
    7376#include <kernel/digitech.h>
    … …  
    7679// #include <kernel/spectrum/kmatrix.h>
    7780#include <kernel/preimage.h>
    78 
    7981#include <kernel/structs.h>
    80 
    8182#include <kernel/polys.h>
    8283
Note: See TracChangeset for help on using the changeset viewer.