Just for the record...
> 1) What would be the boot code to write out doclist into a file?
> 2) Can FriCAS make it the default to write that file into the respective
> .NRLIB directory?
> 3) How to read that file from within .spad code to optain an
> SExpression?
Obviously, it's easier than I first thought.
After
)read docprint.input
)compile fricas/src/algebra/catdef.spad
s := RHXREAD("SetCategory")$Lisp
destruct s
I get what I want.
Ralf
[
(constructor
("++ Author:" "++ Basic Functions:" "++ Related Constructors:"
"++ Also See:" "++ AMS Classifications:" "++ Keywords:"
"++ References:" "++ Description:"
"++ \spadtype{SetCategory} is the basic category for describing
a colle
ction"
"++ of elements with \spadop{=} (equality) and \spadfun{coerce}
to outp
ut form."
"++" "++ Conditional Attributes:"
"++ canonical\tab{15}data structure equality is the same as
\spadop{
=}"
)
)
,
((hash ((SingleInteger) %))
" ++ hash(s) calculates a hash code for s.")
,
((hashUpdate! ((HashState) (HashState) %))
" ++ hashUpdate!(hs, s) computes new HashState from old and s"
" ++ used for incremental computation of hash values."
" ++ hashUpdate! might destructively work on its first
argument.")
,
((latex ((String) %))
" ++ latex(s) returns a LaTeX-printable output"
" ++ representation of s.")
]