Sage/Singular Days Projects

Update Singular spkg

People:

• #10903 and #11769

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.

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

• This shouldn't be so hard since libSingular uses the same type for polynomials and module elements

Review Simon's letterplace patches

People:

• #7797

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

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