Changeset b56249 in git
- Timestamp:
- Apr 23, 2013, 5:00:16 PM (10 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
- Children:
- 5782e2d7947412c3820f7bd158d09b128c888ca9
- Parents:
- 888b45777bfde99aa51caf2645601ffcc66fa35e
- Files:
-
- 8 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/Makefile.am
r888b457 rb56249 410 410 module_LTLIBRARIES = 411 411 412 if ENABLE_P_PROCS_DYNAMIC 412 413 if PYTHON_MODULE 413 414 module_LTLIBRARIES += pyobject.la 415 endif 414 416 endif 415 417 -
Singular/iparith.cc
r888b457 rb56249 7 7 */ 8 8 9 #include <stdlib.h>10 #include <string.h>11 #include <ctype.h>12 #include <stdio.h>13 #include <time.h>14 #include <unistd.h>15 16 9 #include "config.h" 10 11 #include <omalloc/omalloc.h> 12 17 13 #include <coeffs/bigintmat.h> 18 #include <kernel/mod2.h> 19 #include <Singular/tok.h> 20 #include <misc/options.h> 21 #include <Singular/ipid.h> 22 #include <misc/intvec.h> 23 #include <omalloc/omalloc.h> 24 #include <kernel/polys.h> 25 #include <kernel/febase.h> 26 #include <Singular/sdb.h> 27 #include <kernel/ideals.h> 28 #include <polys/prCopy.h> 29 #include <polys/matpol.h> 30 #include <kernel/kstd1.h> 31 #include <kernel/timer.h> 32 33 #include <kernel/preimage.h> 34 35 #include <Singular/subexpr.h> 36 #include <Singular/lists.h> 37 #include <kernel/modulop.h> 14 #include <coeffs/coeffs.h> 15 #include <coeffs/numbers.h> 16 38 17 #ifdef HAVE_RINGS 39 18 #include <coeffs/rmodulon.h> … … 41 20 #include <coeffs/rintegers.h> 42 21 #endif 43 #include <coeffs/numbers.h> 22 23 #include <misc/options.h> 24 #include <misc/intvec.h> 25 26 #include <polys/prCopy.h> 27 #include <polys/matpol.h> 28 #include <polys/monomials/maps.h> 29 #include <polys/coeffrings.h> 30 #include <polys/sparsmat.h> 31 #include <polys/mod_raw.h> 32 #include <polys/weight.h> 33 34 35 #include <kernel/modulop.h> 44 36 #include <kernel/stairc.h> 45 #include <polys/monomials/maps.h> 37 #include <kernel/mod2.h> 38 #include <kernel/polys.h> 39 #include <kernel/febase.h> 40 #include <kernel/ideals.h> 41 #include <kernel/kstd1.h> 42 #include <kernel/timer.h> 43 #include <kernel/preimage.h> 44 #include <kernel/units.h> 45 #include <kernel/GMPrat.h> 46 #include <kernel/tgb.h> 47 #include <kernel/walkProc.h> 48 #include <kernel/linearAlgebra.h> 49 #include <kernel/syz.h> 50 #include <kernel/timer.h> 51 52 53 #include <Singular/tok.h> 54 #include <Singular/ipid.h> 55 #include <Singular/sdb.h> 56 #include <Singular/subexpr.h> 57 #include <Singular/lists.h> 46 58 #include <Singular/maps_ip.h> 47 #include <kernel/syz.h> 48 #include <polys/weight.h> 59 49 60 #include <Singular/ipconv.h> 50 61 #include <Singular/ipprint.h> 51 62 #include <Singular/attrib.h> 52 63 #include <Singular/links/silink.h> 53 #include <polys/sparsmat.h>54 #include <kernel/units.h>55 64 #include <Singular/janet.h> 56 #include <kernel/GMPrat.h>57 #include <kernel/tgb.h>58 #include <kernel/walkProc.h>59 #include <polys/mod_raw.h>60 65 #include <Singular/MinorInterface.h> 61 #include <kernel/linearAlgebra.h>62 66 #include <Singular/misc_ip.h> 63 67 #include <Singular/linearAlgebra_ip.h> 68 64 69 #ifdef HAVE_FACTORY 65 70 # include <factory/factory.h> … … 69 74 # include <Singular/fglm.h> 70 75 #endif /* HAVE_FACTORY */ 76 71 77 #include <Singular/interpolation.h> 72 78 … … 76 82 //#include <kernel/mpr_inout.h> 77 83 78 #include <kernel/timer.h>79 80 #include <polys/coeffrings.h>81 84 #include <Singular/si_signals.h> 85 86 87 #include <stdlib.h> 88 #include <string.h> 89 #include <ctype.h> 90 #include <stdio.h> 91 #include <time.h> 92 #include <unistd.h> 93 82 94 83 95 lists rDecompose(const ring r); -
configure.ac
r888b457 rb56249 155 155 fi 156 156 157 dnl AC_CONFIG_FILES conditionalization requires using AM_COND_IF, however 158 dnl AM_COND_IF is new to Automake 1.11. To use it on new Automake without 159 dnl requiring same, a fallback implementation for older Autoconf is provided. 160 dnl Note that disabling of AC_CONFIG_FILES requires Automake 1.11, this code 161 dnl is correct only in terms of m4sh generated script. 162 m4_ifndef([AM_COND_IF], [AC_DEFUN([AM_COND_IF], [ 163 if test -z "$$1_TRUE"; then : 164 m4_n([$2])[]dnl 165 m4_ifval([$3], 166 [else 167 $3 168 ])dnl 169 fi[]dnl 170 ])]) 171 172 157 173 AM_COND_IF([HAVE_DOXYGEN], [AC_CONFIG_FILES([dox/Doxyfile])]) 158 174 AC_CONFIG_FILES([dox/Makefile]) -
dyn_modules/syzextra/Makefile.am
r888b457 rb56249 75 75 endif 76 76 77 EXTRA_DIST = syzextra.tst ederc.tst test .sh $(TESTS)77 EXTRA_DIST = syzextra.tst ederc.tst test_clear_enum.tst test.sh $(TESTS) -
kernel/structs.h
r888b457 rb56249 19 19 20 20 /* standard types */ 21 #ifdef HAVE_RINGS22 typedef unsigned long NATNUMBER;23 typedef mpz_ptr int_number;24 #endif21 //#ifdef HAVE_RINGS 22 //typedef unsigned long NATNUMBER; 23 //typedef mpz_ptr int_number; 24 //#endif 25 25 26 26 #define BITSET unsigned int -
libpolys/coeffs/coeffs.h
r888b457 rb56249 139 139 void (*cfMPZ)(mpz_t result, number &n, const coeffs r); 140 140 141 #ifdef HAVE_RINGS142 int (*cfDivComp)(number a,number b,const coeffs r);143 BOOLEAN (*cfIsUnit)(number a,const coeffs r);144 number (*cfGetUnit)(number a,const coeffs r);145 #endif146 147 141 /// changes argument inline: a:= -a 148 142 /// return -a! (no copy is returned) … … 165 159 const char * (*cfRead)(const char * s, number * a, const coeffs r); 166 160 void (*cfNormalize)(number &a, const coeffs r); 161 162 #ifdef HAVE_RINGS 163 int (*cfDivComp)(number a,number b,const coeffs r); 164 BOOLEAN (*cfIsUnit)(number a,const coeffs r); 165 number (*cfGetUnit)(number a,const coeffs r); 166 BOOLEAN (*cfDivBy)(number a, number b, const coeffs r); 167 #endif 168 169 167 170 BOOLEAN (*cfGreater)(number a,number b, const coeffs r), 168 #ifdef HAVE_RINGS169 (*cfDivBy)(number a, number b, const coeffs r),170 #endif171 171 /// tests 172 172 (*cfEqual)(number a,number b, const coeffs r), … … 428 428 429 429 #ifdef HAVE_RINGS 430 static inline int n_DivComp(number a, number b, const coeffs r) 431 { assume(r != NULL); assume(r->cfDivComp!=NULL); return r->cfDivComp (a,b,r); } 432 430 433 /// TRUE iff n has a multiplicative inverse in the given coeff field/ring r 431 434 static inline BOOLEAN n_IsUnit(number n, const coeffs r) 432 435 { assume(r != NULL); assume(r->cfIsUnit!=NULL); return r->cfIsUnit(n,r); } 433 434 static inline number n_ExtGcd(number a, number b, number *s, number *t, const coeffs r)435 { assume(r != NULL); assume(r->cfExtGcd!=NULL); return r->cfExtGcd (a,b,s,t,r); }436 437 static inline int n_DivComp(number a, number b, const coeffs r)438 { assume(r != NULL); assume(r->cfDivComp!=NULL); return r->cfDivComp (a,b,r); }439 436 440 437 /// in Z: 1 … … 577 574 { assume(r != NULL); assume(r->cfGcd!=NULL); return r->cfGcd(a,b,r); } 578 575 576 /// beware that ExtGCD is only relevant for a few chosen coeff. domains 577 /// and may perform something unexpected in some cases... 578 static inline number n_ExtGcd(number a, number b, number *s, number *t, const coeffs r) 579 { assume(r != NULL); assume(r->cfExtGcd!=NULL); return r->cfExtGcd (a,b,s,t,r); } 580 579 581 /// in Z: return the lcm of 'a' and 'b' 580 582 /// in Z/nZ, Z/2^kZ: computed as in the case Z … … 819 821 // Missing wrappers for: (TODO: review this?) 820 822 // cfIntMod, cfRead, cfName, cfInit_bigint 821 // HAVE_RINGS: cfDivComp, cfExtGcd... 823 824 // HAVE_RINGS: cfDivComp, cfIsUnit, cfGetUnit, cfDivBy 825 // BUT NOT cfExtGcd...! 822 826 823 827 -
libpolys/polys/nc/gb_hack.h
r888b457 rb56249 6 6 #ifdef PLURAL_INTERNAL_DECLARATIONS 7 7 8 struct spolyrec; 9 typedef struct spolyrec polyrec; 10 typedef polyrec * poly; 11 12 struct ip_sring; 13 typedef struct ip_sring * ring; 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; 14 11 15 12 class intvec; 16 17 struct sip_sideal;18 typedef struct sip_sideal * ideal;19 13 20 14 class skStrategy; typedef skStrategy * kStrategy; -
libpolys/polys/prCopy.h
r888b457 rb56249 8 8 */ 9 9 10 struct spolyrec; typedef struct spolyrec polyrec; typedef polyrec* poly; 11 struct ip_sring; typedef struct ip_sring* ring; typedef struct ip_sring const* const_ring; 12 struct sip_sideal; typedef struct sip_sideal *ideal; 10 13 11 14 /*************************************************************************
Note: See TracChangeset
for help on using the changeset viewer.