Changes between Version 2 and Version 20 of Ticket #7797
- Timestamp:
- 03/24/11 15:28:08 (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #7797
-
Property
Status
changed from
needs_review
toneeds_work
-
Property
Authors
changed from
Michael Brickenstein, Burcin Erocal
toSimon King, Michael Brickenstein, Burcin Erocal
-
Property
Status
changed from
-
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. 1 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 2 2 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. 4 6 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. 7 and 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 14 Examples are below, in the comments. 15 16 Apply trac7797-full_letterplace_wrapper.patch