Hi Oleksandr! On Sep 4, 6:52 pm, Oleksandr <mot...@rhrk.uni-kl.de> wrote: [...] > Please do let us know about your favorite and yet missing non- > commutative features! > > Any feedback is greatly appreciated!
AFAIK, the Singular kernel has a marker for functions that are only available in the commutative case. I think it would be nice to distinguish not two but three cases: commutative, supercommutative, and general G-algebras. This suggestion comes from the observation that many algorithms for commutative rings work in the supercommutative (or graded commutative) setting as well, but Singular refuses them since they would not work for general G-algebras. Therefore, in my applications I had in some cases to work around and implement these algorithms as library functions. Three examples: * Kernel/preimage of maps * Hilbert polynomial/function: This certainly makes sense for (weighted) homogeneous ideals in graded commutative rings. * AFAIK dim (Krull dimension) makes sense in the graded commutative case as well. Best regards, Simon --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an 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 -~----------~----~----~----~------~----~------~--~---
