This is an experimental page to implement cartesian product over an indexed set of domains in Aldor. The constructor Product constructs a domain which is the cartesian product of f(i) for i \in I.
(1) -> <aldor> #include "axiom"; Product(S:SetCategory,I:LinearAggregrate(S), A:Category, f:I->A):Category == add { Rep ==(i:I)->f(i); import from Rep; }</aldor>
Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/4134911053900821375-25px001.as using Aldor compiler and options -O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra Use the system command )set compiler args to change these options. "/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/4134911053900821375-25px001.as",line 1: #include "axiom"; ^ [L1 C1] #1 (Error) Could not open file `axiom'.
The )library system command was not called after compilation.