>
> Is there any particular reason for this?
>
> (1) -> DirectProduct(3, Integer) has shallowlyMutable
>
> (1) false
>
> (2) -> Vector(Integer) has shallowlyMutable
>
> (2) true
>
> I'm not necessarily arguing to change it, but I'd like to understand the
> reasons for it.
>
> Either both of them are considered mathematical (i.e. should return
> false) or they are both non-mathematical (i.e. aggregates and the above
> should return true).
I am not aware of any "deep" explanation. However, immutable data
structures have simpler properties that mutable ones, so it make
sense to declare some of them as immutable, as long as it works
without causing troubles. OTOH immutable Vector-s would not
work for significant fraction of current uses, so they must
be mutable.
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
