Success! The last two commits at https://github.com/hemmecke/fricas/tree/fix-aldor-interface fix the problem with a non-building libaxiom.al.
Patches (applicable to r1168) are attached. Is there still someone seeing a problem? May I commit? Ralf -- 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.
>From 7a57cb4d809869f8dba64237deeef505db21fed6 Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Sun, 16 Oct 2011 11:09:50 +0200 Subject: fix "not" precedence in ax.boot Previously, the compilation of libaxiom.al would fail when src/interp/ax.boot was compiled via bootsys instead of depsys. The binding power of "not" in bootsys is much stronger than it was in depsys. --- src/interp/ax.boot | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/interp/ax.boot b/src/interp/ax.boot index 9e950e8..7771c81 100644 --- a/src/interp/ax.boot +++ b/src/interp/ax.boot @@ -60,7 +60,7 @@ makeAxExportForm(filename, constructors) == axForms := [modemapToAx(modemap) for cname in constructors | (modemap:=GETDATABASE(cname,'CONSTRUCTORMODEMAP)) and - (not cname in '(Tuple Exit Type)) and + (not (cname in '(Tuple Exit Type))) and not isDefaultPackageName cname] if $baseForms then axForms := [:$baseForms, :axForms] -- 1.7.4.1
>From 61d37d2d4af1d55ada4e027095d0b68a5e7de281 Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Mon, 17 Oct 2011 20:09:51 +0200 Subject: fix Matrix problem in jet.spad Previously the compilation of libaxiom.al failed, because src/algebra/jet.spad.pamphlet domain JetVectorField exported a function table : List % -> Matrix % Matrix, however, requires its argument to be a ring whereas % is only a Module(...). Matrix replaced by TwoDimensionalArray. --- src/algebra/jet.spad.pamphlet | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/algebra/jet.spad.pamphlet b/src/algebra/jet.spad.pamphlet index 8d1056f..50218c0 100644 --- a/src/algebra/jet.spad.pamphlet +++ b/src/algebra/jet.spad.pamphlet @@ -3384,7 +3384,7 @@ JetVectorField(JB : JBC, D : JBFC JB) : Cat == Def where commutator : (%, %) -> % ++ \axiom{commutator(v, w)} calculates the commutator of two vector fields. - table : L % -> M % + table : L % -> TwoDimensionalArray % ++ \axiom{table(lv)} computes the commutator table for a given list of ++ vector fields. @@ -3581,10 +3581,10 @@ JetVectorField(JB : JBC, D : JBFC JB) : Cat == Def where res2 : % := [reverse! rco, reverse! rjb] res2 - res1 - table(lv : L %) : M % == + table(lv : L %) : TwoDimensionalArray % == len := #lv zero? len => error "empty list in table" - res : M % := new(len, len, 0) + res : TwoDimensionalArray % := new(len, len, 0) for i in 1.. until empty? lv repeat v1 := first lv lv := rest lv -- 1.7.4.1
