Re: [fricas-devel] comparable patches and comments on unparse

2009-11-23 Thread Bill Page
Martin Rubey wrote: I would also like to see the rudimentary test file I sent to go with this patch.  One remark: as you probably know, I'm strongly in favour of having InputForm keep all type information.  I tried to prepare such a patch, but there is a small problem in the way the

[fricas-devel] Re: [Axiom-developer] Re: CliffordPackage

2009-11-23 Thread Martin Rubey
Bertfried Fauser bertfried.fau...@googlemail.com writes: I doubt threre is any other place (and I will see if I can chack that, a grep over the code should do, I found CliffordAlgebra mentioned in * browse.daase * category.daase * operation.daase * compres.daase * interp.daase *

[fricas-devel] Re: efricas broken tex output

2009-11-23 Thread Martin Rubey
Bertfried Fauser bertfried.fau...@googlemail.com writes: Hi Martin, after my system change to ubuntu the tex output of efricas is broken, I have installed dvipng which solved the problem that efricas was caught in an endless loop, but still get only an empty square as (tex) output. Dou

Re: [fricas-devel] possible )cd bug

2009-11-23 Thread Waldek Hebisch
Martin Rubey wrote: I'm not sure whether )cd ~ should work on linux: (50) - )cd ~ The current FriCAS default directory is /home/martin/fricas-rate/src/algebra I whoud say that ~ works as it is supposed to work: outside FriCAS: mkdir '~' At FriCAS prompt: (1) - )cd ~

Re: [fricas-devel] possible )cd bug

2009-11-23 Thread Ralf Hemmecke
I whoud say that ~ works as it is supposed to work: outside FriCAS: mkdir '~' At FriCAS prompt: (1) - )cd ~ The current FriCAS default directory is /mnt/a5/fricas/axp19/gn/parse/~ ~ has magic meaning in shell, but it is not clear if extending this magic to other

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Martin Rubey wrote: - )abbrev package LENCHK LengthCheck LengthCheck(): with f: List Integer - Boolean == add f l == if one?(# l) then true else false - is OK,

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Ralf Hemmecke
f l == if one?(# l) then true else false - f l == if one? # l then true else false - I am not sure if this is bug or deliberate restriction: currently

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Ralf Hemmecke wrote: f l == if one?(# l) then true else false - f l == if one? # l then true else false - I am not sure if this is bug or

Re: [fricas-devel] new RECOP

2009-11-23 Thread Martin Rubey
new version... most important change is that I give up trying to determine the number of initial conditions for a functional equation (including linear DE's and ADE's), instead I only check whether the function is rational. Martin -- You received this message because you are subscribed to the

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Ralf Hemmecke
There are also symbolic keywords (symbolic meaning that they allow special characters in their names), like '==', ':, ',', '+', '#' ... Keywords have special meaning to the parser. OK. Parser does not allow you to use keyword in place where normal identfier is expected. I rather like the

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Ralf Hemmecke wrote: Parser does not allow you to use keyword in place where normal identfier is expected. I rather like the approach given here. http://www.aldor.org/docs/HTML/chap4.html#4 The symbol # is an identifier, as are 0 and 1 and + and -, etc. I do not see any essential