|
Size: 1910
Comment: subtask: non-commutative Singular
|
Size: 5271
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 8: | Line 8: |
| '''People:''' * [[http://trac.sagemath.org/sage_trac/ticket/10903|#10903]] and [[http://trac.sagemath.org/sage_trac/ticket/11769|#11769]] |
'''People:''' Simon, Burcin, Martin working on [[http://sage.math.washington.edu/home/leif/Sage/release/sage-4.7.2.alpha3-prerelease/sage-4.7.2.alpha3-prerelease.tar|prerelease of Sage-4.7.2.alph3]] dated Sept 19, 2012 md5sum: ad021855ae07ecdd1cdcc7b973c9cdba * [[http://trac.sagemath.org/sage_trac/ticket/10903|#10903]] update Singular * [[http://trac.sagemath.org/sage_trac/ticket/10810|#10810]] Singular doesn't build on ARM * [[http://trac.sagemath.org/sage_trac/ticket/11769|#11769]] Singular doesn't build on Ubuntu Oneiric * [[http://trac.sagemath.org/sage_trac/ticket/10902|#10902]] factorization of multivariate polynomials |
| Line 13: | Line 19: |
| '''People:''' Burcin * There were many changes to libSingular as part of the refactoring effort. The Sage interface needs to be adapted to these. This should be a matter of renaming the functions that are called in Sage and adding the current ring as an argument (modulo bugs in libpolys). |
'''People:''' Burcin, Oleksandr There were many changes to libSingular as part of the refactoring effort. The Sage interface needs to be adapted to these. This should be a matter of renaming the functions that are called in Sage and adding the current ring as an argument (modulo bugs in libpolys). * create spkg for refactored Singular * search/replace calls to libSingular in the Sage library to get the interface to compile & link |
| Line 18: | Line 27: |
| '''People:''' Burcin, Oleksandr, Hans | '''People:''' Burcin, Oleksandr, Hans, Volker |
| Line 20: | Line 29: |
| * Bug hunt through Singular kernel code. An adventure no hacker can resist. | Bug hunt through Singular kernel code. An adventure no hacker can resist. |
| Line 22: | Line 31: |
| === Non-commutative Stuff === | * build refactored Singular: http://github.com/Singular2/singular2.github.com/wiki/New-TODOs * run test suite with debug version of Singular which dumps stack traces on error. (kernel/cntrl.cc should be modified to define `DEBUG_STOP` instead of `INTERACTIVE`) * [[http://www.lmona.de:31111/|list of test results]] (temporarily) * Monday morning: 595 failing tests * Tuesday morning: 543 failing tests === Compiler warnings === '''People:''' There are lots of compiler warnings... === Plural/SCA === |
| Line 26: | Line 49: |
| * Bug hunt at PLURAL/SCA kernel code: G-ring (left) std, SCA etc... | * Bug hunt at PLURAL/SCA kernel code: (left) std etc... === Try out some dynamic modules === '''People:''' Oleksandr * Try building & using dynamic modules === Blackbox objects === '''People:''' Oleksandr * Try building & using blackbox objects, e.g. coefficient domain as a wrapper for coeffs |
| Line 31: | Line 66: |
| '''People:''' Hiep, Burcin | '''People:''' Hiep, Burcin, Simon |
| Line 37: | Line 72: |
| '''People:''' | '''People:''' Simon, Burcin, Alexander (offsite) |
| Line 40: | Line 75: |
| * [[http://trac.sagemath.org/sage_trac/ticket/11115|#11115]] make cached methods faster - dependency of #7797 (Volker) | |
| Line 43: | Line 79: |
| '''People:''' Burcin | '''People:''' Burcin, Simon, Alexander (offsite) |
| Line 46: | Line 82: |
== Exponent overflow == '''People:''' Simon * Working on the Plural interface, we found that Sage does not raise an overflow error when it should. Example: With `P.<x,y>=QQ[]`, `y^2^30` returns a correct result; in `P.<x,y,z>=QQ[]`, an overflow occurs, but instead of raising an error, `y^2^30` returns zero. |
|
| Line 54: | Line 96: |
| == FLINT integration == | == FLINT integration in Singular == |
| Line 56: | Line 98: |
| '''People:''' Fredrik | '''People:''' Fredrik, MartinL, Christian |
| Line 60: | Line 102: |
| * Benchmark against NTL version == Beginner tickets == '''People:''' Hiep, Burcin to practice preparing and submitting patches, for people new to the Sage development process: * [[http://trac.sagemath.org/sage_trac/ticket/11850]] choose the random elements of the ideals. * `.hilbert_series()`, `.hilbert_function()` methods of ideals [[http://trac.sagemath.org/sage_trac/ticket/11855]]. * add `.saturation()`, `.blow_up_ideal()` methods in the multivariate polynomial ideal class == Fast containers for objects and morphisms of a category == '''People:''' Simon * See [[http://trac.sagemath.org/sage_trac/ticket/10667|#10667]] Morphisms and Objects of Categories == Improve/Review citation library == '''People''': Niels, Burcin, (and somebody else?) [[http://trac.sagemath.org/sage_trac/ticket/3317|#3317]] [[https://bitbucket.org/niels_mfo/sage-citation|bitbucket]] * [[http://trac.sagemath.org/sage_trac/ticket/11851|#11851]] [[http://trac.sagemath.org/sage_trac/ticket/11852|#11852]] --(split off pybtex package to a separate ticket (submit as an optional package first))-- * Add more examples of citations * --(add sage's citation)-- * Open a ticket for matplotlib not to include an extra version of pyparsing. == Fix reference counting of Singular rings == '''People''': Volker, Burcin, Martin * [[http://trac.sagemath.org/sage_trac/ticket/11339|#11339]] |
Sage/Singular Days Projects
Contents
-
Sage/Singular Days Projects
- Update Singular spkg
- Update the Singular interface to work with libpolys
- Refactored Singular should pass it's test suite
- Interface to Singular's modules
- Review Simon's letterplace patches
- Plural interface
- Exponent overflow
- Use libpolys for function field arithmetic
- FLINT integration in Singular
- Beginner tickets
- Fast containers for objects and morphisms of a category
- Improve/Review citation library
- Fix reference counting of Singular rings
Update Singular spkg
People: Simon, Burcin, Martin
working on prerelease of Sage-4.7.2.alph3 dated Sept 19, 2012 md5sum: ad021855ae07ecdd1cdcc7b973c9cdba
#10903 update Singular
#10810 Singular doesn't build on ARM
#11769 Singular doesn't build on Ubuntu Oneiric
#10902 factorization of multivariate polynomials
Update the Singular interface to work with libpolys
People: Burcin, Oleksandr
- There were many changes to libSingular as part of the refactoring effort. The Sage interface needs to be adapted to these. This should be a matter of renaming the functions that are called in Sage and adding the current ring as an argument (modulo bugs in libpolys).
- create spkg for refactored Singular
search/replace calls to libSingular in the Sage library to get the interface to compile & link
Refactored Singular should pass it's test suite
People: Burcin, Oleksandr, Hans, Volker
Bug hunt through Singular kernel code. An adventure no hacker can resist.
build refactored Singular: http://github.com/Singular2/singular2.github.com/wiki/New-TODOs
run test suite with debug version of Singular which dumps stack traces on error. (kernel/cntrl.cc should be modified to define DEBUG_STOP instead of INTERACTIVE)
list of test results (temporarily)
- Monday morning: 595 failing tests
- Tuesday morning: 543 failing tests
Compiler warnings
People:
There are lots of compiler warnings...
Plural/SCA
People: Oleksandr
- Bug hunt at PLURAL/SCA kernel code: (left) std etc...
Try out some dynamic modules
People: Oleksandr
Try building & using dynamic modules
Blackbox objects
People: Oleksandr
Try building & using blackbox objects, e.g. coefficient domain as a wrapper for coeffs
Interface to Singular's modules
People: Hiep, Burcin, Simon
- This shouldn't be so hard since libSingular uses the same type for polynomials and module elements
Review Simon's letterplace patches
People: Simon, Burcin, Alexander (offsite)
Plural interface
People: Burcin, Simon, Alexander (offsite)
Rebase the patch at #4539 plural wrapper to 11068 implementation of one and two sided ideals of noncommutative rings
Exponent overflow
People: Simon
Working on the Plural interface, we found that Sage does not raise an overflow error when it should. Example: With P.<x,y>=QQ[], y^2^30 returns a correct result; in P.<x,y,z>=QQ[], an overflow occurs, but instead of raising an error, y^2^30 returns zero.
Use libpolys for function field arithmetic
People: Burcin
- libpolys has better function field arithmetic now, we should wrap that in Sage.
This is also relevant #9054 create a class for basic function field arithmetic
FLINT integration in Singular
People: Fredrik, MartinL, Christian
- Add missing utility and conversion functions to FLINT
- Use FLINT in Singular
- Benchmark against NTL version
Beginner tickets
People: Hiep, Burcin to practice preparing and submitting patches, for people new to the Sage development process:
http://trac.sagemath.org/sage_trac/ticket/11850 choose the random elements of the ideals.
.hilbert_series(), .hilbert_function() methods of ideals http://trac.sagemath.org/sage_trac/ticket/11855.
add .saturation(), .blow_up_ideal() methods in the multivariate polynomial ideal class
Fast containers for objects and morphisms of a category
People: Simon
See #10667 Morphisms and Objects of Categories
Improve/Review citation library
People: Niels, Burcin, (and somebody else?)
#11851 #11852 split off pybtex package to a separate ticket (submit as an optional package first)
- Add more examples of citations
add sage's citation
- Open a ticket for matplotlib not to include an extra version of pyparsing.
Fix reference counting of Singular rings
People: Volker, Burcin, Martin