Closed jgray-19 closed 5 months ago
fixed in #dff1d08a it was removed because length of a tpsa is not so obvious to define... in particular, future version of gtpsa lib may use sparse representation...
Finally I changed my mind and remove the __len operator again. The len method has been renamed to mlen and the hi flag has been added, similar to mord. Totable has been updated to not use this method/operator as it could book a large amount of memory beforehand for nothing.
In PyMAD-NG the tests are currently failing, it appears that the
totable
is the cause of it.The following represents what seems to happen.