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.

#include "axiom";
Product(S:SetCategory, I:LinearAggregrate(S), A:Category, f:I->A):Category == add {
  Rep ==(i:I)->f(i);
  import from Rep;
   Compiling FriCAS source code from file 
      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 
   The )library system command was not called after compilation.

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: