Hi alltogether, On Sage Days 24 in Linz we finished the integration of the Plural, which is the noncommutative part of Singular: http://trac.sagemath.org/sage_trac/ticket/4539
During SD10 in Nancy, Michael Brickenstein and Burcin Erocal started working on making Plural (the non-commutative extension of Singular) accessible from Sage. Oleksandr Motsak and Alexander Dreyer continued this work at SD 24 in Linz. Newest functionality: * coercion from basering/Integer types (still needs tests) * flag to check degeneracy conditions on init * relations for non-commutative rings * most relevant functions for rings/polynomials/ideals (mostly adopted from MPolynomialRing_libsingular/MPolynomialRing_libsingular/...) e.g. std/twostd/syzygy_module/lc/lm/lt/monomial operations * RingWrap and TermOrder were extended * quick and dirty conversion of RingWrap to Sage rings (needs some care as the resulting rings may not be unique and therefore may confuse coercion) * quotient of a non-commutative ring by a two-sided Groebner basis * shortcut to create graded commutative algebras: SCA One this extension is approved, we should discuss about syntax issues and related stuff for non-commutative elements. Best regards, Oleksandr and Alexander -- 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 URL: http://www.sagemath.org