3113
Comment:
|
3491
|
Deletions are marked like this. | Additions are marked like this. |
Line 64: | Line 64: |
* [[http://trac.sagemath.org/sage_trac/ticket/11115|#11115]] make cached methods faster - dependency of #7797 | |
Line 67: | Line 68: |
'''People:''' Burcin | '''People:''' Burcin, Simon |
Line 78: | Line 79: |
== FLINT integration == | == FLINT integration in Singular == |
Line 80: | Line 81: |
'''People:''' Fredrik | '''People:''' Fredrik, MartinL, Christian |
Line 84: | Line 85: |
* Benchmark against NTL version | |
Line 91: | Line 93: |
== 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