Changeset 2d1dc4 in git
- Timestamp:
- Apr 10, 2021, 11:26:03 PM (3 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- bce2ebae22ffd17a14f3d10bbf55539360e67d4d
- Parents:
- 0ecd3767fdeeb33d50b693e62d17cb8d9d9c4a79
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kverify.cc
r0ecd37 r2d1dc4 121 121 { 122 122 #ifdef HAVE_VSPACE 123 if (rIsNCRing(currRing)) 124 return kVerify1(F,Q); 123 125 kStrategy strat=new skStrategy; 124 126 strat->ak = id_RankFreeModule(F,currRing);
Note: See TracChangeset
for help on using the changeset viewer.