On Wed, Dec 14, 2011 at 01:15:20PM +0100, Waldek Hebisch wrote:
> [..]
>
> > Also I find the category
> > InputFormFunctions1
> >
> > which exposes the operations interpret, coerceToType ...
> ^^^^^^^
>
> exports, they are not exposed.
> [..]
>
> (1) -> parse("2+3")$InputForm
> [..]
Nice. Thank you.
I recalled how I had found the File operations, and searched by the
browser in _categories_. And found the category InputFormFunctions1
-- with interpret and coerceToType but not with parse nor unparse.
And I was stuck.
Now, I also find in the browser the _domain_ of InputForm
-- and it shows in its export `parse' and `unparse' too
(so, it also has sense to search among _domains_ (and packages?)).
But they are declared as unexposed.
So, they need to be reached by package-calling: parse("2+3")$InputForm
(if I use the word correct).
Here parse $ InputForm
means, probably, that `parse' is to be found in the package InputForm.
And a package in Axiom is, probably, like a module in Haskell.
For example, (sort "bca") may be not sufficient to find what is `sort',
and the user puts (List.sort "bca") to explicitly specify that it is in
the module List.
Regards,
------
Sergei
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
