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