id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	work_issues	upstream	reviewer	author	merged	dependencies	stopgaps
4539	plural wrapper	burcin	OleksandrMotsak, AlexanderDreyer	"During SD10 in Nancy, Michael Brickenstein and Burcin Erocal worked on making Plural (the non-commutative extension of Singular) accessible from Sage. Burcin and Michael also worked at the Plural wrapper on SD 23.5 in Kaiserslautern. Oleksandr Motsak and Alexander Dreyer continued this at SD 24 in Linz.

The patches that resulted from this work are attached.

Newest functionality:

 * non-commutative rings/polynomials/ideals are fully featured classes now (no deriving from commutative ones)!
 * 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

Possible topics that need work are:

 * put the files in sage/algebra/ ???
 * make sure element does not export functions it doesn't support (e.g. gcd)
 * predefined structures from the library

'''__Apply__'''

 * [attachment:trac4539_libplural_rel11761.patch]
 * [attachment:trac4539_pickling_rel10903.patch]
 * [attachment:trac4539_normal_forms_rel10903.patch]
 * [attachment:trac4539_fix_docs_rel10903.patch]"	enhancement	closed	major	sage-5.0	algebra	fixed	libsingular plural wrapper sd10 sd23.5 sd24 sd34	saliola mhansen AlexanderDreyer OleksandrMotsak PolyBoRi malb SimonKing		N/A	Simon King, Alexander Dreyer	Michael Brickenstein, Burcin Erocal, Oleksandr Motsak, Alexander Dreyer, Simon King	sage-5.0.beta1	#11316, #11856, #10903, #9138, #11900, #11115, #11068, #11761