1636
Comment:
|
3491
|
Deletions are marked like this. | Additions are marked like this. |
Line 8: | Line 8: |
'''People:''' | '''People:''' Simon, Burcin (hopefully Martin as well) |
Line 13: | Line 13: |
'''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 21: |
'''People:''' Burcin, Oleksandr, Hans * Bug hunt through Singular kernel code. An adventure no hacker can resist. |
'''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`) === 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 |
Line 23: | Line 55: |
'''People:''' Hiep, Burcin | '''People:''' Hiep, Burcin, Simon |
Line 29: | Line 61: |
'''People:''' | '''People:''' Simon, Burcin |
Line 32: | Line 64: |
* [[http://trac.sagemath.org/sage_trac/ticket/11115|#11115]] make cached methods faster - dependency of #7797 | |
Line 35: | Line 68: |
'''People:''' Burcin | '''People:''' Burcin, Simon |
Line 45: | Line 78: |
== 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 == to practice preparing and submitting patches, for people new to the Sage development process: * [[http://trac.sagemath.org/sage_trac/ticket/8857|#8857]] lcm over Q[x] broken (not any more) * `.intersect()` method of ideals should allow multiple arguments. * add an alias `primary_decomposition_complete() -> complete_primary_decomposition()` in the 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 |
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
- Use libpolys for function field arithmetic
- FLINT integration in Singular
- Beginner tickets
- Fast containers for objects and morphisms of a category
Update Singular spkg
People: Simon, Burcin (hopefully Martin as well)
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)
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
Plural interface
People: Burcin, Simon
Rebase the patch at #4539 plural wrapper to 11068 implementation of one and two sided ideals of noncommutative rings
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
to practice preparing and submitting patches, for people new to the Sage development process:
#8857 lcm over Q[x] broken (not any more)
.intersect() method of ideals should allow multiple arguments.
add an alias primary_decomposition_complete() -> complete_primary_decomposition() in the ideal class
Fast containers for objects and morphisms of a category
People: Simon
See #10667 Morphisms and Objects of Categories