blob: 37c68fcaa104429d1bf829affa4259d01a703601 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- polynomial.cpp.orig 2010-02-07 08:21:23.494221736 +0000
+++ polynomial.cpp 2010-02-07 08:26:55.077158315 +0000
@@ -463,10 +463,8 @@
if(isMarked())
{
IntegerVector v=m;
- if(m.size()+1==newRing.getNumberOfVariables())
+ if(m.size()==newRing.getNumberOfVariables())
{
- v.grow(m.size()+1);
- v[m.size()]=degree-v.sum();
ret.mark(Monomial(newRing,v));
}
// assert(m.size()==newRing.getNumberOfVariables());
|