login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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.

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 )  
Please rate this page: