Re: [isabelle] Algebraic_Numbers



On 03/06/16 23:17, Lars Hupel wrote:
>
>> Stepping back further, the question is why Algebraic_Number_Tests
>> requires so much persistent heap memory that sessions built on it might
>> get into problems. Maybe there is a deeper resource problem behind it.
>
> That is an excellent question. I still can't quite put my finger on it
> as to why that single theory forces us to run AFP tests in bulky 64 bit
> mode.

I did not know that the situation is that bad.

An important point if AFP tests is to see if everything still works
nicely in the small x86 heap model. That is one aspect of the "invisible
concrete wall".


Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.