htmldoc regenerated

1 files changed, 23 insertions, 22 deletions

diff --git a/docs/htmldoc/depend b/docs/htmldoc/depend
index d1d5e71..78df1d6 100644
--- a/docs/htmldoc/depend
+++ b/docs/htmldoc/depend
@@ -1,36 +1,36 @@
-algebra/all_algebra.vo algebra/all_algebra.glob algebra/all_algebra.v.beautified: algebra/all_algebra.v algebra/ssralg.vo algebra/ssrnum.vo algebra/finalg.vo algebra/poly.vo algebra/polydiv.vo algebra/polyXY.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo algebra/interval.vo algebra/matrix.vo algebra/mxpoly.vo algebra/mxalgebra.vo algebra/vector.vo algebra/ring_quotient.vo algebra/fraction.vo algebra/zmodp.vo
-algebra/finalg.vo algebra/finalg.glob algebra/finalg.v.beautified: algebra/finalg.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/action.vo
+algebra/all_algebra.vo algebra/all_algebra.glob algebra/all_algebra.v.beautified: algebra/all_algebra.v algebra/ssralg.vo algebra/ssrnum.vo algebra/finalg.vo algebra/countalg.vo algebra/poly.vo algebra/polydiv.vo algebra/polyXY.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo algebra/interval.vo algebra/matrix.vo algebra/mxpoly.vo algebra/mxalgebra.vo algebra/vector.vo algebra/ring_quotient.vo algebra/fraction.vo algebra/zmodp.vo
+algebra/finalg.vo algebra/finalg.glob algebra/finalg.v.beautified: algebra/finalg.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/action.vo algebra/ssralg.vo algebra/countalg.vo
+algebra/countalg.vo algebra/countalg.glob algebra/countalg.v.beautified: algebra/countalg.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/generic_quotient.vo algebra/ring_quotient.vo
 algebra/fraction.vo algebra/fraction.glob algebra/fraction.v.beautified: algebra/fraction.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/div.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/tuple.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo ssreflect/generic_quotient.vo
-algebra/intdiv.vo algebra/intdiv.glob algebra/intdiv.v.beautified: algebra/intdiv.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/polydiv.vo algebra/finalg.vo fingroup/perm.vo algebra/zmodp.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/vector.vo
-algebra/interval.vo algebra/interval.glob algebra/interval.v.beautified: algebra/interval.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/zmodp.vo algebra/ssrint.vo algebra/ssrnum.vo
-algebra/matrix.vo algebra/matrix.glob algebra/matrix.v.beautified: algebra/matrix.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo ssreflect/binomial.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/finalg.vo fingroup/perm.vo algebra/zmodp.vo
-algebra/mxalgebra.vo algebra/mxalgebra.glob algebra/mxalgebra.v.beautified: algebra/mxalgebra.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo ssreflect/binomial.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/finalg.vo fingroup/perm.vo algebra/zmodp.vo algebra/matrix.vo
+algebra/intdiv.vo algebra/intdiv.glob algebra/intdiv.v.beautified: algebra/intdiv.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/matrix.vo algebra/polydiv.vo algebra/finalg.vo fingroup/perm.vo algebra/zmodp.vo algebra/mxalgebra.vo algebra/vector.vo
+algebra/interval.vo algebra/interval.glob algebra/interval.v.beautified: algebra/interval.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/ssrnum.vo
+algebra/matrix.vo algebra/matrix.glob algebra/matrix.v.beautified: algebra/matrix.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/perm.vo ssreflect/div.vo ssreflect/prime.vo ssreflect/binomial.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/countalg.vo
+algebra/mxalgebra.vo algebra/mxalgebra.glob algebra/mxalgebra.v.beautified: algebra/mxalgebra.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/perm.vo ssreflect/div.vo ssreflect/prime.vo ssreflect/binomial.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/matrix.vo
 algebra/mxpoly.vo algebra/mxpoly.glob algebra/mxpoly.v.beautified: algebra/mxpoly.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo fingroup/fingroup.vo fingroup/perm.vo algebra/ssralg.vo algebra/zmodp.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/poly.vo algebra/polydiv.vo
 algebra/polydiv.vo algebra/polydiv.glob algebra/polydiv.v.beautified: algebra/polydiv.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/poly.vo
