On Nov 26, 9:31 am, Simon King <simon.k...@nuigalway.ie> wrote: > InfinitePolynomialRing has an underlying *finite* polynomial ring, > that changes whenever you need a variable that is not in the finite > ring.
Hi, I have seen this thread has various aspects and I don't know the details, but just reading this it reminds me of dynamic arrays. I think it could be enhanced by allocating a bigger new finite polynomial ring. In the end the usecase of adding new variables should be very common. I suggest to increase it by floor(size*0.6) since this is afaik a good value for that type of operation. I have read that there is a penalty with overestimations, probably there should also be a method to compact it? H -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
