Bertfried Fauser wrote:
>
> Hi,
>
> I am trying to compile the recent FriCAS. I have fetched the code from
> Ralf Hemmecke's git repository
> which mirrors the officially svn. I experience the following:
>
> The build seems to work fine, then regression testing starts, my
> (rather decent core i7 system) is
> stuck for _several hours_ (over 3 by now) in a single regression test:
>
> .....
> parsing: ugUserPalPage
> writing: pal? s == palAux?(s,1,#s)
> writing: palAux?(s,i,j) ==
> j > i =>
> (s.i = s.j) and palAux?(s,i+1,i-1)
> true
>
> writing: pal? "Oxford"
> writing: pal? [4,a,x-1,0,x-1,a,4]
> writing: pal? [1,6,15,20,15,6,1]
> writing: pal?(1441::String)
> writing: ones := [reduce(+,[10^j for j in 0..i]) for i in 1..]
> writing: squares := [x^2 for x in ones]
> writing: [pal?(x::String) for x in squares]
> parsing: ugUserOnePage
> writing: fac n == if n < 3 then n else n * fac(n-1)
> writing: fac 10
> writing: s n == reduce(+,[1/i for i in 1..n])
> writing: s 50
> writing: mersenne i == 2^i - 1
> writing: mersenne
> writing: [mersenne i for i in 1..]
> writing: mersenneIndex := [n for n in 1.. | prime?(mersenne(n))]
>
> Is that normal? [BTW: is it clear how many elements of thsi stream are
> computed, could I have here
> a local setup which makes this higher? (I have an .axiom.input file in
> my home directory, it only
> switches tex output on and timing off] What amount of computation
> power and time do I have to
> invest here?
> Any hint welcome
> Cheers
> BF.
>
Comments:
1) This is documentation build, FriCAS is pre-computing examples
that are shown on HyperDoc pages
2) The computations should be reasonably fast -- AFAICS on my
2.4 GHz Core 2 the longest time for a file is below minute
and all examples take few minites to compute (actually more
time is spent waiting for programs to start up then on
computations).
3) By default streams print 10 elements. And yes, your local
setup can change that -- it will take practically forever
if you try to print 40 elements of mersenneIndex...
4) The output from computations goes to src/paste/ug06.pht, it
is possible that this file will contain extra information.
5) Check machine load: if there are errors documentation build
may get stack doing nothing.
6) To debug such problem I usually replace I move
ax-build25/target/x86_64-unknown-linux/bin/AXIOMsys
to
ax-build25/target/x86_64-unknown-linux/bin/AXIOMsys.bin
and instead of AXIOMsys I put there a shell script which looks
like:
#!/bin/sh
exec strace -o /tmp/str.$$
/path/to/target/x86_64-unknown-linux/bin/AXIOMsys.bin "$@" | tee /tmp/tee.$$
Frequently in the output I will see error messages which tell
me what happened.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
