#7797: Full interface to letterplace from singular
-------------------------------------------------------------------+--------
Reporter: burcin |
Owner: burcin
Type: enhancement |
Status: needs_review
Priority: major |
Milestone: sage-5.0
Component: algebra |
Resolution:
Keywords: singular, free algebra, letterplace | Work
issues:
Report Upstream: N/A |
Reviewers: Alexander Dreyer
Authors: Simon King, Michael Brickenstein, Burcin Erocal | Merged
in:
Dependencies: #4539, #11268, #12461 |
Stopgaps:
-------------------------------------------------------------------+--------
Changes (by SimonKing):
* status: needs_work => needs_review
Old description:
> 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, that actually goes beyond what
> Singular offers.
>
> The patch provides
>
> * A new implementation of free algebras with fast arithmetic, but
> restricted to weighted homogeneous elements, with positive integral
> degree weights.
> * Degree-wise Gröbner basis computation for twosided weighted
> homogeneous ideals of free algebras. If a finite complete Gröbner basis
> exists, it can be computed.
> * Normal form computation with respect to such ideals.
> * Quotient rings of such ideals
>
> (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.)
>
> Examples are below, in the comments.
>
> Apply
>
> [attachment:trac7797-full_letterplace_wrapper_combined.patch]
>
> Depends on #11068 #11268
New description:
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, that actually goes beyond what
Singular offers.
The patch provides
* A new implementation of free algebras with fast arithmetic, but
restricted to weighted homogeneous elements, with positive integral degree
weights.
* Degree-wise Gröbner basis computation for twosided weighted homogeneous
ideals of free algebras. If a finite complete Gröbner basis exists, it can
be computed.
* Normal form computation with respect to such ideals.
* Quotient rings of such ideals
(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.)
Examples are below, in the comments.
Apply
[attachment:trac7797-full_letterplace_wrapper_combined.patch]
Depends on #11068 #11268 #12641
--
Comment:
Yes, #12641 was to blame. The reason was that apparently #12641 did remove
four blank spaces. So, the change is trivial.
By the way: At the recent annual meeting of the German Science Foundation
Priority Programme on computer algebra, I was talking to Viktor
Levandovskii, who is responsible for Letterplace in Singular. He confirmed
that my hacks for implementing degree weights and for computing complete
Gröbner bases are correct.
Apply trac7797-full_letterplace_wrapper_combined.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:65>
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.
