> The official guidelines for inclusion of new packages are: > > > = License = > > GPL version 2+ compatible license. (This will be publicly revisited around > > Jan 15, 2009.) > > GIAC seems to be GPL v3+ according to Michael Abshoff? >
I can re-license it to GPL 2 (maybe some optional libraries should not be linked with). > As far as I understand it there is an issue defining what "Speed" is in that > context. But both Ginac and Giac seem to do well overall. Someone else needs > to address this in more detail > It all depends on what you are benchmarking. For basic arithmetic, ginac and giac are probably on the same scale. I did not try ginac recently, but I don't think they have for example a modular GCD algorithm, they rely on heuristic GCD and subresultant. > > Documentation > > Ginac seems to be fairly well documented from what I gather: Tutorial, > reference manual. Same goes for Giac which also seems to have a tutorial and > a reference manual. This seems to be focused on Xcas though, which is not > what Sage could use. Is there any C++ level reference manual? > See above, there is a short introduction on how the library may be used. The user guide is focused on Xcas since that's where users currently are. It is anyway useful for writing code using giac, since (almost) every xcas function has an equivalent giac function with the same name + an initial _ and the same arguments (groupped in a vector) and sometimes a context argument (for thread-safe parallel execution). I'm waiting for interested contributors before writing a more complete guide. > > Usability > > I have no clue. However, Ginac seems to be extendible since it is designed as > a C++ library rather than a full system. Libraries are obviously better for > Sage since they are easier to integrate. > Giac is also a C++ library unlike maxima or axiom. > Also Giac comes with a lot of stuff that is already in Sage, while Ginac only > does stuff that is not there yet (fast symbolic arithmetic) > ??? What do you mean by fast symbolic arithmetic? Ginac does basic fast symbolic arithmetic (+,*), Giac does in addition gcd, factor, integration, etc. Of course, maxima or axiom can be called from inside sage to do these kinds of computations, but they will not benefit from speed or functionnality improvements from other libraries (e.g. maxima will not benefit from the inclusion of ginac or NTL or whatever will be in sage). Dismissing giac means that some sage developers will take time and efforts to duplicate what's already in giac from the ginac base. > > Ondrej reported that building Giac required 72 minutes on sage.math which is > way too long. Ginac builds in up to 6 minutes. Also Giac seems much larger > than Ginac. > Of course, giac is much larger since it has much more calculus features. It is indeed long to build with -O2 but with -g it is about 10mn or less. I never build with -O2 for development, only for distributing final binaries. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
