Sage/Singular Days Projects

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)

• #7797

• #11115 make cached methods faster - dependency of #7797 (Volker)

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?)

#3317 bitbucket

• #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

• #11339