-algebra/poly.vo algebra/poly.glob algebra/poly.v.beautified: algebra/poly.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/binomial.vo
-algebra/polyXY.vo algebra/polyXY.glob algebra/polyXY.v.beautified: algebra/polyXY.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/choice.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo fingroup/fingroup.vo fingroup/perm.vo algebra/ssralg.vo algebra/zmodp.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/binomial.vo
-algebra/rat.vo algebra/rat.glob algebra/rat.v.beautified: algebra/rat.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/div.vo algebra/ssrnum.vo algebra/ssrint.vo
-algebra/ring_quotient.vo algebra/ring_quotient.glob algebra/ring_quotient.v.beautified: algebra/ring_quotient.v ssreflect/ssreflect.vo ssreflect/eqtype.vo ssreflect/choice.vo ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrnat.vo ssreflect/ssrfun.vo ssreflect/seq.vo algebra/ssralg.vo ssreflect/generic_quotient.vo
+algebra/poly.vo algebra/poly.glob algebra/poly.v.beautified: algebra/poly.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo ssreflect/div.vo algebra/ssralg.vo algebra/countalg.vo ssreflect/binomial.vo ssreflect/tuple.vo
+algebra/polyXY.vo algebra/polyXY.glob algebra/polyXY.v.beautified: algebra/polyXY.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/choice.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo fingroup/fingroup.vo fingroup/perm.vo ssreflect/div.vo algebra/ssralg.vo algebra/zmodp.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/binomial.vo
+algebra/rat.vo algebra/rat.glob algebra/rat.v.beautified: algebra/rat.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/countalg.vo ssreflect/div.vo algebra/ssrnum.vo algebra/ssrint.vo
+algebra/ring_quotient.vo algebra/ring_quotient.glob algebra/ring_quotient.v.beautified: algebra/ring_quotient.v ssreflect/ssreflect.vo ssreflect/eqtype.vo ssreflect/choice.vo ssreflect/ssrbool.vo ssreflect/ssrnat.vo ssreflect/ssrfun.vo ssreflect/seq.vo algebra/ssralg.vo ssreflect/generic_quotient.vo
 algebra/ssralg.vo algebra/ssralg.glob algebra/ssralg.v.beautified: algebra/ssralg.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/div.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo ssreflect/binomial.vo
-algebra/ssrint.vo algebra/ssrint.glob algebra/ssrint.v.beautified: algebra/ssrint.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/choice.vo ssreflect/seq.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/ssrnum.vo algebra/poly.vo
-algebra/ssrnum.vo algebra/ssrnum.glob algebra/ssrnum.v.beautified: algebra/ssrnum.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/bigop.vo algebra/ssralg.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/zmodp.vo algebra/poly.vo
+algebra/ssrint.vo algebra/ssrint.glob algebra/ssrint.v.beautified: algebra/ssrint.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/choice.vo ssreflect/seq.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/countalg.vo algebra/ssrnum.vo algebra/poly.vo
+algebra/ssrnum.vo algebra/ssrnum.glob algebra/ssrnum.v.beautified: algebra/ssrnum.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/bigop.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/ssralg.vo algebra/poly.vo
 algebra/vector.vo algebra/vector.glob algebra/vector.v.beautified: algebra/vector.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo ssreflect/finfun.vo ssreflect/tuple.vo algebra/ssralg.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/zmodp.vo
-algebra/zmodp.vo algebra/zmodp.glob algebra/zmodp.v.beautified: algebra/zmodp.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo fingroup/fingroup.vo algebra/ssralg.vo algebra/finalg.vo
+algebra/zmodp.vo algebra/zmodp.glob algebra/zmodp.v.beautified: algebra/zmodp.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo fingroup/fingroup.vo algebra/ssralg.vo algebra/finalg.vo algebra/countalg.vo
 all/all.vo all/all.glob all/all.v.beautified: all/all.v ssreflect/all_ssreflect.vo algebra/all_algebra.vo field/all_field.vo character/all_character.vo fingroup/all_fingroup.vo solvable/all_solvable.vo
 character/all_character.vo character/all_character.glob character/all_character.v.beautified: character/all_character.v character/character.vo character/classfun.vo character/inertia.vo character/integral_char.vo character/mxabelem.vo character/mxrepresentation.vo character/vcharacter.vo
