|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 11 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: gdr
Time: 2008/04/06 18:56:44 GMT-7 |
||
| Note: | ||
added:
From gdr Sun Apr 6 18:56:44 -0700 2008
From: gdr
Date: Sun, 06 Apr 2008 18:56:44 -0700
Subject:
Message-ID: <20080406185644-0700@axiom-wiki.newsynthesis.org>
Humm, this version of OpenAxiom seems a bit old.
Any change of upgrade to more recent ones?
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?
fricas
)versionHumm, this version of OpenAxiom? seems a bit old. Any change of upgrade to more recent ones?
"FriCAS 1.3.12 compiled at Sat 7 Jun 23:54:49 CEST 2025"