> I would even suggest we do the same, domains that export
> IndexedAggregate must have constant time elt(%, n).
More arguments to support this change:
Currently LinearAggregate has IndexedAggregate, and
LinearAggregate exports leftTrim/rightTrim which are
implemented using indexing. So for arrays/string, *Trim
is O(n), but for lists, they are O(n^2). But it's possible to
write O(n) *Trim for lists.
So we should make a difference between O(1) indexing
and O(n) indexing.
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 post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.