login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#427 Broken compilation of axiom-may2008 on Slackware 12.1  ← ↑ →  #429 Description of IndexedExponents in HyperDoc

#428 Equation Domain coerce to OutputForm and Boolean
  
last edited 16 years ago by gdr

Edit detail for #428 Equation Domain coerce to OutputForm and Boolean revision 2 of 4
1 2 3 4
Editor: Bill Page
Time: 2008/06/17 14:34:47 GMT-7
Note: 
added:

From BillPage Tue Jun 17 14:34:47 -0700 2008
From: Bill Page
Date: Tue, 17 Jun 2008 14:34:47 -0700
Subject: 
Message-ID: <20080617143447-0700@axiom-wiki.newsynthesis.org>

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

Submitted by : Bill Page at: 2008-06-17T14:34:21-07:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

OpenAxiom? displays Equation(Domain) as: 

 (3) -> V1=V2

  LISP output:
 (UNPRINTABLE . UNPRINTABLE)
                            Type: Equation Domain
 (4) -> %::Boolean
   Internal Error
   The function = with signature (%,%) -> Boolean is missing from
      domain Domain

and is missing equality.

axiom
V1:=DirectProduct(3+4,Integer)
LatexWiki Image(1)
Type: Domain
axiom
V2:=DirectProduct(7,Integer)
LatexWiki Image(2)
Type: Domain
axiom
V1=V2
 LISP output:
(UNPRINTABLE . UNPRINTABLE)
Type: Equation Domain
axiom
%::Boolean
   Internal Error
   The function = with signature (%,%) -> Boolean is missing from
      domain Domain

... --Bill Page, Tue, 17 Jun 2008 14:34:47 -0700 reply
Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25