Changeset 19370c in git
- Timestamp:
- Feb 7, 2007, 11:49:41 AM (16 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')
- Children:
- 89b59f6bb2e4c55ff6effd6ee652ae6444d424aa
- Parents:
- bccc3fcf764b040cb2f6573b1c8756d685b5eb0b
- Location:
- kernel
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/gr_kstd2.cc
rbccc3f r19370c 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: gr_kstd2.cc,v 1.1 2 2007-02-01 18:53:54Singular Exp $ */4 /* $Id: gr_kstd2.cc,v 1.13 2007-02-07 10:49:39 Singular Exp $ */ 5 5 /* 6 6 * ABSTRACT - Kernel: noncomm. alg. of Buchberger … … 76 76 wrp(strat->S[j]); 77 77 } 78 (*h).p = nc_ReduceS Poly(strat->S[j],(*h).p, currRing);78 (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p, currRing); 79 79 //spSpolyRed(strat->T[j].p,(*h).p,strat->kNoether); 80 80 … … 179 179 } 180 180 /*- compute the s-polynomial -*/ 181 (*h).p = nc_ReduceS Poly(strat->S[j],(*h).p/*,strat->kNoether*/,currRing);181 (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p,currRing); 182 182 if ((*h).p == NULL) 183 183 { … … 868 868 /* prod.crit itself in nc_CreateSpoly */ 869 869 } 870 strat->P.p = nc_ SPoly(strat->P.p1,strat->P.p2/*,strat->kNoether*/,currRing);870 strat->P.p = nc_CreateSpoly(strat->P.p1,strat->P.p2,currRing); 871 871 } 872 872 if (strat->P.p != NULL) -
kernel/gring.cc
rbccc3f r19370c 7 7 * Author: levandov (Viktor Levandovsky) 8 8 * Created: 8/00 - 11/00 9 * Version: $Id: gring.cc,v 1.4 2 2007-02-02 13:00:33Singular Exp $9 * Version: $Id: gring.cc,v 1.43 2007-02-07 10:49:39 Singular Exp $ 10 10 *******************************************************************/ 11 11 #include "mod2.h" … … 1997 1997 #endif 1998 1998 1999 q = nc_ReduceS Poly(p,q,currRing);1999 q = nc_ReduceSpoly(p,q,currRing); 2000 2000 2001 2001 #ifdef PDEBUG -
kernel/gring.h
rbccc3f r19370c 4 4 * Computer Algebra System SINGULAR * 5 5 ****************************************/ 6 /* $Id: gring.h,v 1.1 8 2007-01-31 23:51:24 motsakExp $ */6 /* $Id: gring.h,v 1.19 2007-02-07 10:49:40 Singular Exp $ */ 7 7 /* 8 8 * ABSTRACT additional defines etc for --with-plural … … 129 129 } 130 130 131 inline poly nc_ SPoly(const poly p1, const poly p2, const ring r)131 inline poly nc_CreateSpoly(const poly p1, const poly p2, const ring r) 132 132 { 133 133 assume(rIsPluralRing(r)); … … 136 136 } 137 137 138 inline poly nc_ReduceS Poly(const poly p1, poly p2, const ring r)138 inline poly nc_ReduceSpoly(const poly p1, poly p2, const ring r) 139 139 { 140 140 assume(rIsPluralRing(r)); … … 143 143 } 144 144 145 inline void nc_ BucketPolyRed(kBucket_pt b, poly p, number *c)145 inline void nc_kBucketPolyRed(kBucket_pt b, poly p, number *c) 146 146 { 147 147 assume(rIsPluralRing(currRing)); -
kernel/kspoly.cc
rbccc3f r19370c 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kspoly.cc,v 1. 8 2007-01-11 10:37:35Singular Exp $ */4 /* $Id: kspoly.cc,v 1.9 2007-02-07 10:49:40 Singular Exp $ */ 5 5 /* 6 6 * ABSTRACT - Routines for Spoly creation and reductions … … 73 73 // (only needed if exp-bound(tailring)<exp-b(currRing)) 74 74 number c; 75 if (PR->bucket!=NULL) nc_ BucketPolyRed(PR->bucket, p2,&c);75 if (PR->bucket!=NULL) nc_kBucketPolyRed(PR->bucket, p2,&c); 76 76 else 77 77 { -
kernel/kstd2.cc
rbccc3f r19370c 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kstd2.cc,v 1.3 8 2007-02-06 13:16:52Singular Exp $ */4 /* $Id: kstd2.cc,v 1.39 2007-02-07 10:49:40 Singular Exp $ */ 5 5 /* 6 6 * ABSTRACT - Kernel: alg. of Buchberger … … 1001 1001 { 1002 1002 number coef; 1003 nc_ BucketPolyRed(P.bucket,strat->S[j],&coef);1003 nc_kBucketPolyRed(P.bucket,strat->S[j],&coef); 1004 1004 nDelete(&coef); 1005 1005 } -
kernel/kutil.cc
rbccc3f r19370c 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kutil.cc,v 1.4 7 2007-02-01 16:39:30 Singular Exp $ */4 /* $Id: kutil.cc,v 1.48 2007-02-07 10:49:40 Singular Exp $ */ 5 5 /* 6 6 * ABSTRACT: kernel: utils for kStd … … 1374 1374 } 1375 1375 else 1376 Lp.p = nc_SPoly(strat->S[i],p,currRing); // ? 1377 } 1378 else 1379 Lp.p = nc_SPoly(strat->S[i],p,currRing); 1376 Lp.p = nc_CreateSpoly(strat->S[i],p,currRing); // ? 1377 } 1378 else Lp.p = nc_CreateSpoly(strat->S[i],p,currRing); 1380 1379 } 1381 1380 else -
kernel/tgb.cc
rbccc3f r19370c 5 5 * Computer Algebra System SINGULAR * 6 6 ****************************************/ 7 /* $Id: tgb.cc,v 1.12 2 2007-02-06 09:59:00 brickenExp $ */7 /* $Id: tgb.cc,v 1.123 2007-02-07 10:49:41 Singular Exp $ */ 8 8 /* 9 9 * ABSTRACT: slimgb and F4 implementation … … 2284 2284 #ifdef HAVE_PLURAL 2285 2285 if (c->nc){ 2286 h= nc_ SPoly(c->S->m[s->i], c->S->m[s->j]/*, NULL*/, c->r);2286 h= nc_CreateSpoly(c->S->m[s->i], c->S->m[s->j]/*, NULL*/, c->r); 2287 2287 if (h!=NULL) 2288 2288 pCleardenom(h);
Note: See TracChangeset
for help on using the changeset viewer.