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_notation_N.html | 194 +++++++++++++++++++------------------
1 file changed, 100 insertions(+), 94 deletions(-)
(limited to 'docs/htmldoc/index_notation_N.html')
diff --git a/docs/htmldoc/index_notation_N.html b/docs/htmldoc/index_notation_N.html
index c0cb513..45c9bab 100644
--- a/docs/htmldoc/index_notation_N.html
+++ b/docs/htmldoc/index_notation_N.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,69 +463,75 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
N (notation)
-_ .*2 (nat_scope) [in mathcomp.ssreflect.ssrnat]
-_ ^ _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
-_ * _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
-_ + _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
-[ archiFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ archiFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ numClosedFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ numClosedFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-_ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-[ numDomainType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ numDomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ numFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ rcfType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ rcfType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ realDomainType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ realDomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-[ realFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
-`| _ | (ring_scope) [in mathcomp.algebra.ssrnum]
-_ < _ [in mathcomp.algebra.ssrnum]
-_ <= _ [in mathcomp.algebra.ssrnum]
-_ <= _ ?= iff _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ ?= iff _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ < _ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ < _ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ >= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ >= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ > _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ > _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ < _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
->= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
->= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-<= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-<= _ (ring_scope) [in mathcomp.algebra.ssrnum]
-> _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-< _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
-< _ (ring_scope) [in mathcomp.algebra.ssrnum]
- [in mathcomp.algebra.ssrnum]
->=%R (ring_scope) [in mathcomp.algebra.ssrnum]
-<=%R (ring_scope) [in mathcomp.algebra.ssrnum]
->%R (ring_scope) [in mathcomp.algebra.ssrnum]
-<%R (ring_scope) [in mathcomp.algebra.ssrnum]
-`| _ | (ring_scope) [in mathcomp.algebra.ssrnum]
-'Im _ (ring_scope) [in mathcomp.algebra.ssrnum]
-'Re _ (ring_scope) [in mathcomp.algebra.ssrnum]
-_ .-root (ring_scope) [in mathcomp.algebra.ssrnum]
-_ .-root (ring_core_scope) [in mathcomp.algebra.ssrnum]
-'Im _ (ring_scope) [in mathcomp.algebra.ssrnum]
-'Re _ (ring_scope) [in mathcomp.algebra.ssrnum]
-'i (ring_scope) [in mathcomp.algebra.ssrnum]
-_ .-root (ring_scope) [in mathcomp.algebra.ssrnum]
-'i (ring_scope) [in mathcomp.algebra.ssrnum]
-_ ^* (ring_scope) [in mathcomp.algebra.ssrnum]
+_ .*2 (nat_scope) [in mathcomp.ssreflect.ssrnat]
+_ ^ _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
+_ * _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
+_ + _ (nat_scope) [in mathcomp.ssreflect.ssrnat]
+[ archiFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ archiFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ numClosedFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ numClosedFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+_ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+[ numDomainType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ numDomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ numFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ rcfType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ rcfType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ realDomainType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ realDomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ realFieldType of _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+`| _ | (ring_scope) [in mathcomp.algebra.ssrnum]
+_ < _ [in mathcomp.algebra.ssrnum]
+_ <= _ [in mathcomp.algebra.ssrnum]
+_ <= _ ?= iff _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ ?= iff _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ < _ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ < _ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ >= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ >= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ <= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ > _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ > _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ < _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ < _ (ring_scope) [in mathcomp.algebra.ssrnum]
+>= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+>= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+<= _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+<= _ (ring_scope) [in mathcomp.algebra.ssrnum]
+> _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+< _ :> _ (ring_scope) [in mathcomp.algebra.ssrnum]
+< _ (ring_scope) [in mathcomp.algebra.ssrnum]
+ [in mathcomp.algebra.ssrnum]
+>=%R (ring_scope) [in mathcomp.algebra.ssrnum]
+<=%R (ring_scope) [in mathcomp.algebra.ssrnum]
+>%R (ring_scope) [in mathcomp.algebra.ssrnum]
+<%R (ring_scope) [in mathcomp.algebra.ssrnum]
+`| _ | (ring_scope) [in mathcomp.algebra.ssrnum]
+'Im _ (ring_scope) [in mathcomp.algebra.ssrnum]
+'Re _ (ring_scope) [in mathcomp.algebra.ssrnum]
+_ .-root (ring_scope) [in mathcomp.algebra.ssrnum]
+_ .-root (ring_core_scope) [in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ in _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ | _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ in _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ | _ ) _ ] (form_scope) [in mathcomp.algebra.ssrnum]
+'Im _ (ring_scope) [in mathcomp.algebra.ssrnum]
+'Re _ (ring_scope) [in mathcomp.algebra.ssrnum]
+'i (ring_scope) [in mathcomp.algebra.ssrnum]
+_ .-root (ring_scope) [in mathcomp.algebra.ssrnum]
+'i (ring_scope) [in mathcomp.algebra.ssrnum]
+_ ^* (ring_scope) [in mathcomp.algebra.ssrnum]
| Global Index |
@@ -557,7 +563,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -589,14 +595,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -621,7 +627,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -653,7 +659,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -685,7 +691,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -717,7 +723,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -749,7 +755,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -781,7 +787,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -813,14 +819,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -845,7 +851,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -877,7 +883,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -909,7 +915,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -941,14 +947,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -973,7 +979,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3