Thank you Ralf !! I retrieved your modified branch with the command:
$ git clone https://github.com/hemmecke/fricas.git -b fix-aldor-interface Then configured using your new local Aldor source option: $ mkdir fricas-build $ cd fricas-build $ ../fricas/configure --with-lisp=sbcl --enable-aldor=$HOME/aldor-src The build: $ make -j4 Install $ su $ make install Running produces: wspage@intel:~> fricas Checking for foreign routines AXIOM="/usr/local/lib/fricas/target/x86_64-suse-linux" spad-lib="/usr/local/lib/fricas/target/x86_64-suse-linux/lib/libspad.so" foreign routines found STYLE-WARNING: Undefined alien: "gmp_wrap_sb_isqrt" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_mul" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_gcd" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_div_rem" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_isqrt" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_mul" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_gcd" STYLE-WARNING: Undefined alien: "gmp_wrap_sb_div_rem" openServer result 0 FriCAS (AXIOM fork) Computer Algebra System Version: FriCAS 2011-12-12 Timestamp: Saturday December 31, 2011 at 18:22:07 ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave FriCAS and return to shell. ----------------------------------------------------------------------------- (1) -> (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-medium-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. --- Should I be concerned about the STYLE-WARNING messages on start up? I thought the hyperdoc "Cannot load font" messages had disappeared but now I see them again. I am not sure why. Everything seems ok. As a perhaps a somewhat difficult test I tried the Aldor source at: http://axiom-wiki.newsynthesis.org/SandBoxAldorJoinAndMeet It compiles fine and returns the same results as shown on this page except for this case: (1) -> f$DM12 >> System error: The value #1=#(0 #2=(# . #3=(#S(FOAM-USER::|Struct-runtime-51| :|rtAssertMessage-0| (# . #3#) :|dbgPaused?-1| NIL :|rtDebugPaused!-2| (# . #3#) :|rtDebugPaused?-3| (# . #3#) :|rtDebugStep-4| (# . #3#) :|rtDebugCall-5| (# . #3#) :|rtDebugCatch-6| (# . #3#) :|rtDebugThrow-7| (# . #3#) :|rtDebugAssign-8| (# . #3#) :|rtDebugExit-9| (# . #3#) :|rtDebugReturn-10| (# . #3#) :|rtDebugInside-11| (# . #3#) :|rtDebugEnter-12| (# . #3#) :|rtDebugInit-13| (# . #3#) :|rtDoDebug-14| (# . #3#) :|rtSingleParamNameFn-15| (# . #3#) :|rtConstNameFn-16| (# . #3#) :|namePartFrString-17| (# . #3#) :|namePartFrOther-18| (# . #3#) :|namePartConcat-19| (# . #3#) :|rtLazyDomFrInit-20| (# . #3#) :|rtLazyCatFrInit-21| (# . #3#) :|rtDelayedGetExport!-22| (# . #3#) :|rtDelayedInit!-23| (# . #3#) :|rtCacheDynamicAdd-24| (# . #3#) :|rtCacheDynamicCheck-25| (# . #3#) :|rtCacheDynamicMake-26| (# . #3#) :|rtCacheAdd-27| (# . #3#) :|rtCacheCheck-28| (# . #3#) :|rtCacheExplicitMake-29| (# . #3#) :|rtCacheMake-30| (# . #3#) :|domainPrepare!-31| (# . #3#) :|rtAddStrings-32| (# . #3#) :|rtConstSIntFn-33| (# . #3#) :|lazyForceImport-34| (# . #3#) :|lazyGetExport!-35| (# . #3#) :|extendFill!-36| (# . #3#) :|extendMake-37| (# . #3#) :|noOperation-38| (# . #3#) :|categoryFill!-39| (# . #3#) :|categoryMakeDummy-40| (# . #3#) :|categoryName-41| (# . #3#) :|categoryBuild-42| (# . #3#) :|categoryMake-43| (# . #3#) :|categoryAddExports!-44| (# . #3#) :|categoryAddNameFn!-45| (# . #3#) :|categoryAddParents!-46| (# . #3#) :|domainFill!-47| (# . #3#) :|domainMakeDummy-48| (# . #3#) :|domainName-49| (# . #3#) :|domainHash!-50| (# . #3#) :|domainTestExport!-51| (# . #3#) :|domainGetExport!-52| (# . #3#) :|domainAddNameFn!-53| (# . #3#) :|domainAddHash!-54| (# . #3#) :|domainAddParents!-55| (# . #3#) :|domainAddDefaults!-56| (# . #3#) :|domainAddExports!-57| (# . #3#) :|domainMakeDispatch-58| (# . #3#) :|domainMake-59| (# . #3#) :PRINT-60 (# . #3#) :|box-61| (1) :|ddv-62| #(0 #4=(# . #3#) NIL #5=(# . #3#) #6=(# . #3#) #7=(# . #3#)) :|edv-63| #(0 #8=(# . #3#) NIL #9=(# . #3#) #10=(# . #3#) #11=(# . #3#)) :|adv-64| #1# :|inheritToDummy-65| #7# :|hashDummy-66| #6# :|getDummy-67| #5# :|nameDummy-68| #4# :|inheritToExtend-69| #11# :|nameExtend-70| #8# :|hashExtend-71| #10# :|getExtend-72| #9# :|inheritTo-73| #12=(# . #3#) :|name-74| #2# :|hash-75| #13=(# . #3#) :|get-76| #14=(# . #3#) :|domainStdName-77| (# . #3#) :|serialThis-78| 14 :|inheritTo-79| #15=(# . #3#) :|get-80| #16=(# . #3#) :|domHash-81| #17=(# . #3#) :|name-82| #18=(# . #3#) :|pdv-83| #(0 #18# NIL #16# #17# #15#) :|ddv-84| NIL :|dv-85| #(10 #19=(# . #3#) NIL #20=(# . #3#) #21=(# . #3#) #22=(# . #3#) #23=(# . #3#) #24=(# . #3#)) :|parentCountDummy-86| (# . #3#) :|parentGetDummy-87| (# . #3#) :|hashDummy-88| (# . #3#) :|getDummy-89| (# . #3#) :|buildDummy-90| (# . #3#) :|nameDummy-91| (# . #3#) :|parentGet-92| #24# :|parentCount0-93| #23# :|hash0-94| #21# :|get0-95| #20# :|build0-96| #22# :|name0-97| #19# :|parentGet-98| (# . #3#) :|parentCount0-99| (# . #3#) :|hash0-100| (# . #3#) :|get0-101| (# . #3#) :|build0-102| (# . #3#) :|name0-103| (# . #3#) :|pcdv-104| NIL :|codes-105| (51492427 200121 318525310 306472243 749482564 766522704 585283853 206475020 318069373 301553003 357262396 318528389 113320568 51509389 477900237 318266229 318461307 55906833 680872954 200103 200090 5509732 318204816 318396813 200102 865800279 200089 143562022 715582562 51492941 682776373 352145423 200076 25941349 770345191 318266239 200101 44638651 506619364 287357190 76356179 200086 51500205 9730346 632239194 783695654 200084 200083 581887332 495481649 51488814 200143 200145 200144 51482908) :|names-106| ("<=% (1) -> -- The printing of this error message seems to be terminated early. I am not sure yet why this result differs from an old version of FriCAS and the Aldor interface. Regards, Bill Page. On Sat, Dec 31, 2011 at 1:58 PM, Ralf Hemmecke <[email protected]> wrote: > Success! Fixed FriCAS-Aldor-Interface again! Please test! > > > > >> I am affraid that indeed FriCAS does not store conditions in >> export lists of default packages. > > > OK. I took the old machinery for this case. > > And wrt > http://groups.google.com/group/fricas-devel/browse_thread/thread/37ac49e7eea7fe59?hl=en > I simply used > > SUBLISLIS($FormalMapVariableList, $TriangleVariableList, argtypes) > > to translate the |t#i| arguments into |#i|. > > I've pushed a few patches to the fix-aldor-interface branch on my github > account. > > https://github.com/hemmecke/fricas/tree/fix-aldor-interface > > Look at the complete differences here: > https://github.com/hemmecke/fricas/compare/fix-aldor-interface > > I'll probably add a few more comments before I'll commit it to the SVN > trunk, but I wanted to make the fix available in 2011. ;-) > > The basic idea is for something like > > > HomogeneousAggregate(S:Type): Category == Aggregate with > if S has SetCategory then > if S has Evalable S then Evalable S > ... > > ax.boot will now produce > > > (|If| (|Test| (|Has| |#1| |SetCategory|)) > (|If| (|Test| > (|Has| |#1| > (|Apply| |Evalable| > (|PretendTo| |#1| |SetCategory|)))) > (|Apply| |Evalable| > (|PretendTo| |#1| > (|With| > (|Apply| |Join| > > (|Apply| |Evalable| (|PretendTo| |#1| |SetCategory|)) > |SetCategory|) > NIL))) > NIL) > NIL) > > in other words > > > if S has SetCategory then > if S has Evalable(S pretend SetCategory) then > Evalable(S pretend Join( > Evalable(S pretend SetCategory), > SetCategory > ) > ) > > If we had S:T instead of the special S:Type from aboe, the type T would be > joined appropriately, i.e. you would see Join(SetCategory, T) instead of > just SetCategory inside the |PretendTo|. > > Please test whether a build with --enable-aldor works for you. > > Waldek, I'll add a few more comments to ax.boot and then commit the series. > Are you OK with that? > > Ralf > > PS: > Here is the log for the respective commits. > > commit 6ffaf7f850caf532e955e7a3b8a95e2105562f25 > Author: Ralf Hemmecke <[email protected]> > Date: Sat Dec 31 00:27:30 2011 +0100 > > fix aldor-interface > > commit 07e6ab9c2ff0744765dc7f2a4c29d7737b8ebe71 > Author: Ralf Hemmecke <[email protected]> > Date: Wed Nov 23 22:04:41 2011 +0100 > > enable Matrix over SemiRng+AbelianMonoid > > commit 47e3343112cef23c0c94118c00687986c8cbd191 > Author: Ralf Hemmecke <[email protected]> > Date: Wed Nov 23 10:41:50 2011 +0100 > > remove "r"::Symbol from type > > The translation in src/interp/ax.boot can currently not cope with > UnivariatePolynomial("r"::Sy, FI) > It will be wrongly translated into something involving "Enumeration". > The compilation for libaldor.al then aborts with > > "ap/CKP.ap", line 28: > (|Apply| |::| (|Apply| |Enumeration| |r|) |Symbol|) > ..................^ > [L28 C19] #1 (Error) There are no suitable meanings for the operator > `::'. > > The translation into an Enumeration type is clearly wrong here. > > Removing the need for an explicit name of the polynomial variable seems > to > be appropriate even without the above bug in ax.boot. > > commit 3144e92659cbedc1aa6186f9e74bfb0116bdc92f > Author: Ralf Hemmecke <[email protected]> > Date: Sun Nov 20 23:37:57 2011 +0100 > > fix argument order in jet package (JGB) > > Aldor requires that dependency of arguments is "increasing". > > commit 3fd1f4bb883fa617b9469831f3bb8b765b359094 > Author: Ralf Hemmecke <[email protected]> > Date: Sat Dec 31 16:14:23 2011 +0100 > > enable configuration of local aldor source files > > If a checkout of trunk (revision 23) of the Aldor SVN repository is in > directory D then "configure --enable-aldor=$D" will take the necessary > sourcefiles from this directory instead of contacting the Internet. > > commit 9c0c639c91e77624887b12deb31f3cff397a04d4 > Author: Ralf Hemmecke <[email protected]> > Date: Sat Dec 31 14:37:22 2011 +0100 > > allow ALDORSOURCE in local file system > > This allows for "make ALDORSOURCE=$HOME/path/to/aldor-trunk" in order > to build libaldor.al and use the necessary .as files from the local > file system. > > > > -- > 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. > -- 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.
