id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
7797,Full interface to letterplace from singular,burcin,jdemeyer,"The new aim of this ticket is to add an interface to the [http://www.singular.uni-kl.de/Manual/latest/sing_427.htm#SEC480 letterplace] component of Singular, that actually goes beyond what Singular offers.
The patch provides
* A new implementation of free algebras with fast arithmetic, but restricted to weighted homogeneous elements, with positive integral degree weights.
* Degree-wise Gröbner basis computation for twosided weighted homogeneous ideals of free algebras. If a finite complete Gröbner basis exists, it can be computed.
* Normal form computation with respect to such ideals.
* Quotient rings of such ideals
(Note that the original purpose was merely to compute Groebner bases up to a degree bound of two-sided ideals of free algebras, but without normal form computation etc.)
Examples are below, in the comments.
Apply
[attachment:trac7797-full_letterplace_wrapper_combined.patch] and [attachment:trac_7797-ref.patch]
Depends on #11068 #11268 #12641 #12749",enhancement,closed,major,sage-5.5,algebra,fixed,"singular, free algebra, letterplace",PolyBoRi saliola malb jhpalmieri sage-combinat OleksandrMotsak,sage-5.5.beta2,"Simon King, Michael Brickenstein, Burcin Erocal",Alexander Dreyer,None of the above - read trac for reasoning.,,,,"#4539, #11268, #12461, #12749, #12988, #13237",