Projects for Sage Days 60

Knot theory

Review the existing features in Sage (anything) and elsewhere, and create some tickets of achievable features in the mid-run

• As we see here, http://ask.sagemath.org/question/8255/knot-theory-and-sage/ there is demand for this.

• Older ideas for many topological things are here http://wiki.sagemath.org/topology

• Here is someone using braid group implementation to do basic knot things https://quantumtetrahedron.wordpress.com/tag/knot-theory/

• Here is someone who even did some thinking about how to organize it: https://github.com/amitjamadagni/Knots/wiki/Knot-theory-implementation

• Here is where braid groups were implemented: http://trac.sagemath.org/ticket/12339

Representation Zeta functions

Expose more features from Symmetrica

#15555 Amri

Quadratic forms over ch=2

Class for bilinear and sesquilinear forms

Error estimates for differential difference equations

#16601

Rational points on elliptic curves

Play with finite dimensional Hopf algebras

Implement a couple, look for dimensions of comodules (by duality)

Review of tutorials from the Sage-Combinat queue

#3624 coding theory

== Conditional expectations of multivariate random variables ==

Reorganize the combinatorics documentation indexes into src/sage/combinat

#16256

Anne, Karl, Nicolas, Travis

Dimer model

Implement, import or interface existing soft

Counting, sampling, ...

Arvind

Lie algebras

More work on the ticket, review, play with, split, ...

Travis, ...

Categories and Morphisms for crystals

Anne, Nicolas, Travis