1767{
1774
1780
1782
1787 else
1790 {
1792 }
1794#ifdef WITH_SORT
1796 {
1801 {
1803 if (
jj>maxdeg) maxdeg =
jj;
1804 }
1806 {
1809 {
1811 {
1814 }
1815 }
1817 {
1819 {
1823 }
1824 }
1825 }
1829 }
1830#endif
1831#ifdef USE_REGULARITY
1835#endif
1847
1850 {
1852 {
1858 }
1860 {
1863 {
1865 {
1870 }
1876 {
1878#ifndef ONLY_STD
1882#ifdef USE_REGULARITY
1884 {
1885
1897 {
1899 }
1904 }
1905#endif
1906#endif
1911 {
1914 else
1915 PrintS(
"\n not regular\n");
1916 }
1920 {
1922 break;
1923 }
1924 }
1927#ifdef ONLY_STD
1928 break;
1929#endif
1932 }
1934 {
1936 {
1938 {
1941 }
1942 }
1943 }
1944 }
1946 }
1956 {
1957#ifdef SHOW_RESULT
1958 Print(
"The %d-th syzygy-module is now:\n",
index);
1962
1963
1964
1965
1966
1967
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981#endif
1983 {
1985 {
1987 {
1993 {
1997 }
1998 else
1999 {
2000 PrintS(
"Da ist was faul!!!\n");
2001 Print(
"Aber: Regularitaet %d, Grad %ld\n",
2003 }
2004 }
2005 }
2008 }
2009#ifdef SHOW_RESULT
2011#endif
2013 }
2017 {
2020 }
2022 {
2026 {
2029 }
2030 }
2037
2038
2039
2040
2042}
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
static BOOLEAN length(leftv result, leftv arg)
void kBucketDestroy(kBucket_pt *bucket_pt)
kBucket_pt kBucketCreate(const ring bucket_ring)
Creation/Destruction of buckets.
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
void rChangeCurrRing(ring r)
ideal idrMoveR(ideal &id, ring src_r, ring dest_r)
ideal idrCopyR(ideal id, ring src_r, ring dest_r)
ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
ring rAssure_C_dp(const ring r)
void rDelete(ring r)
unconditionally deletes fields in r
ring rAssure_dp_C(const ring r)
ideal id_Head(ideal h, const ring r)
returns the ideals of initial terms
void idShow(const ideal id, const ring lmRing, const ring tailRing, const int debugPrint)
void id_Shift(ideal M, int s, const ring r)
static ideal syAppendSyz(ideal new_generators, syStrategy syzstr, int index, int crit_comp, resolvente totake)
static void syCreateRegularExtension(syStrategy syzstr, ideal old_ideal, ideal old_repr, int old_tl, poly next_generator, resolvente totake)
void syReorder_Kosz(syStrategy syzstr)
static BOOLEAN syIsRegular(ideal old_ideal, ideal new_ideal, int deg)
intvec * syBetti(resolvente res, int length, int *regularity, intvec *weights, BOOLEAN tomin, int *row_shift)
resolvente sySchreyerResolvente(ideal arg, int maxlength, int *length, BOOLEAN isMonomial=FALSE, BOOLEAN notReplace=FALSE)