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 [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
