Changes between Initial Version and Version 12 of Ticket #4539


Ignore:
Timestamp:
07/22/10 06:20:22 (4 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)