Changeset 24d28c in git for libpolys/polys/monomials/ring.h
- Timestamp:
- Jul 19, 2013, 2:59:19 PM (11 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- 5b6807c5be64d7eb424e7d933a00f8cbb137d50c
- Parents:
- 2b2e08e9ac466fdf41a00e09569fbe1ea27db681
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/polys/monomials/ring.h
r2b2e08 r24d28c 51 51 /// returns a poly from dest_r which is a ShallowCopy of s_p from source_r 52 52 /// assumes that source_r->N == dest_r->N and that orderings are the same 53 typedef poly (*pShallowCopyDeleteProc)(poly s_p, ring source_r, ring dest_r, 53 typedef poly (*pShallowCopyDeleteProc)(poly s_p, ring source_r, ring dest_r, 54 54 omBin dest_bin); 55 55 56 56 // ro_typ describes what to store at the corresping "data" place in p->exp 57 // none of the directly corresponds to a ring ordering (ringorder_*) 58 // as each ringorder_* blocks corrsponds to 0..2 sro-blocks 57 59 typedef enum 58 60 { 59 ro_dp, // ordering is a degree ordering60 ro_wp, // ordering is a weighted degree ordering61 ro_am, // ordering is am:weights for vars + weights for gen62 ro_wp64, // ordering is a weighted64 degree ordering63 ro_wp_neg, // ordering is a weighted degree ordering64 // with possibly negative weights65 ro_cp, // ordering duplicates variables66 ro_syzcomp, // ordering indicates "subset" of component number (ringorder_S)67 ro_syz, // ordering with component number >syzcomp is lower(ringorder_s)68 ro_isTemp, ro_is, // Induced Syzygy (Schreyer) ordering (and prefix data placeholder dummy) (ringorder_IS)61 ro_dp, // total degree with weights 1 62 ro_wp, // total weighted degree with weights>0 in wvhdl 63 ro_am, // weights for vars + weights for gen 64 ro_wp64, // weighted64 degree weights in wvhdl 65 ro_wp_neg, // total weighted degree with weights in Z in wvhdl 66 // (with possibly negative weights) 67 ro_cp, // ??ordering duplicates variables 68 ro_syzcomp, // ??ordering indicates "subset" of component number (ringorder_S) 69 ro_syz, // component number if <=syzcomp else 0 (ringorder_s) 70 ro_isTemp, ro_is, // ??Induced Syzygy (Schreyer) ordering (and prefix data placeholder dummy) (ringorder_IS) 69 71 ro_none 70 72 } … … 101 103 int *weights_m; // pointers into wvhdl field of length len_gen + 1 102 104 // len_gen, mod_w_1, .. mod_w_len, 0 103 105 104 106 }; 105 107 typedef struct sro_am sro_am; … … 250 252 // int_number cf->modNumber; 251 253 // #endif 252 254 253 255 unsigned long options; /* ring dependent options */ 254 256 … … 354 356 static inline bool rIsPluralRing(const ring r) 355 357 { 356 assume(r != NULL); assume(r->cf != NULL); 358 assume(r != NULL); assume(r->cf != NULL); 357 359 #ifdef HAVE_PLURAL 358 360 nc_struct *n; … … 478 480 static inline BOOLEAN rField_is_Q_a(const ring r) 479 481 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_Q_a(r->cf); } 480 482 481 483 static inline BOOLEAN rField_is_long_R(const ring r) 482 484 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_long_R(r->cf); } … … 492 494 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_has_simple_Alloc(r->cf); } 493 495 494 /// Alg. or trans. ext. 496 /// Alg. or trans. ext. 495 497 static inline BOOLEAN rField_is_Extension(const ring r) 496 498 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_Extension(r->cf); } /* Z/p(a) and Q(a)*/ … … 599 601 return n_Param(iParameter, C); 600 602 // const n_coeffType _filed_type = getCoeffType(C); 601 // 603 // 602 604 // if ( iParameter <= 0 || iParameter > rPar(r) ) 603 605 // // Wrong parameter 604 606 // return NULL; 605 // 607 // 606 608 // if( _filed_type == n_algExt ) 607 609 // return naParameter(iParameter, C); 608 // 610 // 609 611 // if( _filed_type == n_transExt ) 610 612 // return ntParameter(iParameter, C); 611 // 613 // 612 614 // if (_filed_type == n_GF)// if (nCoeff_is_GF(C)) 613 615 // { … … 615 617 // return nfPar(iParameter, C); 616 618 // } 617 // 619 // 618 620 // if (_filed_type == n_long_C) // if (nCoeff_is_long_C(C)) 619 621 // { 620 // number ngcPar(int i, const coeffs r); 622 // number ngcPar(int i, const coeffs r); 621 623 // return ngcPar(iParameter, C); 622 624 // } 623 // 625 // 624 626 // return NULL; 625 627 } 626 628 627 /// if m == var(i)/1 => return i, 629 /// if m == var(i)/1 => return i, 628 630 int n_IsParam(number m, const ring r); 629 631 … … 637 639 } 638 640 639 641 640 642 /* R, Q, Fp: FALSE */ 641 643 static inline BOOLEAN rIsExtension(const ring r)
Note: See TracChangeset
for help on using the changeset viewer.