|
|
|
last edited 14 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 14 of 25
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | ||
|
Editor: page
Time: 2008/05/07 18:42:02 GMT-7 |
||
| Note: OpenAxiom-20080507 | ||
added:
From page Wed May 7 18:42:02 -0700 2008
From: page
Date: Wed, 07 May 2008 18:42:02 -0700
Subject: OpenAxiom-20080507
Message-ID: <20080507184202-0700@axiom-wiki.newsynthesis.org>
New version of OpenAxiom installed built from SVN revision: 555.
What version?
fricas
(1) -> )version
Your user access level is compiler and this command is therefore not available. See the )set userlevel command for more information.
New domain Domain:
fricas
)show Domain
The )show system command is used to display information about types or partial types. For example,)show Integer will show information about Integer .
Domain is not the name of a known type constructor. If you want to see information about any operations named Domain ,issue )display operations Domain
For example:
fricas
LD:=[Integer,Float, String]
LISP output: (UNPRINTABLE UNPRINTABLE UNPRINTABLE)
Type: List(Type)
New domain Syntax:
fricas
)show Syntax
The )show system command is used to display information about types or partial types. For example,)show Integer will show information about Integer .
Syntax is not the name of a known type constructor. If you want to see information about any operations named Syntax ,issue )display operations Syntax
fricas
reify(String)
There are no library operations named reify Use HyperDoc Browse or issue )what op reify to learn if there is any operation containing " reify " in its name.
Cannot find a definition or applicable library operation named reify with argument type(s) Type
Perhaps you should use "@" to indicate the required return type,or "$" to specify which version of the function you need.
new --page, Wed, 12 Dec 2007 13:11:30 -0800 reply
[SandBoxOpenAxiomFeatures]?
coerce to OutputForm? missing from AlgebraicNumber?? --Bill Page, Sun, 16 Dec 2007 19:11:21 -0800 reply
This failed in OpenAxiom?-20071209:
fricas
sqrt(2)
 | (1) |
Type: AlgebraicNumber?
That bug has been corrected in recent versions of OpenAxiom?. Any chance for update?
New version of OpenAxiom? installed.
[SandBoxSyntax]? describes some extensions to OpenAxiom?
fricas
)versionHumm, this version of OpenAxiom? seems a bit old. Any change of upgrade to more recent ones?
Your user access level is compiler and this command is therefore not available. See the )set userlevel command for more information.
fricas
a := 'x :: OutputForm
 | (2) |
Type: OutputForm?
fricas
b := 'y :: OutputForm
 | (3) |
Type: OutputForm?
fricas
a and bNew version of OpenAxiom? installed built from SVN revision: 555.
Argument number 1 to "and" must be a Boolean.