[PATCH] optimize "+" in MRING when Comparable

8 views

Skip to first unread message

unread,

Jul 23, 2019, 8:07:36 AM7/23/19

to fricas...@googlegroups.com

Clearly, the usage of using "concat!" to add an element to
the end of a list is extremely inefficient.

optimize_+_in_MRING_when_Comparable.patch

unread,

Jul 24, 2019, 9:29:40 AM7/24/19

to fricas...@googlegroups.com

oldk1331 wrote:
> Clearly, the usage of using "concat!" to add an element to
> the end of a list is extremely inefficient.