search

nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Hard-coded limits #10

Closed nvcleemp closed 7 years ago

nvcleemp commented 7 years ago

At the moment conjecturing has several hard-coded limits, because it only uses static memory allocation. Since the number of invariants in the Graph Brain projects is rapidly increasing, we are hitting this limit. A more scalable solution might be to use dynamic memory allocation.

nvcleemp commented 7 years ago

There is still a problem with reading the invariant values. At the moment this still just reads lines of length 1024 and parses them for the separate values. This will clearly give a problem if the number of invariants becomes to high. Better would be to not first read in a complete line, but to read the values directly from the file.

nvcleemp commented 7 years ago

Reading the invariants is not an issue, since every value is on a separate line.