From ed05182cece6bb3706e09b2ce14af4a41a2e8141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:54:22 +0200 Subject: generate the documentation for 1.7 --- docs/htmldoc/index_variable_S.html | 1143 ++++++++++++++++++++++++++++++++++++ 1 file changed, 1143 insertions(+) create mode 100644 docs/htmldoc/index_variable_S.html (limited to 'docs/htmldoc/index_variable_S.html') diff --git a/docs/htmldoc/index_variable_S.html b/docs/htmldoc/index_variable_S.html new file mode 100644 index 0000000..61871a0 --- /dev/null +++ b/docs/htmldoc/index_variable_S.html @@ -0,0 +1,1143 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

S (variable)

+ScaleCompLfun.aT [in mathcomp.algebra.vector]
+ScaleCompLfun.R [in mathcomp.algebra.vector]
+ScaleCompLfun.rT [in mathcomp.algebra.vector]
+ScaleCompLfun.vT [in mathcomp.algebra.vector]
+Scan.f [in mathcomp.ssreflect.seq]
+Scan.g [in mathcomp.ssreflect.seq]
+Scan.T1 [in mathcomp.ssreflect.seq]
+Scan.T2 [in mathcomp.ssreflect.seq]
+Scan.x1 [in mathcomp.ssreflect.seq]
+Scan.x2 [in mathcomp.ssreflect.seq]
+SCN.G [in mathcomp.solvable.maximal]
+SCN.gT [in mathcomp.solvable.maximal]
+SCN.p [in mathcomp.solvable.maximal]
+SCN.SCNseries.A [in mathcomp.solvable.maximal]
+SCN.SCNseries.cAA [in mathcomp.solvable.maximal]
+SCN.SCNseries.nZA [in mathcomp.solvable.maximal]
+SCN.SCNseries.SCN_A [in mathcomp.solvable.maximal]
+SCN.SCNseries.sZA [in mathcomp.solvable.maximal]
+SCN.SCNseries.Z [in mathcomp.solvable.maximal]
+SDproduct.defG [in mathcomp.character.classfun]
+SDproduct.G [in mathcomp.character.classfun]
+SDproduct.gT [in mathcomp.character.classfun]
+SDproduct.H [in mathcomp.character.classfun]
+SDproduct.K [in mathcomp.character.classfun]
+SDproduct.nsKG [in mathcomp.character.classfun]
+SDproduct.sHG [in mathcomp.character.classfun]
+SDproduct.sKG [in mathcomp.character.classfun]
+Sdprod.defG [in mathcomp.character.character]
+Sdprod.G [in mathcomp.character.character]
+Sdprod.gT [in mathcomp.character.character]
+Sdprod.H [in mathcomp.character.character]
+Sdprod.K [in mathcomp.character.character]
+Sdprod.nKG [in mathcomp.character.character]
+SecondIsomorphism.gT [in mathcomp.fingroup.quotient]
+SecondIsomorphism.H [in mathcomp.fingroup.quotient]
+SecondIsomorphism.K [in mathcomp.fingroup.quotient]
+SecondIsomorphism.nKH [in mathcomp.fingroup.quotient]
+Sections.gT [in mathcomp.solvable.jordanholder]
+SeparablePoly.R [in mathcomp.field.separable]
+Separable.DerivationAlgebra.D [in mathcomp.field.separable]
+Separable.DerivationAlgebra.derD [in mathcomp.field.separable]
+Separable.DerivationAlgebra.E [in mathcomp.field.separable]
+Separable.Derivation.D [in mathcomp.field.separable]
+Separable.Derivation.derD [in mathcomp.field.separable]
+Separable.Derivation.K [in mathcomp.field.separable]
+Separable.F [in mathcomp.field.separable]
+Separable.L [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.FiniteCase.cyclic_or_large [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.FiniteCase.K_is_large [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.FiniteCase.N [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.K [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.sepKy [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.x [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.y [in mathcomp.field.separable]
+Separable.SeparableElement.ExtendDerivation.D [in mathcomp.field.separable]
+Separable.SeparableElement.ExtendDerivation.derD [in mathcomp.field.separable]
+Separable.SeparableElement.ExtendDerivation.Dx [in mathcomp.field.separable]
+Separable.SeparableElement.K [in mathcomp.field.separable]
+Separable.SeparableElement.Kx_x [in mathcomp.field.separable]
+Separable.SeparableElement.sKxK [in mathcomp.field.separable]
+Separable.SeparableElement.x [in mathcomp.field.separable]
+SeqFinType.s [in mathcomp.ssreflect.fintype]
+SeqFinType.T [in mathcomp.ssreflect.fintype]
+SeqSubType.s [in mathcomp.ssreflect.fintype]
+SeqSubType.T [in mathcomp.ssreflect.fintype]
+SeqTuple.m [in mathcomp.ssreflect.tuple]
+SeqTuple.n [in mathcomp.ssreflect.tuple]
+SeqTuple.rT [in mathcomp.ssreflect.tuple]
+SeqTuple.T [in mathcomp.ssreflect.tuple]
+SeqTuple.U [in mathcomp.ssreflect.tuple]
+Sequences.n0 [in mathcomp.ssreflect.seq]
+Sequences.SeqFind.a [in mathcomp.ssreflect.seq]
+Sequences.SubPred.a1 [in mathcomp.ssreflect.seq]
+Sequences.SubPred.a2 [in mathcomp.ssreflect.seq]
+Sequences.SubPred.s12 [in mathcomp.ssreflect.seq]
+Sequences.T [in mathcomp.ssreflect.seq]
+Sequences.x0 [in mathcomp.ssreflect.seq]
+SeriesDefs.A [in mathcomp.solvable.nilpotent]
+SeriesDefs.gT [in mathcomp.solvable.nilpotent]
+SeriesDefs.n [in mathcomp.solvable.nilpotent]
+setOpsAlgebra.T [in mathcomp.ssreflect.finset]
+setOpsDefs.T [in mathcomp.ssreflect.finset]
+setOps.T [in mathcomp.ssreflect.finset]
+SetType.T [in mathcomp.ssreflect.finset]
+SgzReal.R [in mathcomp.algebra.ssrint]
+Sgz.R [in mathcomp.algebra.ssrint]
+SigEqType.P [in mathcomp.ssreflect.eqtype]
+SigEqType.T [in mathcomp.ssreflect.eqtype]
+SigProj.P [in mathcomp.ssreflect.eqtype]
+SigProj.Q [in mathcomp.ssreflect.eqtype]
+SigProj.T [in mathcomp.ssreflect.eqtype]
+SolvablePrimeFactor.G [in mathcomp.solvable.maximal]
+SolvablePrimeFactor.gT [in mathcomp.solvable.maximal]
+Solvable.gT [in mathcomp.solvable.nilpotent]
+Solver.K [in mathcomp.algebra.vector]
+Solver.lhs [in mathcomp.algebra.vector]
+Solver.lhsf [in mathcomp.algebra.vector]
+Solver.n [in mathcomp.algebra.vector]
+Solver.rhs [in mathcomp.algebra.vector]
+Solver.vT [in mathcomp.algebra.vector]
+SomeHall.gT [in mathcomp.solvable.sylow]
+SortSeq.leT [in mathcomp.ssreflect.path]
+SortSeq.leT_total [in mathcomp.ssreflect.path]
+SortSeq.T [in mathcomp.ssreflect.path]
+SortSeq.Transitive.leT_tr [in mathcomp.ssreflect.path]
+SpecializeExtremals.m [in mathcomp.solvable.extremal]
+SpecializeExtremals.p [in mathcomp.solvable.extremal]
+SpecializeExtremals.q [in mathcomp.solvable.extremal]
+Special.A [in mathcomp.solvable.maximal]
+Special.G [in mathcomp.solvable.maximal]
+Special.gT [in mathcomp.solvable.maximal]
+Special.p [in mathcomp.solvable.maximal]
+SplittingFieldFor.F [in mathcomp.field.galois]
+SplittingFieldFor.L [in mathcomp.field.galois]
+SplittingFieldTheory.F [in mathcomp.field.galois]
+SplittingFieldTheory.L [in mathcomp.field.galois]
+SplittingField.ClassDef.cT [in mathcomp.field.galois]
+SplittingField.ClassDef.F [in mathcomp.field.galois]
+SplittingField.ClassDef.phF [in mathcomp.field.galois]
+SplittingField.ClassDef.T [in mathcomp.field.galois]
+SplittingField.ClassDef.xT [in mathcomp.field.galois]
+StableCompositionSeries.A [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.aT [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.D [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.MaxAinvProps.K [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.MaxAinvProps.N [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.rT [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.to [in mathcomp.solvable.jordanholder]
+StandardRepresentation.DsumRepr.n [in mathcomp.character.character]
+StandardRepresentation.DsumRepr.rG [in mathcomp.character.character]
+StandardRepresentation.G [in mathcomp.character.character]
+StandardRepresentation.gT [in mathcomp.character.character]
+StandardRepresentation.ProdRepr.n1 [in mathcomp.character.character]
+StandardRepresentation.ProdRepr.n2 [in mathcomp.character.character]
+StandardRepresentation.ProdRepr.rG1 [in mathcomp.character.character]
+StandardRepresentation.ProdRepr.rG2 [in mathcomp.character.character]
+StandardRepresentation.R [in mathcomp.character.character]
+StrongJordanHolder.A [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.aT [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas.A [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas.aT [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas.D [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas.rT [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas.to [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.D [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.rT [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.to [in mathcomp.solvable.jordanholder]
+SubAction.aT [in mathcomp.fingroup.action]
+SubAction.D [in mathcomp.fingroup.action]
+SubAction.rT [in mathcomp.fingroup.action]
+SubAction.sP [in mathcomp.fingroup.action]
+SubAction.sT [in mathcomp.fingroup.action]
+SubAction.to [in mathcomp.fingroup.action]
+SubCountType.P [in mathcomp.ssreflect.choice]
+SubCountType.T [in mathcomp.ssreflect.choice]
+SubEqType.P [in mathcomp.ssreflect.eqtype]
+SubEqType.sT [in mathcomp.ssreflect.eqtype]
+SubEqType.T [in mathcomp.ssreflect.eqtype]
+SubFalgType.A [in mathcomp.field.falgebra]
+SubFalgType.aT [in mathcomp.field.falgebra]
+SubFalgType.K [in mathcomp.field.falgebra]
+SubFieldExtension.F [in mathcomp.field.fieldext]
+SubFieldExtension.iota [in mathcomp.field.fieldext]
+SubFieldExtension.iotaFz [in mathcomp.field.fieldext]
+SubFieldExtension.iotaPz_modp [in mathcomp.field.fieldext]
+SubFieldExtension.iotaPz_repr [in mathcomp.field.fieldext]
+SubFieldExtension.Irreducible.irr_p [in mathcomp.field.fieldext]
+SubFieldExtension.Irreducible.nz_p [in mathcomp.field.fieldext]
+SubFieldExtension.L [in mathcomp.field.fieldext]
+SubFieldExtension.n [in mathcomp.field.fieldext]
+SubFieldExtension.NonZero.nz_p [in mathcomp.field.fieldext]
+SubFieldExtension.nz_p0 [in mathcomp.field.fieldext]
+SubFieldExtension.n_gt0 [in mathcomp.field.fieldext]
+SubFieldExtension.p [in mathcomp.field.fieldext]
+SubFieldExtension.poly_rV_modp_K [in mathcomp.field.fieldext]
+SubFieldExtension.pz0 [in mathcomp.field.fieldext]
+SubFieldExtension.p0 [in mathcomp.field.fieldext]
+SubFieldExtension.p0z0 [in mathcomp.field.fieldext]
+SubFieldExtension.p0_mon [in mathcomp.field.fieldext]
+SubFieldExtension.subfx_poly_invE [in mathcomp.field.fieldext]
+SubFieldExtension.wf_p [in mathcomp.field.fieldext]
+SubFieldExtension.z [in mathcomp.field.fieldext]
+SubFieldExtension.z0 [in mathcomp.field.fieldext]
+SubFieldExtension.z0Ciota [in mathcomp.field.fieldext]
+SubFinType.P [in mathcomp.ssreflect.fintype]
+SubFinType.T [in mathcomp.ssreflect.fintype]
+SubMorphism.G [in mathcomp.fingroup.morphism]
+SubMorphism.gT [in mathcomp.fingroup.morphism]
+Subnormal.gT [in mathcomp.solvable.gseries]
+Subnormal.path_setIgr [in mathcomp.solvable.gseries]
+Subnormal.setIgr [in mathcomp.solvable.gseries]
+Subnormal.sub_setIgr [in mathcomp.solvable.gseries]
+Subseq.T [in mathcomp.ssreflect.seq]
+SubType.P [in mathcomp.ssreflect.eqtype]
+SubType.sT [in mathcomp.ssreflect.eqtype]
+SubType.T [in mathcomp.ssreflect.eqtype]
+SubVector.K [in mathcomp.algebra.vector]
+SubVector.U [in mathcomp.algebra.vector]
+SubVector.vT [in mathcomp.algebra.vector]
+SumEqType.T1 [in mathcomp.ssreflect.eqtype]
+SumEqType.T2 [in mathcomp.ssreflect.eqtype]
+SumFinType.T1 [in mathcomp.ssreflect.fintype]
+SumFinType.T2 [in mathcomp.ssreflect.fintype]
+SumvPi.K [in mathcomp.algebra.vector]
+SumvPi.vT [in mathcomp.algebra.vector]
+Support.aT [in mathcomp.ssreflect.finfun]
+Support.rT [in mathcomp.ssreflect.finfun]
+SylowSolvableAct.gT [in mathcomp.solvable.hall]
+SylowSolvableAct.p [in mathcomp.solvable.hall]
+Sylow.G [in mathcomp.solvable.sylow]
+Sylow.gT [in mathcomp.solvable.sylow]
+Sylow.p [in mathcomp.solvable.sylow]
+SymAltDef.n [in mathcomp.solvable.alt]
+SymAltDef.T [in mathcomp.solvable.alt]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3