#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: Michael Brickenstein, Burcin Erocal | Upstream: N/A
Reviewer: | Merged:
Work_issues: rebase, doctests |
---------------------------------------------------+------------------------
Comment(by SimonKing):
FYI: As I mentioned in an earlier post, just having a two-sided Gröbner
basis is not enough for my envisioned applications. I also need a
competitive arithmetic for free associative algebras, normal form
computation, and, if possible, ideals in non-commutative rings, and ring
quotients.
So, I implemented something from scratch, ''not'' based on the previous
patches. I already got an implementation of free associative algebras
based on letterplace (with a dynamic degree bound). For example, computing
`(x+y)**20` is 84 times faster than with the old implementation of free
algebras.
I also have a base class for left, right and twosided ideals: If R is any
ring and L a list of elements, then R*L is a left ideal, L*R a right
ideal, and R*L*R a twosided ideal.
Using freegb for the computation of a two-sided Gröbner basis will be
straight forward. In addition, Grischa Studzinski and Viktor Levandoskyy
provided me with some code for computing normal forms in free algebras,
that is supposed to be in a future Singular release. My plan is to back-
port it.
And then there's documentation to write...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:19>
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.