-character/character.vo character/character.glob character/character.v.beautified: character/character.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/gproduct.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo algebra/finalg.vo fingroup/action.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/nilpotent.vo solvable/sylow.vo solvable/abelian.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/mxpoly.vo character/mxrepresentation.vo algebra/vector.vo algebra/ssrnum.vo field/algC.vo character/classfun.vo
+character/character.vo character/character.glob character/character.v.beautified: character/character.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/choice.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/gproduct.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo algebra/finalg.vo fingroup/action.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/nilpotent.vo solvable/sylow.vo solvable/abelian.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/mxpoly.vo character/mxrepresentation.vo algebra/vector.vo algebra/ssrnum.vo field/algC.vo character/classfun.vo
 character/classfun.vo character/classfun.glob character/classfun.v.beautified: character/classfun.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo algebra/finalg.vo fingroup/action.vo fingroup/gproduct.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/sylow.vo algebra/matrix.vo algebra/vector.vo field/falgebra.vo algebra/ssrnum.vo field/algC.vo field/algnum.vo
 character/inertia.vo character/inertia.glob character/inertia.v.beautified: character/inertia.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/ssrnum.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo fingroup/action.vo algebra/zmodp.vo solvable/cyclic.vo solvable/center.vo fingroup/gproduct.vo solvable/commutator.vo solvable/gseries.vo solvable/nilpotent.vo solvable/pgroup.vo solvable/sylow.vo solvable/maximal.vo solvable/frobenius.vo algebra/matrix.vo algebra/mxalgebra.vo character/mxrepresentation.vo algebra/vector.vo field/algC.vo character/classfun.vo character/character.vo
 character/integral_char.vo character/integral_char.glob character/integral_char.v.beautified: character/integral_char.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo fingroup/action.vo algebra/finalg.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/sylow.vo solvable/gseries.vo solvable/nilpotent.vo solvable/abelian.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/polydiv.vo algebra/rat.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/intdiv.vo algebra/mxpoly.vo algebra/vector.vo field/falgebra.vo field/fieldext.vo field/separable.vo field/galois.vo field/algC.vo field/cyclotomic.vo field/algnum.vo character/mxrepresentation.vo character/classfun.vo character/character.vo
 character/mxabelem.vo character/mxabelem.glob character/mxabelem.v.beautified: character/mxabelem.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo fingroup/gproduct.vo fingroup/action.vo algebra/finalg.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/gseries.vo solvable/nilpotent.vo solvable/sylow.vo solvable/maximal.vo solvable/abelian.vo algebra/matrix.vo algebra/mxalgebra.vo character/mxrepresentation.vo
 character/mxrepresentation.vo character/mxrepresentation.glob character/mxrepresentation.v.beautified: character/mxrepresentation.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo algebra/finalg.vo fingroup/action.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/mxpoly.vo
 character/vcharacter.vo character/vcharacter.glob character/vcharacter.v.beautified: character/vcharacter.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/fingroup.vo fingroup/morphism.vo fingroup/perm.vo fingroup/automorphism.vo fingroup/quotient.vo algebra/finalg.vo fingroup/action.vo fingroup/gproduct.vo algebra/zmodp.vo solvable/commutator.vo solvable/cyclic.vo solvable/center.vo solvable/pgroup.vo solvable/sylow.vo solvable/frobenius.vo algebra/vector.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/intdiv.vo field/algC.vo field/algnum.vo character/classfun.vo character/character.vo character/integral_char.vo
