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

Submitted by : Bill Page at: 2008-05-28T20:08:03-07:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

In OpenAxiom functions can return domain-values. This works for example in

MyPair(X:Domain,Y:Domain):Domain == Record(p1:X,p2:Y)
Domain is not a valid type.

where Record is a built-in type.

But I cannot use a compiled type such as Product in place of Record

MyPair2(X:Domain,Y:Domain):Domain == Product(X,Y)
Domain is not a valid type.


\label{eq1}\hbox{\axiomType{Product}\ } (\hbox{\axiomType{Integer}\ } , \hbox{\axiomType{Float}\ })(1)
Type: Type

Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25

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