#7797: basic interface to letterplace from singular
---------------------------------------------------+------------------------
   Reporter:  burcin                               |       Owner:  burcin      
       Type:  enhancement                          |      Status:  needs_review
   Priority:  major                                |   Milestone:  sage-4.4    
  Component:  algebra                              |    Keywords:  singular    
     Author:  Michael Brickenstein, Burcin Erocal  |    Upstream:  N/A         
   Reviewer:                                       |      Merged:              
Work_issues:                                       |  
---------------------------------------------------+------------------------
Description changed by burcin:

Old description:

> Attached patches add a basic interface to the letterplace [1] component
> of Singular, which allows computation of Groebner bases (up to a degree
> bound) of (two-sided) ideals of free algebras.
>
> [1] http://www.singular.uni-kl.de/Manual/latest/sing_425.htm#SEC478
>
> 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:

 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.

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:2>
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.

Reply via email to