#7797: basic interface to letterplace from singular
---------------------------------------------------------------+------------
Reporter: burcin | Owner:
burcin
Type: enhancement | Status:
needs_work
Priority: major | Milestone:
sage-4.7
Component: algebra | Keywords:
singular
Author: Simon King, Michael Brickenstein, Burcin Erocal | Upstream:
N/A
Reviewer: | Merged:
Work_issues: |
---------------------------------------------------------------+------------
Changes (by newvalueoldvalue):
* work_issues: rebase, doctests =>
* author: Michael Brickenstein, Burcin Erocal => Simon King, Michael
Brickenstein, Burcin Erocal
Old description:
> Attached patches add a basic interface to the [http://www.singular.uni-
> kl.de/Manual/latest/sing_427.htm#SEC480 letterplace] component of
> Singular, which allows computation of Groebner bases (up to a degree
> bound) of (two-sided) ideals of free algebras.
>
> These patches depend on #7198.
>
> Since Sage only supports ideals over commutative rings for now, writing a
> better interface to this would take considerably more work. I suggest we
> review & merge these patches, and hook it up to the right place when it
> exists.
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, namely providing
* A new implementation of free algebras with fast arithmetic.
* Degree-wise Gröbner basis computation for twosided homogeneous ideals
of free algebras.
* Normal form computation with respect to such ideals.
and in addition
* One- and twosided ideals of noncommutative rings.
* 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 trac7797-full_letterplace_wrapper.patch
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:20>
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.
