This fails axiom (Integer, Type: Tuple(Type)
axiom Tuple Type Type: Tuple(Category)
But this works axiom List Type
Type: Type
The following domain called [One] can still do some useful things with them by disguising the fact that they are domains, so in aldor have a type and your aldor programs can return this to axiom. For example: aldor #include "axiom.as" aldor Compiling FriCAS source code from file /var/zope2/var/LatexWiki/5624154441249846913-25px004.as using AXIOM-XL compiler and options -O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra Use the system command )set compiler args to change these options. Compiling Lisp source code from file ./5624154441249846913-25px004.lsp Issuing )library command for 5624154441249846913-25px004 Reading /var/zope2/var/LatexWiki/5624154441249846913-25px004.asy AldorDomain is now explicitly exposed in frame initial AldorDomain will be automatically loaded when needed from /var/zope2/var/LatexWiki/5624154441249846913-25px004 axiom aInteger:=make()$AldorDomain(Integer)
Type: AldorDomain?(Integer)
Ref:http://lists.nongnu.org/archive/html/axiom-developer/2005-09/msg00250.html http://lists.nongnu.org/archive/html/axiom-developer/2005-09/msg00248.html aldor #include "axiom.as" aldor Compiling FriCAS source code from file /var/zope2/var/LatexWiki/domain.as using AXIOM-XL compiler and options -O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra Use the system command )set compiler args to change these options. Compiling Lisp source code from file ./domain.lsp Issuing )library command for domain Reading /var/zope2/var/LatexWiki/domain.asy Domain is now explicitly exposed in frame initial Domain will be automatically loaded when needed from /var/zope2/var/LatexWiki/domain And it nearly solves the problem! axiom a:=(Integer, Type: Tuple(Type)
Except: \begin{axiom} select(a,1) \end{axiom} causes Axiom to abort. See also #187 --kratt6, Fri, 28 Dec 2007 15:11:47 -0800 reply Category: Aldor Library Compiler => Axiom Compiler
Status: open => duplicate
|