Differences between revisions 1 and 37 (spanning 36 versions)
Revision 1 as of 2011-09-12 14:35:18
Size: 1636
Editor: burcin
Comment:
Revision 37 as of 2011-09-29 16:12:40
Size: 6678
Editor: burcin
Comment:
Deletions are marked like this. Additions are marked like this.
Line 8: Line 8:
'''People:'''
 * [[http://trac.sagemath.org/sage_trac/ticket/10903|#10903]] and [[http://trac.sagemath.org/sage_trac/ticket/11769|#11769]]
'''People:''' Simon, Burcin, Martin

working on [[http://sage.math.washington.edu/home/leif/Sage/release/sage-4.7.2.alpha3-prerelease/sage-4.7.2.alpha3-prerelease.tar|prerelease of Sage-4.7.2.alpha3]] dated Sept 19, 2012 md5sum: ad021855ae07ecdd1cdcc7b973c9cdba

 * [[http://trac.sagemath.org/sage_trac/ticket/10903|#10903]] update Singular
 * [[http://trac.sagemath.org/sage_trac/ticket/10810|#10810]] Singular doesn't build on ARM
 * [[http://trac.sagemath.org/sage_trac/ticket/11769|#11769]] Singular doesn't build on Ubuntu Oneiric
 * [[http://trac.sagemath.org/sage_trac/ticket/10902|#10902]] factorization of multivariate polynomials
Line 13: Line 19:
'''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:''' Volker, 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


== Fix the building of spielwiese Singular (libpolys) ==

'''People:''' Volker, Oleksandr

 * parallel building `make -j` used to fail because of generated sources (e.g. `feOpt.inc`)
 * `make install` should install everything needed for `make distcheck`
 * tests run via `make check` should be able to find resources (e.g. gftables) - cleate symlink or set Singular environment variables?
Line 18: Line 37:
'''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`)

 * [[http://www.lmona.de:31111/|list of test results]] (temporarily)
 * Monday morning: 595 failing tests
 * Tuesday morning: 543 failing tests
 * Wednesday: 486 failing tests
 * Thursday: 390 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
Line 23: Line 77:
'''People:''' Hiep, Burcin '''People:''' Hiep, Burcin, Simon
Line 29: Line 83:
'''People:''' '''People:''' Simon, Burcin, Alexander (offsite)
Line 32: Line 86:
 * [[http://trac.sagemath.org/sage_trac/ticket/11115|#11115]] make cached methods faster - dependency of #7797 (Volker)
Line 35: Line 90:
'''People:''' Burcin '''People:''' Burcin, Simon, Alexander (offsite)
Line 38: Line 93:
 * Preliminary patch that fixed the segfaults: [[http://trac.sagemath.org/sage_trac/attachment/ticket/4539/trac4539_kwds.patch|trac4539_lmul.patch]]. This is not performant and actually works around an rmul/lmut issue. So we need a better fix for that.
 * Fixing missing keyword argument issue by reverting an unnecessary path of the patch: [[http://trac.sagemath.org/sage_trac/attachment/ticket/4539/trac4539_kwds.patch|trac4539_kwds.patch]]

== 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.
Line 45: Line 108:

== 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]].
 * [[http://trac.sagemath.org/sage_trac/ticket/11864]] add `.saturation()`, `.blow_up_ideal()` methods in the multivariate polynomial 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

== Improve/Review citation library ==

'''People''': Niels, Burcin, (and somebody else?)

[[http://trac.sagemath.org/sage_trac/ticket/3317|#3317]] [[https://bitbucket.org/niels_mfo/sage-citation|bitbucket]]

 * [[http://trac.sagemath.org/sage_trac/ticket/11851|#11851]] [[http://trac.sagemath.org/sage_trac/ticket/11852|#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

 * [[http://trac.sagemath.org/sage_trac/ticket/11339|#11339]]

== Review PolyBoRi 0.8.0 patch ==

'''People''': Martin, Alexander (offsite)

 * [[http://trac.sagemath.org/sage_trac/ticket/11575|#11575]]

Martin reviewed it mathematically. The patch was rebased to 4.7.2alpha3, the spkg got the improved sse2-flags detection from 0.8.1.
(Final) tests are running currently.

== Review linbox for modn dense matrices patch ==

 * [[http://trac.sagemath.org/sage_trac/ticket/4260|#4260]]

Sage/Singular Days Projects

Update Singular spkg

People: Simon, Burcin, Martin

working on prerelease of Sage-4.7.2.alpha3 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: Volker, 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

Fix the building of spielwiese Singular (libpolys)

People: Volker, Oleksandr

  • parallel building make -j used to fail because of generated sources (e.g. feOpt.inc)

  • make install should install everything needed for make distcheck

  • tests run via make check should be able to find resources (e.g. gftables) - cleate symlink or set Singular environment variables?

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.

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)

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

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:

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

Review PolyBoRi 0.8.0 patch

People: Martin, Alexander (offsite)

Martin reviewed it mathematically. The patch was rebased to 4.7.2alpha3, the spkg got the improved sse2-flags detection from 0.8.1. (Final) tests are running currently.

Review linbox for modn dense matrices patch

days34/projects (last edited 2011-09-30 08:22:53 by SimonKing)