Fixup last3

src/pperm.c

@@ -3681,13 +3681,16 @@ Obj PowPPerm2Perm4(Obj f, Obj p)
     ptp = ADDR_PERM4(p);
     dom = DOM_PPERM(f);
     // find deg of conjugate
-    GAP_ASSERT(dep > deg);
-
-    degconj = 0;
-    for (i = 1; i <= rank; i++) {
-        j = INT_INTOBJ(ELM_PLIST(dom, i)) - 1;
-        if (ptp[j] >= degconj)
-            degconj = ptp[j] + 1;
+    if (deg > dep) {
+        degconj = deg;
+    }
+    else {
+        degconj = 0;
+        for (i = 1; i <= rank; i++) {
+            j = INT_INTOBJ(ELM_PLIST(dom, i)) - 1;
+            if (ptp[j] >= degconj)
+                degconj = ptp[j] + 1;
+        }
     }
 
     conj = NEW_PPERM4(degconj);

tst/testinstall/pperm.tst

@@ -961,7 +961,7 @@ gap> MeetOfPartialPerms(PartialPerm([1]), PartialPerm([2]));
 gap> MeetOfPartialPerms(PartialPerm([1]), PartialPerm([1, 2]));
 <identity partial perm on [ 1 ]>
 gap> MeetOfPartialPerms([]);
-Error, usage: the argument should be a collection of partial perms, 
+Error, usage: the argument should be a collection of partial perms,
 gap> MeetOfPartialPerms([PartialPerm([1]), PartialPerm([1, 2])]);
 <identity partial perm on [ 1 ]>
 gap> MeetOfPartialPerms(SymmetricInverseMonoid(3));
@@ -3332,7 +3332,7 @@ gap> PartialPermOpNC(PartialPerm([1]), SymmetricInverseMonoid(1));
 gap> RandomPartialPerm(4);;
 gap> RandomPartialPerm(2 ^ 60);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 gap> f := RandomPartialPerm([4 .. 10]);;
 gap> IsSubset([4 .. 10], DomainOfPartialPerm(f));
 true
@@ -3345,25 +3345,25 @@ gap> IsSubset([1 .. 5], ImageSetOfPartialPerm(f));
 true
 gap> f := RandomPartialPerm([1, 2 ^ 60]);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 gap> f := RandomPartialPerm([3, 1, 2]);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 gap> f := RandomPartialPerm([1 .. 3], [3, 1, 2]);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 gap> f := RandomPartialPerm([3, 1, 2], [1 .. 3]);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 gap> f := RandomPartialPerm([3, 1, 2], [1, 3, 2 ^ 60]);
 Error, usage: the argument must be a positive integer, a set, or 2 sets, of po\
-sitive integers,
+sitive integers, 
 
 # PartialPermNC
 gap> PartialPermNC(1, 2, 3);
 Error, usage: there should be one or two arguments,
 gap> PartialPerm(1, 2, 3);
-Error, usage: there should be one or two arguments,
+Error, usage: there should be one or two arguments, 
 gap> PartialPerm([1, 2, 2 ^ 60]);
 Error, usage: the argument must be a list of non-negative integers and the non\
 -zero elements must be duplicate-free,