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_P.html | 1171 ++++++++++++++++++++++++++++++++++++ 1 file changed, 1171 insertions(+) create mode 100644 docs/htmldoc/index_variable_P.html (limited to 'docs/htmldoc/index_variable_P.html') diff --git a/docs/htmldoc/index_variable_P.html b/docs/htmldoc/index_variable_P.html new file mode 100644 index 0000000..26b8478 --- /dev/null +++ b/docs/htmldoc/index_variable_P.html @@ -0,0 +1,1171 @@ + + + + + +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)
+

P (variable)

+PairAlg.A1 [in mathcomp.algebra.ssralg]
+PairAlg.A2 [in mathcomp.algebra.ssralg]
+PairAlg.R [in mathcomp.algebra.ssralg]
+PairComRing.R1 [in mathcomp.algebra.ssralg]
+PairComRing.R2 [in mathcomp.algebra.ssralg]
+PairLalg.A1 [in mathcomp.algebra.ssralg]
+PairLalg.A2 [in mathcomp.algebra.ssralg]
+PairLalg.R [in mathcomp.algebra.ssralg]
+PairLmod.R [in mathcomp.algebra.ssralg]
+PairLmod.V1 [in mathcomp.algebra.ssralg]
+PairLmod.V2 [in mathcomp.algebra.ssralg]
+PairRing.R1 [in mathcomp.algebra.ssralg]
+PairRing.R2 [in mathcomp.algebra.ssralg]
+PairUnitRing.R1 [in mathcomp.algebra.ssralg]
+PairUnitRing.R2 [in mathcomp.algebra.ssralg]
+PairZmod.M1 [in mathcomp.algebra.ssralg]
+PairZmod.M2 [in mathcomp.algebra.ssralg]
+PartialAction.aT [in mathcomp.fingroup.action]
+PartialAction.D [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer.G [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer.sGD [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer.ssGD [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer.x [in mathcomp.fingroup.action]
+PartialAction.rT [in mathcomp.fingroup.action]
+PartialAction.to [in mathcomp.fingroup.action]
+PartialFunctorTheory.BasicTheory.F [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.F1 [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.F2 [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.Modulo.F1 [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.Modulo.F2 [in mathcomp.solvable.gfunctor]
+Partitions.BigOps.idx [in mathcomp.ssreflect.finset]
+Partitions.BigOps.op [in mathcomp.ssreflect.finset]
+Partitions.BigOps.R [in mathcomp.ssreflect.finset]
+Partitions.BigOps.rhs [in mathcomp.ssreflect.finset]
+Partitions.BigOps.rhs_cond [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.D [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.eqiR [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.PPx [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.Px [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.Pxx [in mathcomp.ssreflect.finset]
+Partitions.Equivalence.R [in mathcomp.ssreflect.finset]
+Partitions.I [in mathcomp.ssreflect.finset]
+Partitions.Preim.f [in mathcomp.ssreflect.finset]
+Partitions.Preim.rT [in mathcomp.ssreflect.finset]
+Partitions.T [in mathcomp.ssreflect.finset]
+Partitions.Transversals.D [in mathcomp.ssreflect.finset]
+Partitions.Transversals.P [in mathcomp.ssreflect.finset]
+Partitions.Transversals.sXP [in mathcomp.ssreflect.finset]
+Partitions.Transversals.tiP [in mathcomp.ssreflect.finset]
+Partitions.Transversals.trPX [in mathcomp.ssreflect.finset]
+Partitions.Transversals.trX [in mathcomp.ssreflect.finset]
+Partitions.Transversals.X [in mathcomp.ssreflect.finset]
+Paths.n0 [in mathcomp.ssreflect.path]
+Paths.Path.e [in mathcomp.ssreflect.path]
+Paths.Path.x0_cycle [in mathcomp.ssreflect.path]
+Paths.T [in mathcomp.ssreflect.path]
+PcoreDef.A [in mathcomp.solvable.pgroup]
+PcoreDef.gT [in mathcomp.solvable.pgroup]
+PcoreDef.pi [in mathcomp.solvable.pgroup]
+PCoreProps.gT [in mathcomp.solvable.pgroup]
+PCoreProps.pi [in mathcomp.solvable.pgroup]
+Pdiv.ClosedField.closed.F [in mathcomp.algebra.polydiv]
+Pdiv.CommonIdomain.IDomainPseudoDivision.R [in mathcomp.algebra.polydiv]
+Pdiv.CommonRing.RingPseudoDivision.R [in mathcomp.algebra.polydiv]
+Pdiv.ComRing.CommutativeRingPseudoDivision.R [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.F [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldMap.f [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldMap.rR [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldRingMap.f [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldRingMap.rR [in mathcomp.algebra.polydiv]
+Pdiv.IdomainDefs.IDomainPseudoDivisionDefs.R [in mathcomp.algebra.polydiv]
+Pdiv.IdomainMonic.MonicDivisor.monq [in mathcomp.algebra.polydiv]
+Pdiv.IdomainMonic.MonicDivisor.q [in mathcomp.algebra.polydiv]
+Pdiv.IdomainMonic.MonicDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.MoreUnitDivisor.d [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.MoreUnitDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.MoreUnitDivisor.ulcd [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.UnitDivisor.d [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.UnitDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.UnitDivisor.ulcd [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor.Cdl [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor.d [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor.Rreg [in mathcomp.algebra.polydiv]
+Pdiv.RingMonic.MonicDivisor.d [in mathcomp.algebra.polydiv]
+Pdiv.RingMonic.MonicDivisor.mond [in mathcomp.algebra.polydiv]
+Pdiv.RingMonic.MonicDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.Ring.ExtraMonicDivisor.R [in mathcomp.algebra.polydiv]
+Pdiv.UnitRing.UnitRingPseudoDivision.R [in mathcomp.algebra.polydiv]
+Pdiv.WeakIdomain.WeakTheoryForIDomainPseudoDivision.R [in mathcomp.algebra.polydiv]
+PermAction.rT [in mathcomp.fingroup.action]
+PermDefSection.T [in mathcomp.fingroup.perm]
+PermIn.A [in mathcomp.fingroup.automorphism]
+PermIn.f [in mathcomp.fingroup.automorphism]
+PermIn.injf [in mathcomp.fingroup.automorphism]
+PermIn.sBf [in mathcomp.fingroup.automorphism]
+PermIn.T [in mathcomp.fingroup.automorphism]
+PermSeq.T [in mathcomp.ssreflect.seq]
+PermutationParity.T [in mathcomp.fingroup.perm]
+Pextraspecial.Construction.p [in mathcomp.solvable.extraspecial]
+PgroupDefs.gT [in mathcomp.solvable.pgroup]
+PgroupProps.gT [in mathcomp.solvable.pgroup]
+PiAdditive.equivV [in mathcomp.algebra.ring_quotient]
+PiAdditive.Q [in mathcomp.algebra.ring_quotient]
+PiAdditive.V [in mathcomp.algebra.ring_quotient]
+PiAdditive.zeroV [in mathcomp.algebra.ring_quotient]
+PiRMorphism.equivR [in mathcomp.algebra.ring_quotient]
+PiRMorphism.Q [in mathcomp.algebra.ring_quotient]
+PiRMorphism.R [in mathcomp.algebra.ring_quotient]
+PiRMorphism.zeroR [in mathcomp.algebra.ring_quotient]
+PlainTheory.aT [in mathcomp.ssreflect.finfun]
+PlainTheory.rT [in mathcomp.ssreflect.finfun]
+PmapSub.p [in mathcomp.ssreflect.seq]
+PmapSub.sT [in mathcomp.ssreflect.seq]
+PmapSub.T [in mathcomp.ssreflect.seq]
+Pmap.aT [in mathcomp.ssreflect.seq]
+Pmap.f [in mathcomp.ssreflect.seq]
+Pmap.fK [in mathcomp.ssreflect.seq]
+Pmap.g [in mathcomp.ssreflect.seq]
+Pmap.rT [in mathcomp.ssreflect.seq]
+PMax.gT [in mathcomp.solvable.maximal]
+PMax.M [in mathcomp.solvable.maximal]
+PMax.P [in mathcomp.solvable.maximal]
+PMax.p [in mathcomp.solvable.maximal]
+PMax.pP [in mathcomp.solvable.maximal]
+PolyCompose.R [in mathcomp.algebra.poly]
+PolynomialComRing.R [in mathcomp.algebra.poly]
+PolynomialIdomain.R [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive.n [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive.n_gt0 [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive.prim_z [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive.z [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverAdd.addS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverAdd.kS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverAdd.S [in mathcomp.algebra.poly]
+PolynomialTheory.R [in mathcomp.algebra.poly]
+Polynomial.R [in mathcomp.algebra.poly]
+PolyXY_Field.FtoE [in mathcomp.algebra.polyXY]
+PolyXY_Field.E [in mathcomp.algebra.polyXY]
+PolyXY_Field.F [in mathcomp.algebra.polyXY]
+PolyXY_Idomain.R [in mathcomp.algebra.polyXY]
+PolyXY_ComRing.R [in mathcomp.algebra.polyXY]
+PolyXY_Ring.R [in mathcomp.algebra.polyXY]
+PolyZintOIdom.R [in mathcomp.algebra.ssrint]
+PolyZintRing.R [in mathcomp.algebra.ssrint]
+Pquotient.G [in mathcomp.solvable.pgroup]
+Pquotient.gT [in mathcomp.solvable.pgroup]
+Pquotient.H [in mathcomp.solvable.pgroup]
+Pquotient.K [in mathcomp.solvable.pgroup]
+Pquotient.p [in mathcomp.solvable.pgroup]
+Pquotient.pi [in mathcomp.solvable.pgroup]
+Pquotient.piK [in mathcomp.solvable.pgroup]
+PreClosedField.UseAxiom.closedF [in mathcomp.algebra.poly]
+PreClosedField.UseAxiom.F [in mathcomp.algebra.poly]
+Predicates.D [in mathcomp.character.classfun]
+Predicates.gT [in mathcomp.character.classfun]
+Predicates.R [in mathcomp.character.classfun]
+Predicates.rT [in mathcomp.character.classfun]
+PreGroupIdentities.T [in mathcomp.fingroup.fingroup]
+PrimeChar.FinField.charFp [in mathcomp.field.finfield]
+PrimeChar.FinField.F0 [in mathcomp.field.finfield]
+PrimeChar.FinRing.charRp [in mathcomp.field.finfield]
+PrimeChar.FinRing.n [in mathcomp.field.finfield]
+PrimeChar.FinRing.pr_p [in mathcomp.field.finfield]
+PrimeChar.FinRing.R0 [in mathcomp.field.finfield]
+PrimeChar.p [in mathcomp.field.finfield]
+PrimeChar.PrimeCharRing.charRp [in mathcomp.field.finfield]
+PrimeChar.PrimeCharRing.natrFp [in mathcomp.field.finfield]
+PrimeChar.PrimeCharRing.R0 [in mathcomp.field.finfield]
+PrimeField.F_prime.p_pr [in mathcomp.algebra.zmodp]
+PrimeField.p [in mathcomp.algebra.zmodp]
+PrimitiveDef.A [in mathcomp.solvable.primitive_action]
+PrimitiveDef.aT [in mathcomp.solvable.primitive_action]
+PrimitiveDef.S [in mathcomp.solvable.primitive_action]
+PrimitiveDef.sT [in mathcomp.solvable.primitive_action]
+PrimitiveDef.to [in mathcomp.solvable.primitive_action]
+Primitive.aT [in mathcomp.solvable.primitive_action]
+Primitive.G [in mathcomp.solvable.primitive_action]
+Primitive.S [in mathcomp.solvable.primitive_action]
+Primitive.sT [in mathcomp.solvable.primitive_action]
+Primitive.to [in mathcomp.solvable.primitive_action]
+ProdEqType.T1 [in mathcomp.ssreflect.eqtype]
+ProdEqType.T2 [in mathcomp.ssreflect.eqtype]
+ProdFinType.T1 [in mathcomp.ssreflect.fintype]
+ProdFinType.T2 [in mathcomp.ssreflect.fintype]
+ProdMorph.Cprodm.cfHK [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.eqfHK [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.eqHK_G [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.fH [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.fK [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.G [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.H [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm.K [in mathcomp.fingroup.gproduct]
+ProdMorph.defs.A [in mathcomp.fingroup.gproduct]
+ProdMorph.defs.B [in mathcomp.fingroup.gproduct]
+ProdMorph.defs.fA [in mathcomp.fingroup.gproduct]
+ProdMorph.defs.fB [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.cfHK [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.eqHK_G [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.fH [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.fK [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.G [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.H [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm.K [in mathcomp.fingroup.gproduct]
+ProdMorph.gT [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.actf [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.eqfHK [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.fH [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.fK [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.H [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.K [in mathcomp.fingroup.gproduct]
+ProdMorph.Props.nHK [in mathcomp.fingroup.gproduct]
+ProdMorph.rT [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.actf [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.eqHK_G [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.fH [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.fK [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.G [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.H [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm.K [in mathcomp.fingroup.gproduct]
+Product.G [in mathcomp.character.classfun]
+Product.gT [in mathcomp.character.classfun]
+Product.gT [in mathcomp.solvable.center]
+ProdVector.R [in mathcomp.algebra.vector]
+ProdVector.vT1 [in mathcomp.algebra.vector]
+ProdVector.vT2 [in mathcomp.algebra.vector]
+Projection.K [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.defV [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.V [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.sumv_pi_rec [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.Vs [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.P [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.r0 [in mathcomp.algebra.vector]
+Projection.Sumv_Pi.I [in mathcomp.algebra.vector]
+Projection.vT [in mathcomp.algebra.vector]
+PropertiesDefs.A [in mathcomp.solvable.nilpotent]
+PropertiesDefs.gT [in mathcomp.solvable.nilpotent]
+Proper.aT [in mathcomp.field.falgebra]
+Proper.R [in mathcomp.field.falgebra]
+PseriesDefs.A [in mathcomp.solvable.pgroup]
+PseriesDefs.gT [in mathcomp.solvable.pgroup]
+PseriesDefs.pis [in mathcomp.solvable.pgroup]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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