On Sat, Mar 17, 2012 at 10:40:24PM +0400, Serge D. Mechveliani wrote:
> On Sat, Mar 17, 2012 at 07:11:30PM +0100, Ralf Hemmecke wrote:
> > https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/table.spad.pamphlet
>
> Yes, I am looking into HasTable(Key, Entry, hashfn),
> and even managed to use an example with HasTable(INT, String, "ID").
> [..]
However, the real example needs to be
HasTable(INT, ConstructedDomain, ...),
and docs requires Key, Entry : SetCategory,
and ConstructedDomain has Any inside it, and thus has not SetCategory.
Key: SetCategory looks necessary (one would even expect OrderedSet).
But how this SetCategory is used for Entry ?
If it is, for example, only for coercion to OutputForm, for printing,
then I coud provide ConstructedDomain with some reasonable
SetCategory instance.
Thanks,
------
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.
