|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 9 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: Bill Page
Time: 2008/01/30 09:27:00 GMT-8 |
||
| Note: syntax.spad.pamphlet | ||
added:
From BillPage Wed Jan 30 09:27:00 -0800 2008
From: Bill Page
Date: Wed, 30 Jan 2008 09:27:00 -0800
Subject: syntax.spad.pamphlet
Message-ID: <20080130092700-0800@axiom-wiki.newsynthesis.org>
[SandBoxSyntax] describes some extensions to OpenAxiom
What version?
fricas
(1) -> )version
"FriCAS 1.3.12 compiled at Sat 7 Jun 23:54:49 CEST 2025"
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?