MathAction #426 Non-builtin domain values fail

Topics

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

fricas

(1) -> 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}\ } \left({\hbox{\axiomType{Integer}\ } , \: \hbox{\axiomType{Float}\ }}\right)$

Type: Type

... --Bill Page, Wed, 28 May 2008 20:08:20 -0700 reply

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