> 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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to