forked from wbhart/nemoweb
-
Notifications
You must be signed in to change notification settings - Fork 2
/
development.txt
77 lines (60 loc) · 3.48 KB
/
development.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<h2>Development</h2>
<h3>Source (git repository)</h3>
<p>You can get a clone of the git development repo with:</p>
<pre>git clone https://github.com/Nemocas/Nemo.jl.git</pre>
<p>If you want to browse the repository online, or fork it on GitHub, it can be accessed here:</p>
<a href="https://github.com/Nemocas/Nemo.jl">https://github.com/Nemocas/Nemo.jl</a>
<p>The current development branch within the repository is "master".</p>
<p>Work on generic algorithms and structures is done within the
AbstractAlgebra.jl project, which Nemo uses for all its generic
functionality.</p>
<pre>git clone https://github.com/Nemocas/AbstractAlgebra.jl.git</pre>
<p>If you want to browse the repository online, or fork it on GitHub, it can
be accessed here:</p>
<a
href="https://github.com/Nemocas/AbstractAlgebra.jl">https://github.com/Nemocas/AbstractAlgebra.jl</a>
<p>Nemocas is a community organization on GitHub managed by four individuals who can accept pull requests. To contribute to Nemo, simply issue a pull request against the GitHub repository above or open an issue on the GitHub issue tracker.</p>
<h3>Mailing list</h3>
<p>You are welcome to come and join the community of volunteers at our Google development
group:</p>
<a href="http://groups.google.com/group/nemo-devel">nemo-devel Google Group</a>
<h3>Development ideas</h3>
<p>Our GitHub issue tracker:
<a href="https://github.com/wbhart/nemo.jl/issues">https://github.com/wbhart/nemo.jl/issues</a></p>
<p>Here is a list of ideas for development projects that would be highly valuable to a large
number of users. Some of these could make good student projects (or in some cases, research projects).
</p>
<ul>
<li>Implement multivariate rational functions</li>
<li>Implement generic Puiseux series with automatic inflation/deflation</li>
<li>Add the capped absolute model of power series for more modules</li>
<li>Implement versions of Laurent series that use Flint</li>
<li>Implement generic Hermite Normal Form and Popov form</li>
<li>Interface with Gap or wrap libgap</li>
<li>Implement symbolic expressions</li>
<li>Implement sparse matrix algorithms</li>
<li>Implement fast representation for small finite fields (possibly in Flint)</li>
<li>Wrap Singular for Groebner basis, ideal and integral kernel operations</li>
<li>Implement factoring of multivariate polynomials</li>
<li>Implement charpoly and minpoly for number fields (possibly in Antic)</li>
<li>Implement modular gcd algorithm for multivariate polynomials over the integers</li>
<li>Implement modular algorithms for number fields (possibly in Antic)</li>
<li>Implement generic Jordan canonical form and rational canonical form</li>
<li>Fast p-adic nullspace kernel vector lifting (possibly in Flint)</li>
<li>Implement generic Smith normal form over a PID</li>
<li>Implement generic QR factorisation</li>
<li>BKZ reduction (possibly in Flint)</li>
<li>Implement Howell normal form</li>
<li>Wrap Flint Zech logarithm modules</li>
<li>Wrap Flint modules for matrices over finite fields and QQ</li>
<li>Faster immutable type for Z/nZ for small n</li>
<li>Implement Frobenius normal form</li>
<li>Implement fallback generic Sylvester matrix resultant</li>
<li>Implement generic O(n^3) minpoly.</li>
</ul>
<p>
A longer list of (mostly minor) issues to work on can be found in the
<a href="https://github.com/wbhart/nemo.jl/blob/master/todo.txt">todo.txt</a> file.
If you are interested in contributing to Nemo in any way,
or even just want to request a feature,
don't hesitate to leave a message on the mailing list!</p>