Changeset 0c15dc in git
- Timestamp:
- Dec 5, 2013, 10:56:19 PM (9 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
- Children:
- cda0b04282903cc2bac5f3b79cb72d0319602785
- Parents:
- 32f7e530b009b9be87dcd0c95aa89d1d022cf1a8
- git-author:
- Christian Eder <ederc@mathematik.uni-kl.de>2013-12-05 22:56:19+01:00
- git-committer:
- Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:29+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/kutil.cc
r32f7e5 r0c15dc 1965 1965 { 1966 1966 if (Lp.lcm!=NULL) pLmFree(Lp.lcm); 1967 int pos = posInSyz(strat, Lp.sig); 1968 enterSyz(Lp, strat, pos); 1967 1969 } 1968 1970 else … … 1991 1993 Lp.prod_crit = TRUE; // Product Criterion 1992 1994 #if 0 1993 int pos = posInSyz( Lp.sig);1994 enterSyz(Lp, strat, pos);1995 int pos = posInSyz(strat, Lp.sig); 1996 enterSyz(Lp, strat, pos); 1995 1997 Lp.lcm=NULL; 1996 1998 pDelete (&m1);
Note: See TracChangeset
for help on using the changeset viewer.