-field/algC.vo field/algC.glob field/algC.v.beautified: field/algC.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/ssrnat.vo ssreflect/eqtype.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/generic_quotient.vo field/countalg.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo field/algebraics_fundamentals.vo
-field/algebraics_fundamentals.vo field/algebraics_fundamentals.glob field/algebraics_fundamentals.v.beautified: field/algebraics_fundamentals.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/ssrnat.vo ssreflect/eqtype.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/tuple.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo field/countalg.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo fingroup/fingroup.vo algebra/finalg.vo algebra/zmodp.vo solvable/cyclic.vo solvable/pgroup.vo solvable/sylow.vo algebra/vector.vo field/falgebra.vo field/fieldext.vo field/separable.vo field/galois.vo
+field/algC.vo field/algC.glob field/algC.v.beautified: field/algC.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/ssrnat.vo ssreflect/eqtype.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/generic_quotient.vo algebra/countalg.vo algebra/ssrnum.vo field/closed_field.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo field/algebraics_fundamentals.vo
+field/algebraics_fundamentals.vo field/algebraics_fundamentals.glob field/algebraics_fundamentals.v.beautified: field/algebraics_fundamentals.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/ssrnat.vo ssreflect/eqtype.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/div.vo ssreflect/fintype.vo ssreflect/path.vo ssreflect/tuple.vo ssreflect/bigop.vo ssreflect/finset.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo algebra/countalg.vo field/closed_field.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/intdiv.vo fingroup/fingroup.vo algebra/finalg.vo algebra/zmodp.vo solvable/cyclic.vo solvable/pgroup.vo solvable/sylow.vo algebra/vector.vo field/falgebra.vo field/fieldext.vo field/separable.vo field/galois.vo
 field/algnum.vo field/algnum.glob field/algnum.v.beautified: field/algnum.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/poly.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/rat.vo algebra/polydiv.vo algebra/intdiv.vo field/algC.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/mxpoly.vo algebra/vector.vo field/falgebra.vo field/fieldext.vo field/separable.vo field/galois.vo field/cyclotomic.vo
-field/all_field.vo field/all_field.glob field/all_field.v.beautified: field/all_field.v field/algC.vo field/algebraics_fundamentals.vo field/algnum.vo field/closed_field.vo field/countalg.vo field/cyclotomic.vo field/falgebra.vo field/fieldext.vo field/finfield.vo field/galois.vo field/separable.vo
-field/closed_field.vo field/closed_field.glob field/closed_field.v.beautified: field/closed_field.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo
-field/countalg.vo field/countalg.glob field/countalg.v.beautified: field/countalg.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/matrix.vo algebra/mxalgebra.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/generic_quotient.vo algebra/ring_quotient.vo field/closed_field.vo algebra/ssrint.vo algebra/rat.vo algebra/polyXY.vo
+field/all_field.vo field/all_field.glob field/all_field.v.beautified: field/all_field.v field/algC.vo field/algebraics_fundamentals.vo field/algnum.vo field/closed_field.vo field/cyclotomic.vo field/falgebra.vo field/fieldext.vo field/finfield.vo field/galois.vo field/separable.vo
+field/closed_field.vo field/closed_field.glob field/closed_field.v.beautified: field/closed_field.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/choice.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/fintype.vo ssreflect/generic_quotient.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/poly.vo algebra/polydiv.vo algebra/matrix.vo algebra/mxpoly.vo algebra/countalg.vo algebra/ring_quotient.vo
 field/cyclotomic.vo field/cyclotomic.glob field/cyclotomic.v.beautified: field/cyclotomic.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo ssreflect/prime.vo algebra/ssralg.vo algebra/poly.vo ssreflect/finset.vo fingroup/fingroup.vo algebra/finalg.vo algebra/zmodp.vo solvable/cyclic.vo algebra/ssrnum.vo algebra/ssrint.vo algebra/polydiv.vo algebra/rat.vo algebra/intdiv.vo algebra/mxpoly.vo algebra/vector.vo field/falgebra.vo field/fieldext.vo field/separable.vo field/galois.vo field/algC.vo
 field/falgebra.vo field/falgebra.glob field/falgebra.v.beautified: field/falgebra.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/div.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/matrix.vo algebra/vector.vo algebra/poly.vo
 field/fieldext.vo field/fieldext.glob field/fieldext.v.beautified: field/fieldext.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/div.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo ssreflect/finfun.vo ssreflect/bigop.vo algebra/ssralg.vo algebra/finalg.vo algebra/zmodp.vo algebra/matrix.vo algebra/vector.vo field/falgebra.vo algebra/poly.vo algebra/polydiv.vo algebra/mxpoly.vo ssreflect/generic_quotient.vo
