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

[yuriy0]

This should be fixed by d57b349629d29d8b9aeb6e8d23bd275ad7a759e6 (and then subsequent bugs which are revealed by the fixing of this one are fixed in a3a98f519eed9f903728be3e1e4634789d9d3f57 and a0fc283d522d637e3074817f6490c902146d33de).

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.