Hello Martin,
I just came across
<<exports of Fraction from LibAxiom>>=
canonical @ Category;
QuotientFieldCategory(S);
@
which I don't understand. If I start aldor -gloop I geut the following..
woodpecker:~/scratch>aldor -gloop
AA L DDDD OOO RRRR
A A L D D O O R R
A A L D D O O R R
AAAAA L D D O O RRRR
A A L D D O O R R
A A LLLLL DDDD OOO R R
(c) Numerical Algorithms Group Ltd 1995-2001
Release: Aldor(C) version 1.0.3 for LINUX(glibc2.3) (debug version)
Type "#int help" for more details.
%1 >> #include "axiom"
Comp: 690 msec, Interp: 10 msec
%2 >> Fraction
() @ (#1: IntegralDomain) -> Join(Field, FractionExtendCategory(#1)
== add ()
pretend FractionExtendCategory(#1) add ()
)
Comp: 0 msec, Interp: 0 msec
%3 >> FractionExtendCategory
() @ (#1: IntegralDomain) -> (Category == Join(QuotientFieldCategory(#1),
if (#1 has IntegerNumberSystem) then
if (#1 has OpenMath) then OpenMath
else
else ) with
if (#1 has canonical @ Category) then
if (#1 has GcdDomain) then
if (#1 has canonicalUnitNormal @ Category) then canonical @ Category
else
else
else )
Your list of exports is wrong in two ways.
1) Altough fraction.spad.pamphlet says
Fraction(S: IntegralDomain): QuotientFieldCategory S with ...
Aldor actually sees what is shown when you type "Fraction" in an "aldor
-gloop" session. That is the stuff that is in libaxiom.al.
So the exports should be (+)
Field;
FractionExtendCategory S;
And "canonical @ Category" is wrong since it is a _conditional_ export.
So I would prefer that we write (+) instead of your exports. Could you
check whether everything would work fine then and perhaps commit this
modification.
Ralf
-------------------------------------------------------------------------
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
