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. That's OK. But then "each
collection provides its own special function with the same name ..." is
no longer the case.

Furthermore, there is still

https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/mset.spad.pamphlet#L91

Ralf

On 11/16/2013 03:52 AM, [email protected] wrote:
>> [[speedy:/home/hemmecke/v/autosync/fricas]]
> 
>> === log --stat -1 ==================================================
> 
> commit 20c6779f0d25f74a3a29aa7fa6e58ffa9e0eed61
> Author: Waldek Hebisch <[email protected]>
> Date:   Sat Nov 16 02:51:23 2013 +0000
> 
>     Fix ArrayStack.
>     
>     
>     git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1666 
> b0c55286-4f34-0410-a049-a1e7e93b0762
> 
>  ChangeLog                        |    8 ++++++++
>  src/algebra/aggcat.spad.pamphlet |    7 +++----
>  src/algebra/array1.spad.pamphlet |    1 -
>  src/algebra/bags.spad.pamphlet   |   32 ++++++++++++++++++--------------
>  src/algebra/lmdict.spad.pamphlet |    1 -
>  src/input/bags.input             |    2 +-
>  6 files changed, 30 insertions(+), 21 deletions(-)
> 

-- 
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.

Reply via email to