@@ -75,15 +75,16 @@ ssreflect/eqtype.vo ssreflect/eqtype.glob ssreflect/eqtype.v.beautified: ssrefle
 ssreflect/finfun.vo ssreflect/finfun.glob ssreflect/finfun.v.beautified: ssreflect/finfun.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/tuple.vo
 ssreflect/fingraph.vo ssreflect/fingraph.glob ssreflect/fingraph.v.beautified: ssreflect/fingraph.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/fintype.vo
 ssreflect/finset.vo ssreflect/finset.glob ssreflect/finset.v.beautified: ssreflect/finset.v ssreflect/ssreflect.vo ssreflect/ssrbool.vo ssreflect/ssrfun.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/div.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo ssreflect/finfun.vo ssreflect/bigop.vo
-ssreflect/fintype.vo ssreflect/fintype.glob ssreflect/fintype.v.beautified: ssreflect/fintype.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo
+ssreflect/fintype.vo ssreflect/fintype.glob ssreflect/fintype.v.beautified: ssreflect/fintype.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/path.vo
 ssreflect/generic_quotient.vo ssreflect/generic_quotient.glob ssreflect/generic_quotient.v.beautified: ssreflect/generic_quotient.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/choice.vo ssreflect/seq.vo ssreflect/fintype.vo
 ssreflect/path.vo ssreflect/path.glob ssreflect/path.v.beautified: ssreflect/path.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo
 ssreflect/prime.vo ssreflect/prime.glob ssreflect/prime.v.beautified: ssreflect/prime.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/path.vo ssreflect/fintype.vo ssreflect/div.vo ssreflect/bigop.vo
 ssreflect/seq.vo ssreflect/seq.glob ssreflect/seq.v.beautified: ssreflect/seq.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo
-ssreflect/ssrbool.vo ssreflect/ssrbool.glob ssreflect/ssrbool.v.beautified: ssreflect/ssrbool.v
+ssreflect/ssrbool.vo ssreflect/ssrbool.glob ssreflect/ssrbool.v.beautified: ssreflect/ssrbool.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo
 ssreflect/ssreflect.vo ssreflect/ssreflect.glob ssreflect/ssreflect.v.beautified: ssreflect/ssreflect.v
-ssreflect/ssrfun.vo ssreflect/ssrfun.glob ssreflect/ssrfun.v.beautified: ssreflect/ssrfun.v ssreflect/ssrnotations.vo
+ssreflect/ssrfun.vo ssreflect/ssrfun.glob ssreflect/ssrfun.v.beautified: ssreflect/ssrfun.v ssreflect/ssreflect.vo ssreflect/ssrnotations.vo
 ssreflect/ssrnat.vo ssreflect/ssrnat.glob ssreflect/ssrnat.v.beautified: ssreflect/ssrnat.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo
 ssreflect/ssrnotations.vo ssreflect/ssrnotations.glob ssreflect/ssrnotations.v.beautified: ssreflect/ssrnotations.v
 ssreflect/ssrmatching.vo ssreflect/ssrmatching.glob ssreflect/ssrmatching.v.beautified: ssreflect/ssrmatching.v
 ssreflect/tuple.vo ssreflect/tuple.glob ssreflect/tuple.v.beautified: ssreflect/tuple.v ssreflect/ssreflect.vo ssreflect/ssrfun.vo ssreflect/ssrbool.vo ssreflect/eqtype.vo ssreflect/ssrnat.vo ssreflect/seq.vo ssreflect/choice.vo ssreflect/fintype.vo
+test_suite/hierarchy_test.vo test_suite/hierarchy_test.glob test_suite/hierarchy_test.v.beautified: test_suite/hierarchy_test.v all/all.vo