Solved. I found that this works:
)abbrev domain TEST Test
Test(S:Type): with
name: ()->OutputForm
==
name() == devaluate(S)$Lisp::OutputForm
--
name()$Test(Complex Integer)
On 15 April 2015 at 12:40, Bill Page <[email protected]> wrote:
> How can I obtain the name (domain expression) of a domain as a
> OutputForm in SPAD? E.g. something like:
>
> )abbrev domain TEST Test
> Test(S:Type): with
> name: ()->OutputForm
> ==
> name() == S::OutputForm
> --
>
> name()$Test(Complex Integer)
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
