Edit detail for SandBoxOpenAxiom revision 4 of 25

What version?

(1) -> )version

"FriCAS 1.3.12 compiled at Sat  7 Jun 23:54:49 CEST 2025"

New domain Domain:

)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:

LD:=[Integer,Float,String]

 LISP output:
(UNPRINTABLE UNPRINTABLE UNPRINTABLE)

New domain Syntax:

)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

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.