login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#425 confusion over Category  ← ↑ →  #427 Broken compilation of axiom-may2008 on Slackware 12.1

#426 Non-builtin domain values fail
  
last edited 17 years ago by Bill Page

Edit detail for #426 Non-builtin domain values fail revision 4 of 4
1 2 3 4
Editor: Bill Page
Time: 2008/05/28 20:09:23 GMT-7
Note: reformat 

        

        







Submitted by
:
Bill Page
at:
2008-05-28T20:08:03-07:00 (17 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
(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)(1)


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