Re: [fricas-devel] Short term plans

2014-04-04 Thread Ralf Hemmecke
xhash.spad.pamphlet. I worked hard to have it that way. ;-) - regenerate Axiom Book from .htex files. Also, produce version for the web. Ralf did good job in this direction, I feel that it remains to do only very little. My memory tells me that it is mostly analysis of how the commands

Re: [fricas-devel] i-output

2014-04-04 Thread Martin Baker
On 04/04/14 00:48, Ralf Hemmecke wrote: That still has some parts that need pretend. Suggestions are welcome how to remove them. In fact, I would be happy to separate the algebraic transformation from the one that is connected to type and language. I somehow believe that the language stuff

Re: [fricas-devel] i-output

2014-04-04 Thread Martin Baker
On 04/04/14 12:13, Ralf Hemmecke wrote: For example, in something relatively simple like this: (1) - parseFromString(2*3.4)$Lisp (1) (* 2 (($elt (Float) float) 34 - 1 10)) Type: SExpression we might just get away without high level

Re: [fricas-devel] Fonts in HyperDoc

2014-04-04 Thread Bill Page
wspage@suse:~ xlsfonts -fn -adobe-courier-medium-r-* | wc -l 240 wspage@suse:~ xlsfonts -fn -adobe-courier-medium-r-* | grep '\-\-18\-' -adobe-courier-medium-r-normal--18-180-75-75-m-110-iso10646-1 -adobe-courier-medium-r-normal--18-180-75-75-m-110-iso10646-1

Re: [fricas-devel] asq

2014-04-04 Thread Waldek Hebisch
Bill Page wrote: There is a program written in C called asq that is still part of FriCAS but it no longer seems to work. It outputs Not found for any query I enter. It was intended as a way to query the daase files outside of hyperdoc. Perhaps there have been some changes to the

Re: [fricas-devel] Short term plans

2014-04-04 Thread Waldek Hebisch
Ralf Hemmecke wrote: Actually, I would like to have most of current .ht files in .htex form, but this is larger effort. I'm not so sure about it. I had the impression that .ht file will not be included in the book format. IIRC most (if not all) current .ht files are original source

Re: [fricas-devel] mathPrint in stream.spad.pamphlet

2014-04-04 Thread Waldek Hebisch
I see if S has SetCategory then output(n, x) == (not(n0))or empty? x = void() mathPrint(frst(x)::OUT)$Lisp output(n-1, rst x) in mathPrint in stream.spad.pamphlet.

Re: [fricas-devel] asq

2014-04-04 Thread Bill Page
On 4 April 2014 17:40, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: ... This is what I tried: wspage@suse:~/fricas-build $AXIOM/bin/asq -all INTEGER Not found! asq needs either abbreviation or a constructor. asq is case sensitive. Try $AXIOM/bin/asq -all Integer

[fricas-devel] News page in HyperDoc

2014-04-04 Thread Waldek Hebisch
Our current News page in HyperDoc is messy. Real news are hidden between old news from NAG and Axiom time. I think on the News page we should have FriCAS news and pointer to older ones (actually two pointers, one to NAG news, the other one to Axiom news). Also, info about generating Fortran

Re: [fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS

2014-04-04 Thread Waldek Hebisch
Bill Page wrote: In any case I now have a patch to the texmacs package in FriCAS that does the utf-8 to Cork conversion. I have attached a draft FriCAS patch, the modified fricas-input plugin and an example document (also in PDF format). Bill, the 'utf8' function look strange: if the