#4539: plural wrapper
---------------------------+------------------------------------------------
Reporter: burcin | Owner: OleksandrMotsak,AlexanderDreyer
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.5.2
Component: algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Old description:
> During SD10 in Nancy, Michael Brickenstein and I worked on making Plural
> (the non-commutative extension of Singular) accessible from Sage.
>
> The patches that resulted from this work are attached.
>
> Newest functionality:
> * coercion from basering/Integer types (still needs tests)
> * flag to check degeneracy conditions on init
> * relations for non-commutative rings
> * most relevant functions for rings/polynomials/ideals (mostly adopted
> from MPolynomialRing_libsingular/MPolynomialRing_libsingular/...)
> e.g. std/twostd/syzygy_module/lc/lm/lt/monomial operations
> * RingWrap and TermOrder were extended
> * quick and dirty conversion of RingWrap to Sage rings (needs some care
> as the resulting rings may not be unique and therefore may confuse
> coercion)
> * quotient of a non-commutative ring by a two-sided Groebner basis
> * shortcut to create graded commutative algebras: SCA
>
> Possible topics that need work are:
> * put the files in sage/algebra/ ???
> * make sure element does not export functions it doesn't support (e.g.
> gcd)
> * predefined structures from the library
New description:
During SD10 in Nancy, Michael Brickenstein and Burcin Erocal worked on
making Plural (the non-commutative extension of Singular) accessible from
Sage.
The patches that resulted from this work are attached.
Newest functionality:
* non-commutative rings/polynomials/ideals are fully featured classes now
(no deriving from commutative ones)!
* coercion from basering/Integer types (still needs tests)
* flag to check degeneracy conditions on init
* relations for non-commutative rings
* most relevant functions for rings/polynomials/ideals (mostly adopted
from MPolynomialRing_libsingular/MPolynomialRing_libsingular/...)
e.g. std/twostd/syzygy_module/lc/lm/lt/monomial operations
* RingWrap and TermOrder were extended
* quick and dirty conversion of RingWrap to Sage rings (needs some care
as the resulting rings may not be unique and therefore may confuse
coercion)
* quotient of a non-commutative ring by a two-sided Groebner basis
* shortcut to create graded commutative algebras: SCA
Possible topics that need work are:
* put the files in sage/algebra/ ???
* make sure element does not export functions it doesn't support (e.g.
gcd)
* predefined structures from the library
--
Comment(by OleksandrMotsak):
what is meant in "predefined structures from the library"?
Need input: what structures / what library?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4539#comment:14>
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.
