--- src/library/tools/givtruncdomain.inl.orig 2017-06-09 07:44:59.000000000 -0600
+++ src/library/tools/givtruncdomain.inl 2018-06-04 15:25:04.361817033 -0600
@@ -54,7 +54,8 @@ inline typename TruncDom<Domain>::Rep& T
if (sR == 0) { return assign(R,P); }
Degree vP; val(vP, P);
Degree vR; val(vR, R);
-
+ sP = P.first.size();
+ sR = R.first.size();
if (vR > vP) {
expand(R, vP);