>
> Hi Waldek,
>
> I think you would have to change the documentation as well.
>
> ++ A collection is a homogeneous aggregate which can built from
> ++ list of members. The operation used to build the aggregate is
> ++ generically named \spadfun{construct}. However, each collection
> ++ provides its own special function with the same name as the
> ++ data type, except with an initial lower case letter, e.g.
> ++ \spadfun{list} for \spadtype{List},
> ++ \spadfun{flexibleArray} for \spadtype{FlexibleArray}, and so on.
> Collection(S : Type) : Category == HomogeneousAggregate(S) with
>
> You have removed "bag", "stack", etc.
No, just 'bag' is gone. The other are still provided.
> But then "each
> collection provides its own special function with the same name ..." is
> no longer the case.
I am not sure if I want to keep the "special" creation
functions. ATM my approach is: "each collection
domain provides its own special function".
^^^^^^
That is I see no gain in having special functions for subcategories
of collection. In the past Bill Page wanted to have special creation
function for each domain in order to ease building InputForm-s,
and easier user input, so there is some need...
>
> Furthermore, there is still
>
> https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/mset.spad.pamphlet#L91
Oops, I overlooked it. Also, I noticed that 'dequeue' is declared
both in category and in the domain. So need more cleanup...
--
Waldek Hebisch
[email protected]
--
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/groups/opt_out.
