assertion failed, KB:-kb_Partition expects its return value to be of type Partition, but computed 2 = 0

[ccshan]

I found this simplify under piecewise test regression on the kronecker_in_simplify branch:

$ maple -q update-archive.mpl
$ maple -q NewSLOTests.mpl
...
Error, (in KB:-kb_Partition) assertion failed, KB:-kb_Partition expects its return value to be of type Partition, but computed 2 = 0
...

[ccshan]

(As discussed at f37339e)

[yuriy0]

This should be fixed by d57b349 (and then subsequent bugs which are revealed by the fixing of this one are fixed in a3a98f5 and a0fc283).

I only ran the Maple tests (not Haskell ones) but this shouldn't break anything.

[JacquesCarette]

Thank you @yuriy0. I'll try to run the Haskell tests before I close this one.