packaging fingroup and algebra

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)

1 files changed, 21 insertions, 0 deletions

diff --git a/mathcomp/algebra/Make b/mathcomp/algebra/Make
new file mode 100644
index 0000000..d9f4c63
--- /dev/null
+++ b/mathcomp/algebra/Make
@@ -0,0 +1,21 @@
+all.v
+finalg.v
+fraction.v
+intdiv.v
+interval.v
+matrix.v
+mxalgebra.v
+mxpoly.v
+polydiv.v
+poly.v
+polyXY.v
+rat.v
+ring_quotient.v
+ssralg.v
+ssrint.v
+ssrnum.v
+vector.v
+zmodp.v
+cyclic.v
+
+-R . mathcomp.algebra