#7797: basic interface to letterplace from singular
---------------------------------------------------+------------------------
Reporter: burcin | Owner: burcin
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6
Component: algebra | Keywords: singular
Author: Michael Brickenstein, Burcin Erocal | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------------------------------+------------------------
Comment(by SimonKing):
Replying to [comment:14 AlexanderDreyer]:
> As I understand, this makes the Singular's letterplace functionality
accessible to Sage (in addition to the Plural functionality of #4539).
What is meant by "Letterplace functionality"? Is it "simply" computing
Gröbner basis with degree bound in free associative algebras?
Something that irritates me (and I already asked in the Singular forum) is
that I could not find a way to ''apply'' such Groebner basis, e.g., in
order to compute a normal form of an element of the free associative
algebra w.r.t. this Gröbner basis. Also I tend to call ''basic
arithmetic'' a funtionality.
Replying to [comment:15 burcin]:
> This ticket is only about exposing the Groebner basis computation. We
didn't think arithmetic was usable since
>
> * there is a degree bound, and
> * it is a hack in Singular.
>
> If you think the arithmetic should be wrapped as well, that should be on
a different ticket. I don't know how much the Plural wrapper (#4539) will
help with that.
OK. ''If'' I find the time, I'll finish the wrappers that I hacked
together yesterday. The new ticket will then provide two alternative
implementations of free (associative) algebras. One will be based on Gap,
the other on Letterplace. The latter will be a hack as well: While doing
arithmetic, the degree bound will be dynamically adapted. Currently I use
Expect interfaces, but I guess using the Plural wrapper will improve
things further.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:16>
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.
