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.

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 AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Could not use archive file `libaxiom.al'.
#2 (Warning) Could not use archive file `libaxiom.al'.
"/usr/local/aldor/linux/1.1.0/include/axiom.as", line 4: 
import from AxiomLib;
............^
[L4 C13] #3 (Error) No meaning for identifier `AxiomLib'.
"/usr/local/aldor/linux/1.1.0/include/axiom.as", line 15: import { true: %, false: % } from Boolean; ..................................^ [L15 C35] #4 (Error) No meaning for identifier `Boolean'.
"/usr/local/aldor/linux/1.1.0/include/axiom.as", line 17: string: Literal -> %; ........................^.......^ [L17 C25] #5 (Error) No meaning for identifier `Literal'. [L17 C33] #6 (Error) There are no suitable meanings for the operator `->'.
"/usr/local/aldor/linux/1.1.0/include/axiom.as", line 18: } from String; .......^ [L18 C8] #8 (Error) No meaning for identifier `String'.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/4134911053900821375-25px001.as", line 2: Product(S:SetCategory, I:LinearAggregrate(S), A:Category, f:I->A):Category == add { ..........^..............^..................................^^ [L2 C11] #9 (Error) No meaning for identifier `SetCategory'. [L2 C26] #10 (Error) There are no suitable meanings for the operator `LinearAggregrate'. [L2 C61] #11 (Error) There are 0 meanings for `I' in this context. The possible types were: I: LinearAggregrate(S), a local The context requires an expression of type Tuple(Type). [L2 C62] #12 (Error) There are no suitable meanings for the operator `->'. [L2 C62] #13 (Fatal Error) Too many errors (use `-M emax=n' or `-M no-emax' to change the limit).
The )library system command was not called after compilation.




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