I just checked in version 91 (and, due to stupidity, version 90) of
axiom-port.
It seems that everything is working now. Many many thanks are due to Christian
for digging out old mail I should have well known! And, even more importantly,
for making me understand why "interpret" (was: "grammar") works!
Ralf: I cannot reproduce the problems you had. However, at some point, I had to
say
)lib csaxal csspexpr csstream csseries csspecies csparse csinterp
twice, otherwise I would get strange "memory may be damaged" errors.
FOAM-USER::|fiRaiseException| is invalid as a function.
may have to do with extending things. Which version of Aldor, which version of
Axiom are you using? Maybe you could try to comment out the extend Generator
stuff in src/axal.as, i.e., lines 110 to 120.
Here is my log, but that's version 91 of axiom-port...
I'd hope we get that running.
Martin
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat$ make distclean
make: *** No rule to make target `distclean'. Stop.
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat$ aldor -v
Aldor version 1.0.3 for LINUX(glibc2.3)
#1 (Warning) No files! Type `aldor -help' for help.
Totals:
Time 0.0 s
Store 592 K pool, 229K alloc - 39K free - 18K gc = 172K final
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat$ notangle -t8
Makefile.nw > Makefile
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat$ make
VARIANTSTOBUILD=axiom
Makefile:52: Makefile.def: No such file or directory
Makefile:56: Makefile.inc: No such file or directory
Makefile:182: Makefile.showexports: No such file or directory
echo "" > Makefile.showexports
notangle -t8 Makefile.inc.nw > Makefile.inc
notangle -t8 Makefile.def.nw > Makefile.def
notangle
/users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl.nw >
/users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
Makefile.nw | notangle -t8 > Makefile
if [ "x/users/rubey/aldor/linux/1.0.3" = "x" ] ; then \
echo "*** ALDORROOT is not set. See Makefile.inc.nw"; fi
[ "x/users/rubey/aldor/linux/1.0.3" != "x" ]
rm -rf lib
make CMD=all /users/rubey/combinat/branches/axiom-port/combinat/tools.code
tools.dir include.dir src.dir
make[1]: Entering directory `/users/rubey/combinat/branches/axiom-port/combinat'
notangle -t8
/users/rubey/combinat/branches/axiom-port/combinat/tools/Makefile.nw >
/users/rubey/combinat/branches/axiom-port/combinat/tools/Makefile
cd /users/rubey/combinat/branches/axiom-port/combinat/tools && make SUBMAKE=""
code
make[2]: Entering directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
# @echo CODE:: nwescape.pl aldordoc2tex.pl addaldortypedef.pl
aldordoc2codechunk.pl api.pl asfiles.pl dependencies.pl generateTestCases.pl
generateTestSuite.pl showexports2aldordoc.pl undocumented.pl Makefile
make nwescape.pl aldordoc2tex.pl addaldortypedef.pl aldordoc2codechunk.pl
api.pl asfiles.pl dependencies.pl generateTestCases.pl generateTestSuite.pl
showexports2aldordoc.pl undocumented.pl Makefile
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make[3]: `nwescape.pl' is up to date.
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
aldordoc2tex.pl.nw | notangle > aldordoc2tex.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
addaldortypedef.pl.nw | notangle > addaldortypedef.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
aldordoc2codechunk.pl.nw | notangle > aldordoc2codechunk.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
api.pl.nw | notangle > api.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
asfiles.pl.nw | notangle > asfiles.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
dependencies.pl.nw | notangle > dependencies.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
generateTestCases.pl.nw | notangle > generateTestCases.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
generateTestSuite.pl.nw | notangle > generateTestSuite.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
showexports2aldordoc.pl.nw | notangle > showexports2aldordoc.pl
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
undocumented.pl.nw | notangle > undocumented.pl
make[3]: `Makefile' is up to date.
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make[2]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
echo "" > /users/rubey/combinat/branches/axiom-port/combinat/tools.code
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/asfiles.pl
/users/rubey/combinat/branches/axiom-port/combinat combinat tools \
|cpif tools/Makefile.asfiles
notangle -t8 tools/Makefile.nw |cpif tools/Makefile
cd tools && make all
make[2]: Entering directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
# @echo CODE:: nwescape.pl aldordoc2tex.pl addaldortypedef.pl
aldordoc2codechunk.pl api.pl asfiles.pl dependencies.pl generateTestCases.pl
generateTestSuite.pl showexports2aldordoc.pl undocumented.pl Makefile
make nwescape.pl aldordoc2tex.pl addaldortypedef.pl aldordoc2codechunk.pl
api.pl asfiles.pl dependencies.pl generateTestCases.pl generateTestSuite.pl
showexports2aldordoc.pl undocumented.pl Makefile
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make[3]: `nwescape.pl' is up to date.
make[3]: `aldordoc2tex.pl' is up to date.
make[3]: `addaldortypedef.pl' is up to date.
make[3]: `aldordoc2codechunk.pl' is up to date.
make[3]: `api.pl' is up to date.
make[3]: `asfiles.pl' is up to date.
make[3]: `dependencies.pl' is up to date.
make[3]: `generateTestCases.pl' is up to date.
make[3]: `generateTestSuite.pl' is up to date.
make[3]: `showexports2aldordoc.pl' is up to date.
make[3]: `undocumented.pl' is up to date.
make[3]: `Makefile' is up to date.
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make CMD=code /users/rubey/combinat/branches/axiom-port/combinat/tools.code
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make[3]: `/users/rubey/combinat/branches/axiom-port/combinat/tools.code' is up
to date.
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
make[2]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/allprose/tools'
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/asfiles.pl
/users/rubey/combinat/branches/axiom-port/combinat combinat include \
|cpif include/Makefile.asfiles
notangle -t8 include/Makefile.nw |cpif include/Makefile
cd include && make all
make[2]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
# @echo CODE:: Makefile combinat.as
make Makefile combinat.as
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
make[3]: `Makefile' is up to date.
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
combinat.as.nw | notangle > combinat.as
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
make CMD=code /users/rubey/combinat/branches/axiom-port/combinat/tools.code
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
make[3]: `/users/rubey/combinat/branches/axiom-port/combinat/tools.code' is up
to date.
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
make[2]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/include'
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/asfiles.pl
/users/rubey/combinat/branches/axiom-port/combinat combinat src \
|cpif src/Makefile.asfiles
notangle -t8 src/Makefile.nw |cpif src/Makefile
cd src && make all
make[2]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
Makefile:65: Makefile.dep: No such file or directory
rm -f asfiles.list
(for f in axal interp multinom parse series species spexpr stream; do \
echo combinat src/$f cs >> asfiles.list; \
done)
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
axal.as.nw | notangle -t8 > axal.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
interp.as.nw | notangle -t8 > interp.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
multinom.as.nw | notangle -t8 > multinom.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
parse.as.nw | notangle -t8 > parse.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
series.as.nw | notangle -t8 > series.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
species.as.nw | notangle -t8 > species.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
spexpr.as.nw | notangle -t8 > spexpr.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl
stream.as.nw | notangle -t8 > stream.as
Generate cscombinatversion.as ...
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
axal.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "axal.as.nw"%N' > csaxal.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
interp.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "interp.as.nw"%N' > csinterp.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
multinom.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "multinom.as.nw"%N' > csmultinom.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
parse.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "parse.as.nw"%N' > csparse.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
series.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "series.as.nw"%N' > csseries.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
species.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "species.as.nw"%N' > csspecies.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
spexpr.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "spexpr.as.nw"%N' > csspexpr.as
perl
/users/rubey/combinat/branches/axiom-port/combinat/tools/aldordoc2codechunk.pl
stream.as.nw |\
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/nwescape.pl |
notangle -L'--#line %L "stream.as.nw"%N' > csstream.as
perl /users/rubey/combinat/branches/axiom-port/combinat/tools/dependencies.pl \
asfiles.list combinat /users/rubey/combinat/branches/axiom-port/combinat >
Makefile.dep
C CombinatorialSpecies combinat src/species cs
C ExpressionTreeOperator combinat src/axal cs
C ExpressionType combinat src/axal cs
C FormalPowerSeriesCategory combinat src/series cs
C GeneratingSeriesCategory combinat src/series cs
C LabelType combinat src/species cs
D APrimitiveArray combinat src/axal cs
D CharacteristicSpecies combinat src/species cs
D DataStream combinat src/stream cs
D EmptySetSpecies combinat src/species cs
D ExponentialGeneratingSeries combinat src/series cs
D ExpressionTree combinat src/axal cs
D ExpressionTreeExpt combinat src/axal cs
D ExpressionTreeLeaf combinat src/axal cs
D ExpressionTreePlus combinat src/axal cs
D ExpressionTreePrefix combinat src/axal cs
D ExpressionTreeTimes combinat src/axal cs
D FormalPowerSeries combinat src/series cs
D IntegerLabel combinat src/species cs
D Interpret combinat src/interp cs
D InterpretingTools combinat src/interp cs
D LabelSpecies combinat src/interp cs
D MultinomialTools combinat src/multinom cs
D MyParser combinat src/parse cs
D OrdinaryGeneratingSeries combinat src/series cs
D Partial combinat src/axal cs
D Plus combinat src/species cs
D RestrictedSpecies combinat src/species cs
D SeriesOrder combinat src/series cs
D SetPartition combinat src/species cs
D SingletonSpecies combinat src/species cs
D SpeciesExpression combinat src/spexpr cs
D Times combinat src/species cs
E Generator combinat src/axal cs
E Integer combinat src/species cs
E MachineInteger combinat src/species cs
E Set combinat src/species cs
E String combinat src/species cs
make[2]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make[2]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make SUBLIBRARYNAME=combinat \
SUBLIBPREFIX=cs libraryvariants
make[3]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make VARIANT=axiom \
VARIANTPOSTFIX="ax" \
VARIANTFLAGS=" \
-lcombinatax \
-dAxiom \
-O -Fasy -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -Y
/users/rubey/axiom/mnt/linux/algebra" \
LIB="libcombinatax" \
LIBRARY.al LIBRARY.a
make[4]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make LIBPOSTFIX="ax.al" \
FILEEXTENSION="ao" \
FLAGS="-Y /users/rubey/combinat/branches/axiom-port/combinat/src -Y .
-Y /users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev" \
LIBEXTENSION=al \
BUILDTEXT libcombinatax.al
make[5]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
======= Building libcombinatax.al with FLAGS =======
-Y /users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev
======= Building libcombinatax.al end FLAGS =======
Compiling cscombinatversion.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev cscombinatversion.as
#1 (Warning) Could not use archive file `libcombinatax.al'.
ar rv libcombinatax.al cscombinatversion.ao
ar: creating libcombinatax.al
a - cscombinatversion.ao
rm -f cscombinatversion.ao
Compiling csaxal.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csaxal.as
"csaxal.as", line 249:
operator(t: %): ExpressionTreeOperator == (rep t).tree.op;
.................^
[L249 C18] #1 (Warning) Function returns a domain that might not be constant
(which may cause problems if it is used in a dependent type).
ar rv libcombinatax.al csaxal.ao
a - csaxal.ao
rm -f csaxal.ao
Compiling csmultinom.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csmultinom.as
ar rv libcombinatax.al csmultinom.ao
a - csmultinom.ao
rm -f csmultinom.ao
Compiling csstream.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csstream.as
ar rv libcombinatax.al csstream.ao
a - csstream.ao
rm -f csstream.ao
Compiling csseries.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csseries.as
"csseries.as", line 617: )(t: %): () == {
.^
[L617 C2] #1 (Warning) Suspicious juxtaposition. Check for missing `;'.
Check indentation if you are using `#pile'.
ar rv libcombinatax.al csseries.ao
a - csseries.ao
rm -f csseries.ao
Compiling csspexpr.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csspexpr.as
ar rv libcombinatax.al csspexpr.ao
a - csspexpr.ao
rm -f csspexpr.ao
Compiling csspecies.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csspecies.as
"csspecies.as", line 442: )(L: LabelType): CombinatorialSpecies L == F L add {
.^
[L442 C2] #1 (Warning) Suspicious juxtaposition. Check for missing `;'.
Check indentation if you are using `#pile'.
"csspecies.as", line 661: )(L: LabelType): CombinatorialSpecies(L) == add {
.^
[L661 C2] #2 (Warning) Suspicious juxtaposition. Check for missing `;'.
Check indentation if you are using `#pile'.
"csspecies.as", line 713: )(L: LabelType): CombinatorialSpecies(L) == add {
.^
[L713 C2] #3 (Warning) Suspicious juxtaposition. Check for missing `;'.
Check indentation if you are using `#pile'.
ar rv libcombinatax.al csspecies.ao
a - csspecies.ao
rm -f csspecies.ao
Compiling csinterp.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csinterp.as
ar rv libcombinatax.al csinterp.ao
a - csinterp.ao
rm -f csinterp.ao
Compiling csparse.as ...
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fao
-dMacrosCombinat -Mno-mactext -M2 -Mno-abbrev csparse.as
"csparse.as", line 102: s := delete(s, 1..pos+1);
..................................^
[L102 C35] #1 (Warning) Local `pos' is used without being assigned or defined.
"csparse.as", line 116: local c: Character;
..............^
[L116 C15] #2 (Warning) Local `c' is not assigned, defined, or used.
ar rv libcombinatax.al csparse.ao
a - csparse.ao
rm -f csparse.ao
make[5]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make LIBPOSTFIX="ax.a" \
FILEEXTENSION="o" \
FLAGS="-Y /users/rubey/combinat/branches/axiom-port/combinat/src -Y .
-Y /users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0" \
LIBEXTENSION=a \
BUILDTEXT libcombinatax.a
make[5]: Entering directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
======= Building libcombinatax.a with FLAGS =======
-Y /users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0
======= Building libcombinatax.a end FLAGS =======
ar x libcombinatax.al cscombinatversion.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 cscombinatversion.ao;
rm -f cscombinatversion.ao;
ar rv libcombinatax.a cscombinatversion.o
ar: creating libcombinatax.a
a - cscombinatversion.o
rm -f cscombinatversion.o
ar x libcombinatax.al csaxal.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csaxal.ao;
rm -f csaxal.ao;
ar rv libcombinatax.a csaxal.o
a - csaxal.o
rm -f csaxal.o
ar x libcombinatax.al csmultinom.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csmultinom.ao;
rm -f csmultinom.ao;
ar rv libcombinatax.a csmultinom.o
a - csmultinom.o
rm -f csmultinom.o
ar x libcombinatax.al csstream.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csstream.ao;
rm -f csstream.ao;
ar rv libcombinatax.a csstream.o
a - csstream.o
rm -f csstream.o
ar x libcombinatax.al csseries.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csseries.ao;
rm -f csseries.ao;
ar rv libcombinatax.a csseries.o
a - csseries.o
rm -f csseries.o
ar x libcombinatax.al csspexpr.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csspexpr.ao;
rm -f csspexpr.ao;
ar rv libcombinatax.a csspexpr.o
a - csspexpr.o
rm -f csspexpr.o
ar x libcombinatax.al csspecies.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csspecies.ao;
rm -f csspecies.ao;
ar rv libcombinatax.a csspecies.o
a - csspecies.o
rm -f csspecies.o
ar x libcombinatax.al csinterp.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csinterp.ao;
rm -f csinterp.ao;
ar rv libcombinatax.a csinterp.o
a - csinterp.o
rm -f csinterp.o
ar x libcombinatax.al csparse.ao;
/users/rubey/aldor/linux/1.0.3/bin/aldor -Y
/users/rubey/combinat/branches/axiom-port/combinat/src -Y . -Y
/users/rubey/aldor/linux/1.0.3/lib -I
/users/rubey/combinat/branches/axiom-port/combinat/include -I
/users/rubey/aldor/linux/1.0.3/include -lcombinatax -dAxiom -O -Fasy -Flsp
-laxiom -Mno-ALDOR_W_WillObsolete -Y /users/rubey/axiom/mnt/linux/algebra -fo
-csmax=0 csparse.ao;
rm -f csparse.ao;
ar rv libcombinatax.a csparse.o
a - csparse.o
rm -f csparse.o
ranlib libcombinatax.a
make[5]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make[4]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make[3]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make[2]: Leaving directory
`/users/rubey/combinat/branches/axiom-port/combinat/src'
make[1]: Leaving directory `/users/rubey/combinat/branches/axiom-port/combinat'
mkdir --parents lib
cp src/libcombinat*.a* lib
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat$ cd src/
[EMAIL PROTECTED]:~/combinat/branches/axiom-port/combinat/src$ axiom -nox
AXIOM Computer Algebra System
Version: Axiom (September 2006)
Timestamp: Friday October 20, 2006 at 11:15:49
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
(1) ->
(1) -> )lib csaxal csspexpr csstream csseries csspecies csparse csinterp
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csaxal.asy
Loading /users/rubey/axiom50/mnt/linux/autoload/bc-matrix.
Loading /users/rubey/axiom50/mnt/linux/autoload/bc-misc.
Loading /users/rubey/axiom50/mnt/linux/autoload/bc-solve.
Loading /users/rubey/axiom50/mnt/linux/autoload/bc-util.
Loading /users/rubey/axiom50/mnt/linux/autoload/ht-util.
Loading /users/rubey/axiom50/mnt/linux/autoload/htsetvar.
Loading /users/rubey/axiom50/mnt/linux/autoload/ht-root.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-con.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-data.
Loading /users/rubey/axiom50/mnt/linux/autoload/showimp.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-op1.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-op2.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-search.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-util.
Loading /users/rubey/axiom50/mnt/linux/autoload/topics.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-prof.
Loading /users/rubey/axiom50/mnt/linux/autoload/br-saturn.
ExpressionTreeLeaf is now explicitly exposed in frame frame0
ExpressionTreeLeaf will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTreePrefix is now explicitly exposed in frame frame0
ExpressionTreePrefix will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTreeOperator is now explicitly exposed in frame frame0
ExpressionTreeOperator will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTreeExpt is now explicitly exposed in frame frame0
ExpressionTreeExpt will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTreeTimes is now explicitly exposed in frame frame0
ExpressionTreeTimes will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTreePlus is now explicitly exposed in frame frame0
ExpressionTreePlus will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionTree is now explicitly exposed in frame frame0
ExpressionTree will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
ExpressionType is now explicitly exposed in frame frame0
ExpressionType will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
APrimitiveArray is now explicitly exposed in frame frame0
APrimitiveArray will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
Generator is now explicitly exposed in frame frame0
Generator will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
Partial is now explicitly exposed in frame frame0
Partial will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csaxal
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csspexpr.asy
SpeciesExpression is now explicitly exposed in frame frame0
SpeciesExpression will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspexpr
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csstream.asy
DataStream is now explicitly exposed in frame frame0
DataStream will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csstream
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csseries.asy
OrdinaryGeneratingSeries is now explicitly exposed in frame frame0
OrdinaryGeneratingSeries will be automatically loaded when needed
from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
GeneratingSeriesCategory is now explicitly exposed in frame frame0
GeneratingSeriesCategory will be automatically loaded when needed
from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
FormalPowerSeries is now explicitly exposed in frame frame0
FormalPowerSeries will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
FormalPowerSeriesCategory is now explicitly exposed in frame frame0
FormalPowerSeriesCategory will be automatically loaded when needed
from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
SeriesOrder is now explicitly exposed in frame frame0
SeriesOrder will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
ExponentialGeneratingSeries is now explicitly exposed in frame
frame0
ExponentialGeneratingSeries will be automatically loaded when needed
from
/users/rubey/combinat/branches/axiom-port/combinat/src/csseries
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csspecies.asy
Times is now explicitly exposed in frame frame0
Times will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
Plus is now explicitly exposed in frame frame0
Plus will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
LabelType is now explicitly exposed in frame frame0
LabelType will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
CombinatorialSpecies is now explicitly exposed in frame frame0
CombinatorialSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
SetPartition is now explicitly exposed in frame frame0
SetPartition will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
RestrictedSpecies is now explicitly exposed in frame frame0
RestrictedSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
SingletonSpecies is now explicitly exposed in frame frame0
SingletonSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
CharacteristicSpecies is now explicitly exposed in frame frame0
CharacteristicSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
EmptySetSpecies is now explicitly exposed in frame frame0
EmptySetSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
IntegerLabel is now explicitly exposed in frame frame0
IntegerLabel will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csspecies
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csparse.asy
MyParser is now explicitly exposed in frame frame0
MyParser will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csparse
Reading /users/rubey/combinat/branches/axiom-port/combinat/src/csinterp.asy
Interpret is now explicitly exposed in frame frame0
Interpret will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csinterp
InterpretingTools is now explicitly exposed in frame frame0
InterpretingTools will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csinterp
LabelSpecies is now explicitly exposed in frame frame0
LabelSpecies will be automatically loaded when needed from
/users/rubey/combinat/branches/axiom-port/combinat/src/csinterp
Won't parse: (Type)->NIL
(1) -> s:="Plus(SingletonSpecies,Times(Self,Self))"
Line 1: s:="Plus(SingletonSpecies,Times(Self,Self))"
........A
Error A: Improper syntax.
1 error(s) parsing
(1) "Plus(SingletonSpecies,Times(Self,Self))"
Type: String
(2) -> I := Interpret([parse s],IntegerLabel)
Loading /users/rubey/axiom50/mnt/linux/algebra/UNISEG.o for domain
UniversalSegment
(2)
Interpret([CONCATPlusPARENAGGLST"SingletonSpecies"CONCATTimesPARENAGGLST"Self
""Self"],IntegerLabel)
Type: Domain
(3) -> s := structures([1,2,3])$I
Loading /users/rubey/axiom50/mnt/linux/algebra/COMBINAT.o for
package IntegerCombinatoricFunctions
Loading /users/rubey/axiom50/mnt/linux/algebra/UPMP.o for package
UnivariatePolynomialMultiplicationPackage
Loading /users/rubey/axiom50/mnt/linux/algebra/LIST2.o for package
ListFunctions2
Loading /users/rubey/axiom50/mnt/linux/algebra/FLAGG2.o for package
FiniteLinearAggregateFunctions2
(3) []
Type: Generator Interpret([CONCATPlus(PAREN (AGGLST "SingletonSpecies" (CONCAT
Times (PAREN (AGGLST "Self" "Self")))))],IntegerLabel)
(4) -> [partialNext! s for i in 1..13]
(4)
[[false,"("3", ""("1", "2")"")"], [false,"("3", ""("2", "1")"")"],
[false,"("2", ""("1", "3")"")"], [false,"("2", ""("3", "1")"")"],
[false,"(""("2", "3")"", "1")"], [false,"(""("3", "2")"", "1")"],
[false,"("1", ""("2", "3")"")"], [false,"("1", ""("3", "2")"")"],
[false,"(""("1", "3")"", "2")"], [false,"(""("3", "1")"", "2")"],
[false,"(""("1", "2")"", "3")"], [false,"(""("2", "1")"", "3")"], [true]]
Type: List Partial Interpret([CONCATPlus(PAREN (AGGLST "SingletonSpecies"
(CONCAT Times (PAREN (AGGLST "Self" "Self")))))],IntegerLabel)
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
