1 2 3 4 | ||
Editor: page
Time: 2007/12/24 06:22:17 GMT-8 |
||
Note: from hyperdoc |
changed: - Domain of parsed forms which can be passed to the interpreter. This is also the interface between algebra code and facilities in the interpreter. \begin{axiom} )show InputForm \end{axiom}
Domain of parsed forms which can be passed to the interpreter. This is also the interface between algebra code and facilities in the interpreter.
)show InputForm
InputForm is a domain constructor Abbreviation for InputForm is INFORM This constructor is not exposed in this frame. Issue )edit /usr/local/lib/axiom/target/x86_64-unknown-linux/../../src/algebra/INFORM.spad to see algebra source code for INFORM
------------------------------- Operations -------------------------------- #? : % -> Integer ?*? : (%,%) -> % ?**? : (%,Integer) -> % ?+? : (%,%) -> % ?/? : (%,%) -> % ?=? : (%,%) -> Boolean 1 : () -> % 0 : () -> % atom? : % -> Boolean binary : (%,List %) -> % car : % -> % cdr : % -> % coerce : % -> OutputForm convert : SExpression -> % convert : % -> SExpression convert : OutputForm -> % convert : DoubleFloat -> % convert : Integer -> % convert : Symbol -> % convert : String -> % convert : List % -> % declare : List % -> Symbol destruct : % -> List % ?.? : (%,List Integer) -> % ?.? : (%,Integer) -> % eq : (%,%) -> Boolean expr : % -> OutputForm flatten : % -> % float : % -> DoubleFloat float? : % -> Boolean hash : % -> SingleInteger integer : % -> Integer integer? : % -> Boolean interpret : % -> Any lambda : (%,List Symbol) -> % latex : % -> String list? : % -> Boolean null? : % -> Boolean pair? : % -> Boolean string : % -> String string? : % -> Boolean symbol : % -> Symbol symbol? : % -> Boolean unparse : % -> String ?~=? : (%,%) -> Boolean ?**? : (%,NonNegativeInteger) -> % compile : (Symbol,List %) -> Symbol function : (%,List Symbol,Symbol) -> %