Changes between Initial Version and Version 12 of Ticket #4539


Ignore:
Timestamp:
07/22/10 13:20:22 (6 years ago)
Author:
OleksandrMotsak
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4539

    • Property Status changed from needs_work to needs_review
    • Property Cc saliola mhansen AlexanderDreyer OleksandrMotsak PolyBoRi malb SimonKing added
    • Property Summary changed from [with patch, needs work] plural wrapper to plural wrapper
    • Property Report Upstream changed from to N/A
    • Property Owner changed from tbd to OleksandrMotsak,AlexanderDreyer
  • Ticket #4539 – Description

    initial v12  
    11During SD10 in Nancy, Michael Brickenstein and I worked on making Plural (the non-commutative extension of Singular) accessible from Sage.
    22
    3 The patches that resulted from this work are attached. They still need to be polished to be included in Sage.
     3The patches that resulted from this work are attached.
     4
     5Newest functionality:
     6 * coercion from basering/Integer types (still needs tests)
     7 * flag to check degeneracy conditions on init
     8 * relations for non-commutative rings
     9 * most relevant functions for rings/polynomials/ideals (mostly adopted from MPolynomialRing_libsingular/MPolynomialRing_libsingular/...)
     10   e.g. std/twostd/syzygy_module/lc/lm/lt/monomial operations
     11 * RingWrap and TermOrder were extended
     12 * 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)
     13 * quotient of a non-commutative ring by a two-sided Groebner basis
     14 * shortcut to create graded commutative algebras: SCA
     15
     16
     17They still need to be polished to be included in Sage.
    418
    519Possible topics that need work are:
    6  * coercion
    7  * flag to check degeneracy conditions on init
    820 * put the files in sage/algebra/ ???
    921 * make sure element does not export functions it doesn't support (e.g. gcd)