> I'd like to propose a simple extension of the common > bubble sort algorithm.
I polished the code patches and compressed them in into 3 parts: "Add in-place and out-of-placeversion of a counting bubble sort algorithm": https://github.com/raoulb/fricas/commit/5673760037c1822d370c67cc275de449bc018a03 "Implementation of a simple merge sort algorithm": https://github.com/raoulb/fricas/commit/09833f2cabc2cc3364e801884a018057e3ad7c93 "Counting version of merge sort": https://github.com/raoulb/fricas/commit/1f4830ab79f84aea1af4e29f62cddd465d439a0c For the last one I think I can prove it is really correct. But I did not wrote it down formally. If there are chances that (at least parts of) this work end up beeing part of Fricas, I will also add some short documentation for all functions. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
