Unfortunately, there is another problem now. FriCAS (trunk+patch)
compiles fine, but the build of libaxiom.al still fails.
FriCAS r1037+patch is compiling fine (including libaxiom.al).
Interestingly, after bisecting, the bad commit is r1080 (Add jet bundle
framework).
https://github.com/hemmecke/fricas/commit/3eafd98605ff72739b5372f4610514f618e2b757
I get another error message as in my last mail (see below).
That error message is somewhat strange, but I would argue that the spad
sources are wrong.
The line
table : L % -> M %
https://github.com/hemmecke/fricas/commit/3eafd98605ff72739b5372f4610514f618e2b757#L8R3387
basically wants to build a matrix over %, but we have
JetVectorField(JB : JBC, D : JBFC JB) : Cat == Def where
...
Cat ==> Module(D) with
...
% is in not what Matrix requires, i.e..
Join(SemiRng, AbelianMonoid)
https://github.com/hemmecke/fricas/blob/master/src/algebra/matrix.spad.pamphlet#L80
or rather
Ring
https://github.com/hemmecke/fricas/blob/3eafd98605ff72739b5372f4610514f618e2b757/src/algebra/matrix.spad.pamphlet#L80
for r1080 (the revision that introduced JetBundle).
This looks like a bug in the compiler (it should complain) and in
src/algebra/jet.spad.pamphlet.
Should I file a bug?
BTW, looks like jet.spad.pamphlet can easily be fixed. The function
"table" is nowhere called in that file and can therefore easily change
it's return type to a two-dimensional array instead of Matrix.
Ralf
=====================================================================
aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L AxiomLib=axiom_JVF
-fao=ao/JVF.ao ap/JVF.ap
#1 (Error) The interpretation of the type expression
-- Module(#2) with
diff: (#1) -> %
diffX: (PositiveInteger) -> %
diffU: (PositiveInteger) -> %
diffP: (PositiveInteger,
List(NonNegativeInteger)) -> %
coefficients: (%) -> List(#2)
directions: (%) -> List(#1)
coefficient: (%, #1) -> #2
copy: (%) -> %
commutator: (%, %) -> %
table: (List(%)) -> Matrix(%)
lie: (%, %) -> %
eval: (%, #2) -> #2
prolong: (%, NonNegativeInteger) -> %
failed to satisfy the condition that
-- Module(#2) with
diff: (#1) -> %
diffX: (PositiveInteger) -> %
diffU: (PositiveInteger) -> %
diffP: (PositiveInteger,
List(NonNegativeInteger)) -> %
coefficients: (%) -> List(#2)
directions: (%) -> List(#1)
coefficient: (%, #1) -> #2
copy: (%) -> %
commutator: (%, %) -> %
table: (List(%)) -> Matrix(%)
lie: (%, %) -> %
eval: (%, #2) -> #2
prolong: (%, NonNegativeInteger) -> % satisfies
Ring
make[1]: *** [ao/JVF.ao] Error 1
rm ao/.dir
make[1]: Leaving directory `/home/hemmecke/gg/f/build/src/aldor'
make: *** [al/libaxiom.al] Error 2
--
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.
