--- 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);