On Sunday, 9 December 2018 11:22:48 UTC+1, Dima Pasechnik wrote:
<SNIP> I cannot comment on why certain implementations did not use Giac code, > I am not involved in this work. > I am involved in that, but I believe there may be some misconceptions here. The implementations we are doing for ODK are not for Groebner bases. However, the group I work for, who develop the system our code will contribute to, has been involved in GB computation for something like thirty years. Our work on GB's, which is not funded by ODK, is ongoing work for that entire period. As for polynomial arithmetic for applications other than GBs, that work builds on two separate projects that have been ongoing in one form or another since late 2006 in the one case and for some decades in the other case. Integration with those code bases is desirable for a number of reasons. Bernard, if you have the impression that ODK went out looking for a polynomial library to use then you have the wrong impression. ODK is not a CAS, it's a toolbox. Giac could be part of that toolbox just as easily as any of the other tools developed in Europe, so long as it was designed to integrate with that toolbox. ODK is ultimately about exposing tools to a VRE and making those tools usable for researchers building their own VRE's. Here is not the place for me to spell out the specific goals we have for the polynomial arithmetic we are implementing for ODK, but usability, flexibility, maintainability, testing, documentation, performance and exposure to a VRE all feature heavily in the feature set we've targeted. Note that the code we are developing is part of the HPC subproject of ODK. You can find information about the whole project, including the explicit subtasks we are contributing to, by digging into the OpenDreamKit website and GitHub repositories. Absolutely *everything* is fully public and accessible, from the initial grant proposal (even the drafts, I believe), through our meetings, goals, funding, performance indicators, through our code and dissemination. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
