From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/index_definition_C.html | 474 +++++++++++++++++++----------------
1 file changed, 254 insertions(+), 220 deletions(-)
(limited to 'docs/htmldoc/index_definition_C.html')
diff --git a/docs/htmldoc/index_definition_C.html b/docs/htmldoc/index_definition_C.html
index 711abda..ff6927f 100644
--- a/docs/htmldoc/index_definition_C.html
+++ b/docs/htmldoc/index_definition_C.html
@@ -4,7 +4,7 @@
-mathcomp.ssreflect.tuple
+mathcomp.test_suite.hierarchy_test
@@ -47,7 +47,7 @@
| Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -79,14 +79,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -111,7 +111,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -143,7 +143,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -175,7 +175,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -207,7 +207,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -239,7 +239,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -271,7 +271,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -303,14 +303,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -335,7 +335,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -367,7 +367,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -399,7 +399,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -431,14 +431,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -463,7 +463,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
C (definition)
@@ -477,7 +477,6 @@
capv [in mathcomp.algebra.vector]
CardDef.card [in mathcomp.ssreflect.fintype]
CardDef.cardEdef [in mathcomp.ssreflect.fintype]
-cardG_gt0_reduced [in mathcomp.fingroup.fingroup]
castmx [in mathcomp.algebra.matrix]
cast_ord [in mathcomp.ssreflect.fintype]
cat [in mathcomp.ssreflect.seq]
@@ -582,7 +581,41 @@
clone_morphism [in mathcomp.fingroup.morphism]
clone_group [in mathcomp.fingroup.fingroup]
clone_aspace [in mathcomp.field.falgebra]
-closed_fields_QEMixin [in mathcomp.field.closed_field]
+ClosedFieldQE.abstrX [in mathcomp.field.closed_field]
+ClosedFieldQE.amulXnT [in mathcomp.field.closed_field]
+ClosedFieldQE.bind [in mathcomp.field.closed_field]
+ClosedFieldQE.cpsif [in mathcomp.field.closed_field]
+ClosedFieldQE.eval_poly [in mathcomp.field.closed_field]
+ClosedFieldQE.ex_elim [in mathcomp.field.closed_field]
+ClosedFieldQE.ex_elim_seq [in mathcomp.field.closed_field]
+ClosedFieldQE.isnull [in mathcomp.field.closed_field]
+ClosedFieldQE.lead_coefT [in mathcomp.field.closed_field]
+ClosedFieldQE.lift [in mathcomp.field.closed_field]
+ClosedFieldQE.lt_sizeT [in mathcomp.field.closed_field]
+ClosedFieldQE.Mixin [in mathcomp.field.closed_field]
+ClosedFieldQE.mulpT [in mathcomp.field.closed_field]
+ClosedFieldQE.natmulpT [in mathcomp.field.closed_field]
+ClosedFieldQE.opppT [in mathcomp.field.closed_field]
+ClosedFieldQE.polyF [in mathcomp.field.closed_field]
+ClosedFieldQE.qf_cps [in mathcomp.field.closed_field]
+ClosedFieldQE.qf_red_cps [in mathcomp.field.closed_field]
+ClosedFieldQE.rdivpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rdvdpT [in mathcomp.field.closed_field]
+ClosedFieldQE.redivpT [in mathcomp.field.closed_field]
+ClosedFieldQE.redivp_rec_loop [in mathcomp.field.closed_field]
+ClosedFieldQE.redivp_rec_loopT [in mathcomp.field.closed_field]
+ClosedFieldQE.ret [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdpTs [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdp_loopT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdp_loop [in mathcomp.field.closed_field]
+ClosedFieldQE.rgdcopT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgdcop_recT [in mathcomp.field.closed_field]
+ClosedFieldQE.rmodpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rpoly [in mathcomp.field.closed_field]
+ClosedFieldQE.rscalpT [in mathcomp.field.closed_field]
+ClosedFieldQE.sizeT [in mathcomp.field.closed_field]
+ClosedFieldQE.sumpT [in mathcomp.field.closed_field]
closed_mem [in mathcomp.ssreflect.fingraph]
closure_mem [in mathcomp.ssreflect.fingraph]
CodeSeq.code [in mathcomp.ssreflect.choice]
@@ -617,8 +650,9 @@
commute [in mathcomp.fingroup.fingroup]
comm_poly [in mathcomp.algebra.poly]
comm_coef [in mathcomp.algebra.poly]
+companionmx [in mathcomp.algebra.mxpoly]
comparable [in mathcomp.ssreflect.eqtype]
-comparableClass [in mathcomp.ssreflect.eqtype]
+comparableMixin [in mathcomp.ssreflect.eqtype]
compareb [in mathcomp.ssreflect.eqtype]
complements_to_in [in mathcomp.fingroup.gproduct]
complmx [in mathcomp.algebra.mxalgebra]
@@ -647,7 +681,7 @@
constant [in mathcomp.ssreflect.seq]
constt [in mathcomp.solvable.pgroup]
const_mx [in mathcomp.algebra.matrix]
-cons_pfactor [in mathcomp.ssreflect.prime]
+cons_perms_ [in mathcomp.ssreflect.seq]
cons_poly [in mathcomp.algebra.poly]
coord [in mathcomp.algebra.vector]
coord_expanded_def [in mathcomp.algebra.vector]
@@ -673,187 +707,187 @@
Countable.EqMixin [in mathcomp.ssreflect.choice]
Countable.eqType [in mathcomp.ssreflect.choice]
Countable.pack [in mathcomp.ssreflect.choice]
-CountRing.ClosedField.base2 [in mathcomp.field.countalg]
-CountRing.ClosedField.choiceType [in mathcomp.field.countalg]
-CountRing.ClosedField.class [in mathcomp.field.countalg]
-CountRing.ClosedField.closedFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.comRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.comUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countComRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countDecFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.countFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.countIdomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.countRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countType [in mathcomp.field.countalg]
-CountRing.ClosedField.countUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countZmodType [in mathcomp.field.countalg]
-CountRing.ClosedField.decFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.eqType [in mathcomp.field.countalg]
-CountRing.ClosedField.fieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.idomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countDecFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countComRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countType [in mathcomp.field.countalg]
-CountRing.ClosedField.pack [in mathcomp.field.countalg]
-CountRing.ClosedField.ringType [in mathcomp.field.countalg]
-CountRing.ClosedField.unitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.zmodType [in mathcomp.field.countalg]
-CountRing.ComRing.base2 [in mathcomp.field.countalg]
-CountRing.ComRing.choiceType [in mathcomp.field.countalg]
-CountRing.ComRing.class [in mathcomp.field.countalg]
-CountRing.ComRing.comRingType [in mathcomp.field.countalg]
-CountRing.ComRing.countRingType [in mathcomp.field.countalg]
-CountRing.ComRing.countType [in mathcomp.field.countalg]
-CountRing.ComRing.countZmodType [in mathcomp.field.countalg]
-CountRing.ComRing.eqType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countType [in mathcomp.field.countalg]
-CountRing.ComRing.pack [in mathcomp.field.countalg]
-CountRing.ComRing.ringType [in mathcomp.field.countalg]
-CountRing.ComRing.zmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.base2 [in mathcomp.field.countalg]
-CountRing.ComUnitRing.base3 [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ccjoin_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.choiceType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.cjoin_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.class [in mathcomp.field.countalg]
-CountRing.ComUnitRing.comRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.comUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countZmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.eqType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.pack [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ringType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ujoin_countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.unitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.zmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.base2 [in mathcomp.field.countalg]
-CountRing.DecidableField.choiceType [in mathcomp.field.countalg]
-CountRing.DecidableField.class [in mathcomp.field.countalg]
-CountRing.DecidableField.comRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.comUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countComRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.countIdomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.countRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countType [in mathcomp.field.countalg]
-CountRing.DecidableField.countUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countZmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.decFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.eqType [in mathcomp.field.countalg]
-CountRing.DecidableField.fieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.idomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countComRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countZmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countType [in mathcomp.field.countalg]
-CountRing.DecidableField.pack [in mathcomp.field.countalg]
-CountRing.DecidableField.ringType [in mathcomp.field.countalg]
-CountRing.DecidableField.unitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.zmodType [in mathcomp.field.countalg]
-CountRing.Field.base2 [in mathcomp.field.countalg]
-CountRing.Field.choiceType [in mathcomp.field.countalg]
-CountRing.Field.class [in mathcomp.field.countalg]
-CountRing.Field.comRingType [in mathcomp.field.countalg]
-CountRing.Field.comUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countComRingType [in mathcomp.field.countalg]
-CountRing.Field.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countIdomainType [in mathcomp.field.countalg]
-CountRing.Field.countRingType [in mathcomp.field.countalg]
-CountRing.Field.countType [in mathcomp.field.countalg]
-CountRing.Field.countUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countZmodType [in mathcomp.field.countalg]
-CountRing.Field.eqType [in mathcomp.field.countalg]
-CountRing.Field.fieldType [in mathcomp.field.countalg]
-CountRing.Field.idomainType [in mathcomp.field.countalg]
-CountRing.Field.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.Field.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countComRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countZmodType [in mathcomp.field.countalg]
-CountRing.Field.join_countType [in mathcomp.field.countalg]
-CountRing.Field.pack [in mathcomp.field.countalg]
-CountRing.Field.ringType [in mathcomp.field.countalg]
-CountRing.Field.unitRingType [in mathcomp.field.countalg]
-CountRing.Field.zmodType [in mathcomp.field.countalg]
-CountRing.gen_pack [in mathcomp.field.countalg]
-CountRing.IntegralDomain.base2 [in mathcomp.field.countalg]
-CountRing.IntegralDomain.choiceType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.class [in mathcomp.field.countalg]
-CountRing.IntegralDomain.comRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.comUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countComRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countZmodType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.eqType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.idomainType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countComRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countZmodType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.pack [in mathcomp.field.countalg]
-CountRing.IntegralDomain.ringType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.unitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.zmodType [in mathcomp.field.countalg]
-CountRing.Ring.base2 [in mathcomp.field.countalg]
-CountRing.Ring.choiceType [in mathcomp.field.countalg]
-CountRing.Ring.class [in mathcomp.field.countalg]
-CountRing.Ring.countType [in mathcomp.field.countalg]
-CountRing.Ring.countZmodType [in mathcomp.field.countalg]
-CountRing.Ring.eqType [in mathcomp.field.countalg]
-CountRing.Ring.join_countZmodType [in mathcomp.field.countalg]
-CountRing.Ring.join_countType [in mathcomp.field.countalg]
-CountRing.Ring.pack [in mathcomp.field.countalg]
-CountRing.Ring.ringType [in mathcomp.field.countalg]
-CountRing.Ring.zmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.base2 [in mathcomp.field.countalg]
-CountRing.UnitRing.choiceType [in mathcomp.field.countalg]
-CountRing.UnitRing.class [in mathcomp.field.countalg]
-CountRing.UnitRing.countRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.countType [in mathcomp.field.countalg]
-CountRing.UnitRing.countZmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.eqType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countType [in mathcomp.field.countalg]
-CountRing.UnitRing.pack [in mathcomp.field.countalg]
-CountRing.UnitRing.ringType [in mathcomp.field.countalg]
-CountRing.UnitRing.unitRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.zmodType [in mathcomp.field.countalg]
-CountRing.Zmodule.choiceType [in mathcomp.field.countalg]
-CountRing.Zmodule.class [in mathcomp.field.countalg]
-CountRing.Zmodule.countType [in mathcomp.field.countalg]
-CountRing.Zmodule.eqType [in mathcomp.field.countalg]
-CountRing.Zmodule.join_countType [in mathcomp.field.countalg]
-CountRing.Zmodule.pack [in mathcomp.field.countalg]
-CountRing.Zmodule.zmodType [in mathcomp.field.countalg]
+CountRing.ClosedField.base2 [in mathcomp.algebra.countalg]
+CountRing.ClosedField.choiceType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.class [in mathcomp.algebra.countalg]
+CountRing.ClosedField.closedFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.comRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countComRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countDecFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.decFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.eqType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.fieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.idomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countDecFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.pack [in mathcomp.algebra.countalg]
+CountRing.ClosedField.ringType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.unitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.zmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.base2 [in mathcomp.algebra.countalg]
+CountRing.ComRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.ComRing.class [in mathcomp.algebra.countalg]
+CountRing.ComRing.comRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.eqType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.ComRing.pack [in mathcomp.algebra.countalg]
+CountRing.ComRing.ringType [in mathcomp.algebra.countalg]
+CountRing.ComRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.base2 [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.base3 [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ccjoin_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.cjoin_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.class [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.comRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.eqType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.pack [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ringType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ujoin_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.unitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.base2 [in mathcomp.algebra.countalg]
+CountRing.DecidableField.choiceType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.class [in mathcomp.algebra.countalg]
+CountRing.DecidableField.comRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countComRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countZmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.decFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.eqType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.fieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.idomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.pack [in mathcomp.algebra.countalg]
+CountRing.DecidableField.ringType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.unitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.zmodType [in mathcomp.algebra.countalg]
+CountRing.Field.base2 [in mathcomp.algebra.countalg]
+CountRing.Field.choiceType [in mathcomp.algebra.countalg]
+CountRing.Field.class [in mathcomp.algebra.countalg]
+CountRing.Field.comRingType [in mathcomp.algebra.countalg]
+CountRing.Field.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countComRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.Field.countRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countType [in mathcomp.algebra.countalg]
+CountRing.Field.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countZmodType [in mathcomp.algebra.countalg]
+CountRing.Field.eqType [in mathcomp.algebra.countalg]
+CountRing.Field.fieldType [in mathcomp.algebra.countalg]
+CountRing.Field.idomainType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countType [in mathcomp.algebra.countalg]
+CountRing.Field.pack [in mathcomp.algebra.countalg]
+CountRing.Field.ringType [in mathcomp.algebra.countalg]
+CountRing.Field.unitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.zmodType [in mathcomp.algebra.countalg]
+CountRing.gen_pack [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.base2 [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.choiceType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.class [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.comRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countComRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countZmodType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.eqType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.idomainType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.pack [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.ringType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.unitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.zmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.base2 [in mathcomp.algebra.countalg]
+CountRing.Ring.choiceType [in mathcomp.algebra.countalg]
+CountRing.Ring.class [in mathcomp.algebra.countalg]
+CountRing.Ring.countType [in mathcomp.algebra.countalg]
+CountRing.Ring.countZmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.eqType [in mathcomp.algebra.countalg]
+CountRing.Ring.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.join_countType [in mathcomp.algebra.countalg]
+CountRing.Ring.pack [in mathcomp.algebra.countalg]
+CountRing.Ring.ringType [in mathcomp.algebra.countalg]
+CountRing.Ring.zmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.base2 [in mathcomp.algebra.countalg]
+CountRing.UnitRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.class [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.eqType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.pack [in mathcomp.algebra.countalg]
+CountRing.UnitRing.ringType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.unitRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.choiceType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.class [in mathcomp.algebra.countalg]
+CountRing.Zmodule.countType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.eqType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.join_countType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.pack [in mathcomp.algebra.countalg]
+CountRing.Zmodule.zmodType [in mathcomp.algebra.countalg]
cover [in mathcomp.ssreflect.finset]
cpairg1 [in mathcomp.solvable.center]
cpair1g [in mathcomp.solvable.center]
@@ -907,7 +941,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -939,14 +973,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -971,7 +1005,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1003,7 +1037,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1035,7 +1069,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1067,7 +1101,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1099,7 +1133,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1131,7 +1165,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1163,14 +1197,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1195,7 +1229,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1227,7 +1261,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1259,7 +1293,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1291,14 +1325,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1323,7 +1357,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3