MathAction SandBoxAldorDomainList

Topics

FrontPage
- SandBox
  - SandBoxAldorTesting
    - SandBoxAldorDomainList <-- You are here.

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.
   The )library system command was not called after compilation.

Subject: Be Bold !!

	( 15 subscribers )