search

VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Allocation of a large matrix takes a lot of time #373

Closed kilohsakul closed 10 months ago

kilohsakul commented 10 months ago

Michal Š found in his version of Mata that allocating large matrix in the product construction, 1000^2, takes a lot of time. We should try it in the new mata, make benchmark for it, solve it.

Adda0 commented 10 months ago

The results were interpreted incorrectly. The product construction is not expensive in this case. The time is spent in the creation of said matrix instead of in the product construction.