|
Size: 1774
Comment:
|
Size: 1910
Comment: subtask: non-commutative Singular
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 19: | Line 19: |
| Line 20: | Line 21: |
=== Non-commutative Stuff === '''People:''' Oleksandr * Bug hunt at PLURAL/SCA kernel code: G-ring (left) std, SCA etc... |
Sage/Singular Days Projects
Contents
Update Singular spkg
People:
Update the Singular interface to work with libpolys
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).
Refactored Singular should pass it's test suite
People: Burcin, Oleksandr, Hans
- Bug hunt through Singular kernel code. An adventure no hacker can resist.
Non-commutative Stuff
People: Oleksandr
- Bug hunt at PLURAL/SCA kernel code: G-ring (left) std, SCA etc...
Interface to Singular's modules
People: Hiep, Burcin
- This shouldn't be so hard since libSingular uses the same type for polynomials and module elements
Review Simon's letterplace patches
People:
Plural interface
People: Burcin
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
People: Fredrik
- Add missing utility and conversion functions to FLINT
- Use FLINT in Singular