#7797: Full interface to letterplace from singular
-------------------------------------------------------------------+--------
Reporter: burcin |
Owner: jdemeyer
Type: enhancement |
Status: needs_review
Priority: major |
Milestone: sage-5.4
Component: algebra |
Resolution:
Keywords: singular, free algebra, letterplace | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers: Alexander Dreyer
Authors: Simon King, Michael Brickenstein, Burcin Erocal | Merged
in:
Dependencies: #4539, #11268, #12461, #12749, #12988, #13237 |
Stopgaps:
-------------------------------------------------------------------+--------
Description changed by jhpalmieri:
Old description:
> 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]
>
> Depends on #11068 #11268 #12641 #12749
New description:
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
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:98>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
