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

Edit detail for #428 Equation Domain coerce to OutputForm and Boolean revision 1 of 4

	1 2 3 4
Editor: Bill Page Time: 2008/06/17 14:34:21 GMT-7
Note:

changed:
-
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.

\begin{axiom}
V1:=DirectProduct(3+4,Integer)
V2:=DirectProduct(7,Integer)
V1=V2
%::Boolean
(V1=V2)$Domain
\end{axiom}

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)

(1)

Type: Domain

axiom
V2:=DirectProduct(7,Integer)

(2)

Type: Domain

axiomV1=V2
   There are 3 exposed and 0 unexposed library operations named
      equation having 2 argument(s) but none was determined to be
      applicable. Use HyperDoc Browse, or issue
                            )display op equation
      to learn more about the available operations. Perhaps
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.
   Cannot find a definition or applicable library operation named
      equation with argument type(s)
                                   Domain
                                   Domain
      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.
%::Boolean
   Cannot convert from type Domain to Boolean for value
   DirectProduct(7,Integer())
(V1=V2)$Domain
   Domain is not a valid type.