> Bill Page made a project on cloud called "Test Aldor in Sage Cloud",
> added me to it, and I've now added you to it.
> I "apt-get install"'ed the packages you mentioned above. There's a
> directory in the project called "fricas" and a terminal "fricas.term"
> opened there. I tried running your instructions and it didn't work.
> Any chance you can take a look and fix things to at least build
> locally in that project? Once I have a script to automate the build,
> then this new fricas will be a standard part of cloud.sagemath
> henceforth.
Hi Bill, hello William,
take a look into $HOME/fricas/rhx-instructions. Using
bash rhx-instructions
cd fricas && make install
will install fricas locally into $HOME/local. I'm sure you find the
--prefix if you want to install it globally.
I've tested with the myfib.as, but I don't pretend that everything is
working fine.
Anyway, it's a good opportunity to get more feedback wrt the
FriCAS-Aldor connection.
And indeed, there seem to be issues with the fricas-aldor interface (see
below).
Waldek, do you have any idea where this error might come from. Looking
at the very bottom seems to suggest that it's something connected to the
exponent in the series.
I don't quite understand the problem since it works with L, but not with
S, although S (FunnySeries) is, in fact, only calling the respective
operations from L.
Ralf
======= funny.as ========================
#include "axiom"
L ==> UnivariateLaurentSeries(F, v, c);
FunnySeries(F: Field, v: Symbol, c: F): Field with {
coerce: L -> %;
coerce: % -> L;
} == add {
Rep == L;
import from L;
coerce(l: L): % == per l;
coerce(x: %): L == rep x;
(x: %) + (y: %): % == per (rep x * rep y);
(x: %) * (y: %): % == per (rep x + rep y);
(x: %) = (y: %): Boolean == rep x = rep y;
coerce(x: %): OutputForm == {
OF ==> OutputForm;
import from List OF;
hconcat ["funny(" :: OF, rep(x) :: OF, ")" :: OF];
}
hashUpdate!(h: HashState, x: %): HashState == hashUpdate!(h, rep x);
0: % == per(0$Rep);
1: % == per(1$Rep);
_-(x: %): % == per(-rep x);
characteristic(): NonNegativeInteger == characteristic()$Rep;
}
========================================
(1) -> )co funny.as
Compiling FriCAS source code from file
/home/hemmecke/scratch/funny.as using AXIOM-XL compiler and
options
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y
$AXIOM/algebra -I $AXIOM/algebra
Use the system command )set compiler args to change these
options.
Internal warning: Use Env called outside gl0Prog (glvLexFormats is NULL)
Compiling Lisp source code from file ./funny.lsp
Issuing )library command for funny
Reading /home/hemmecke/scratch/funny.asy
FunnySeries is now explicitly exposed in frame frame1
FunnySeries will be automatically loaded when needed from
/home/hemmecke/scratch/funny
(1) -> I ==> Integer
Type:
Void
(2) -> Q ==> Fraction I
Type:
Void
(3) -> L ==> UnivariateLaurentSeries(Q, v, c)
Type:
Void
(4) -> S ==> FunnySeries(Q, v, c)
Type:
Void
(5) -> c: Q := 0
(5) 0
Type:
Fraction(Integer)
(6) -> v: Symbol := "z" :: Symbol
(6) z
Type:
Symbol
(7) -> l1: L := 1$L
(7) 1
Type:
UnivariateLaurentSeries(Fraction(Integer),z,0)
(8) -> lx := integrate(l1)
(8) z
Type:
UnivariateLaurentSeries(Fraction(Integer),z,0)
(9) -> s1: S := l1 :: S
(9) funny(1)
Type:
FunnySeries(Fraction(Integer),z,0)
(10) -> sx := lx :: S
(10) funny(z)
Type:
FunnySeries(Fraction(Integer),z,0)
(11) -> s2 := s1 * s1
(11) funny(2)
Type:
FunnySeries(Fraction(Integer),z,0)
(12) -> l2 := s2 :: L
(12) 2
Type:
UnivariateLaurentSeries(Fraction(Integer),z,0)
(13) -> integrate l2
(13) 2z
Type:
UnivariateLaurentSeries(Fraction(Integer),z,0)
(14) -> s2x := integrate(l2)::S
(14) funny(2z)
Type:
FunnySeries(Fraction(Integer),z,0)
(15) -> s2x * sx
(15) funny(3z)
Type:
FunnySeries(Fraction(Integer),z,0)
(16) -> lx * lx
2
(16) z
Type:
UnivariateLaurentSeries(Fraction(Integer),z,0)
(17) -> sx2:=(lx * lx) :: S
2
(17) funny(z )
Type:
FunnySeries(Fraction(Integer),z,0)
(18) -> sx2*sx
2
(18) funny(z + z )
Type:
FunnySeries(Fraction(Integer),z,0)
(19) -> sx2*sx*s1
2
(19) funny(1 + z + z )
Type:
FunnySeries(Fraction(Integer),z,0)
(20) -> sx2+sx2
>> System error:
The value 2 is not of type CONS.
(20) -> sx+sx2
>> System error:
The value 1 is not of type CONS.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
