Changes between Version 2 and Version 20 of Ticket #7797


Ignore:
Timestamp:
03/24/11 15:28:08 (8 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #7797

    • Property Status changed from needs_review to needs_work
    • Property Authors changed from Michael Brickenstein, Burcin Erocal to Simon King, Michael Brickenstein, Burcin Erocal

  • Ticket #7797 – Description

    v2 v20  
    1 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.
     1The 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
    22
    3 These patches depend on #7198.
     3 * A new implementation of free algebras with fast arithmetic.
     4 * Degree-wise Gröbner basis computation for twosided homogeneous ideals of free algebras.
     5 * Normal form computation with respect to such ideals.
    46
    5 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.
     7and in addition
     8
     9 * One- and twosided ideals of noncommutative rings.
     10 * Quotient rings of such ideals
     11
     12(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.)
     13
     14Examples are below, in the comments.
     15
     16Apply trac7797-full_letterplace_wrapper.patch