|
|
|
last edited 14 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 3 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: 2007/12/12 09:58:59 GMT-8 |
||
| Note: Domain domain | ||
changed: -New **Domain** domain: New domain **Domain**: \begin{axiom} )show Domain \end{axiom} For example: added: New domain **Syntax**: \begin{axiom} )show Syntax \end{axiom} \begin{axiom} reify(String) \end{axiom}
What version?
axiom)version Value = "Tuesday December 11, 2007 at 16:51:37 "
New domain Domain:
axiom)show Domain Domain is a domain constructor Abbreviation for Domain is DOMAIN This constructor is not exposed in this frame. Issue )edit /home/page/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09/src/algebra/domain.spad to see algebra source code for DOMAIN ------------------------------- Operations -------------------------------- coerce : % -> OutputForm reify : % -> Syntax
For example:
axiomLD:=[Integer,Float,String]
 | (1) |
Type: List Domain
New domain Syntax:
axiom)show Syntax Syntax is a domain constructor Abbreviation for Syntax is SYNTAX This constructor is exposed in this frame. Issue )edit /home/page/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09/src/algebra/syntax.spad to see algebra source code for SYNTAX ------------------------------- Operations -------------------------------- buildSyntax : (%,List %) -> % ?case? : (%,Domain) -> Boolean coerce : String -> % coerce : Symbol -> % coerce : DoubleFloat -> % coerce : Integer -> % coerce : % -> OutputForm convert : % -> String convert : % -> Symbol convert : % -> DoubleFloat convert : % -> Integer convert : SExpression -> % convert : % -> SExpression getOperands : % -> List % buildSyntax : (Symbol,List %) -> % getOperator : % -> Union(Integer,DoubleFloat,Symbol,String,%)
axiomreify(String) Function: convert : String -> % is missing from domain: Syntax Internal Error The function convert with signature $(String) is missing from domain Syntax