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