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 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

fricas
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

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

fricas
Product(Integer,Float)

\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:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: