Re: [Axiom-developer] out of space

[William Sit]

Franz Lehner wrote:

> > Question: How exactly do I issue an ALLOCATE command?
> For me a command like
> )lisp (si::allocate-contiguous-pages 30000 t)
> seemed to work, although only at the beginning of a session.
> You can get memory information with
> )lisp (room)
>
> I found this somewhere on the axiom-wiki and do not know any background.
>
> regards,
> Franz

Thanks. I'll give that a try. Thanks also to Mike Hansen for providing the
generators of the radical ideal. Per Tim's request, here is the input file:

dmp3:=DMP([y3,x3,y2,x2,y1,x1,y0,x0],INT)
f0:dmp3:=y0^2-x0^3
f1:dmp3:=2*y0*y1-3*x0^2*x1
f2:dmp3:=2*y1^2+2*y2*y0 - 3*x2*x0^2 - 6*x1^2*x0
f3:dmp3:= 2*y3*y0 + 2*y2*y1 - 3*x3*x0^2 - 18*x2*x1*x0 + 4*y1*y2 - 6*x1^3
id3:=ideal([f0,f1,f2,f3])
rid3:=radical(id3)

The output at abort:

>> System error:
   The storage for VECTOR is exhausted.
Currently, 10765 pages are allocated.
Use ALLOCATE to expand the space.

protected-symbol-warn called with (NIL)

The following is the info after issueing
)lisp (room)
after the abort:


(15) -> )list (room)
   Unknown system command: list
(15) -> )lisp (room)

 53886/90154  37.6%   10244 CONS RATIO COMPLEX STRUCTURE
   721/721        66.3%     364  FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE
READTABLE NIL
   219/500        99.5%             SYMBOL STREAM
     1/8             23.1%             PACKAGE
 10765/14244  76.6%     585  ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME
CCLOSURE FAT-STRING
   108/500        69.9%            STRING
 10613/13376  55.3%     180  CFUN BIGNUM LONG-FLOAT
    33/89          99.5%             SFUN GFUN CFDATA SPICE NIL
  4294/5347                       1  contiguous (246 blocks)
       2000                               hole
       22029       81.7%    3545 relocatable

     76346 pages for cells
    104669 total pages
         0 pages available
     26403 pages in heap but not gc'd + pages needed for gc marking
    131072 maximum pages
Value = NIL


However, I do not know what the info mean. It seems that the problem is with
array hash-table vector.




William