Hi! > It seems possible to cooperate on two levels: > - level 1: I can try to write a paper where I describe some of the > ideas I have put in my implementation of the modular multivariate gcd > algorithm, in order to help singular or flint implement them, maybe > better than I did myself in giac
I think, this would give a good basis. Actually the Singular group is also interested in a gcd, which also works for finite, algebraic extensions of Q and GF(p). And I would be happy, if they stopped discussing about it behind closed doors and actually wasting time, as the efforts coming out of this model go just nowhere (which is just obvious, despite that many other *open* source systems are not better). > - level 2: we can try to make the code interoperate, I would for > example be interested in using the singular library for groebner basis > (I'm currently using the cocoa) and maybe add the possibility to call > singular user functions from giac like I did with PARI. And, singular > could also call giac gcd code, but this is perhaps a little bit harder > to do. So, you are using Cocoa or cocoalib? Being an expert for the groebner bases functionality, I can say, that Singular's biggest strength in this area, is supporting many, many implementations of different algorithms and many monomial orderings (you need flexibility in this area). So, if you are interested, we can discuss this (probably this threat is not very suited). Michael --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
