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
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
*
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
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 ~
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
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,
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
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
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
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
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
11 matches
Mail list logo