help links subscribe changes refresh edit

	SandBoxAldorTesting
	↑

SandBoxAldorDomainList

Edit detail for SandBoxAldorDomainList revision 1 of 1

	1
Editor: Time: 2007/11/18 17:45:09 GMT-8
Note: new page

changed:
-
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$.

\begin{aldor}
#include "axiom";
Product(S:SetCategory, I:LinearAggregrate(S), A:Category, f:I->A):Category == add {
  Rep ==(i:I)->f(i);
  import from Rep;
}
\end{aldor}

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 for $i \in I$ .

fricas

(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>

fricas

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.