[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: pRanks  ..    predicates




pRanks

   pRanks(G) : GrpPC-> [ RngIntElt ]


prec

   Precision and Valuation (p-ADIC RINGS AND THEIR EXTENSIONS)

   Precision of Extensions (p-ADIC RINGS AND THEIR EXTENSIONS)


prec-ext

   Precision of Extensions (p-ADIC RINGS AND THEIR EXTENSIONS)


prec-val

   Precision and Valuation (p-ADIC RINGS AND THEIR EXTENSIONS)


precedence

   Appendix A: Precedence (MAGMA SEMANTICS)

   Appendix B: Reserved Words (MAGMA SEMANTICS)


Precision

   AbsolutePrecision(x) : RngPadElt -> RngIntElt

   AbsolutePrecision(f) : RngSerElt -> RngIntElt

   AbsolutePrecision(e) : RngSerExtElt -> RngIntElt

   ChangePrecision(r, n) : FldReElt, RngIntElt -> FldReElt

   ChangePrecision(L, k) : RngPad, RngIntElt -> RngPad

   ChangePrecision(x, k) : RngPadElt, RngIntElt -> RngPadElt

   ChangePrecision(R, r) : RngSer, RngIntElt -> RngSer

   ChangePrecision(E, r) : RngSerExt, RngIntElt -> RngSerExt

   ExpandToPrecision(f, c, n) : RngUPolElt, RngSerPuisElt -> RngSerPuisElt

   IsSinglePrecision(n) : RngIntElt -> BoolElt

   LSetPrecision(L,precision) : LSer, RngIntElt ->

   Precision(R) : FldCom -> RngIntElt

   Precision(r) : FldReElt  -> RngIntElt

   Precision(M) : ModFrm -> RngIntElt

   Precision(L) : RngPad -> RngIntElt

   Precision(x) : RngPadElt -> RngIntElt

   Precision(R) : RngSer -> Rng

   Precision(E) : RngSerExt -> RngIntElt

   Precision(L) : [FldReElt] -> RngIntElt

   PrecisionBound(M : parameters) : ModFrm  -> RngIntElt

   PrintToPrecision(s, n) : RngPowLazElt, RngIntElt ->

   RelativePrecision(x) : RngPadElt -> RngIntElt

   RelativePrecision(f) : RngSerElt -> RngIntElt

   RelativePrecision(e) : RngSerExtElt -> RngIntElt

   SetKantPrecision(O, n) : RngOrd, RngIntElt ->

   SetPrecision(M, prec) : ModFrm, RngIntElt ->

   SuggestedPrecision(f) : RngUPolElt -> RngIntElt


precision

   Free and Fixed Precision (POWER, LAURENT AND PUISEUX SERIES)

   Precision (L-FUNCTIONS)

   Precision (POWER, LAURENT AND PUISEUX SERIES)

   Precision (POWER, LAURENT AND PUISEUX SERIES)

   Precision (REAL AND COMPLEX FIELDS)


PrecisionBound

   PrecisionBound(M : parameters) : ModFrm  -> RngIntElt


pred

   Predicates on Elements (ALGEBRAIC FUNCTION FIELDS)

   Predicates on Elements (ORDERS OF ASSOCIATIVE ALGEBRAS)

   Predicates on Lazy Series (LAZY POWER SERIES RINGS)

   Predicates on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)

   Structure Predicates (ALGEBRAIC FUNCTION FIELDS)


pred-ideal-prime

   Predicates on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)


predicate

   Booleans (OVERVIEW)

   Ideal Predicates (FINITELY PRESENTED ALGEBRAS)

   Ideal Predicates (IDEAL THEORY AND GRÖBNER BASES)

   Predicates (RING OF INTEGERS)

   Predicates and Boolean Operations (INTRODUCTION TO RINGS [BASIC RINGS AND LINEAR ALGEBRA])

   Predicates on Ring Elements (VALUATION RINGS)

   Ring Predicates and Booleans (CHARACTERS OF FINITE GROUPS)

   Ring Predicates and Booleans (FINITE FIELDS)

   Ring Predicates and Booleans (GALOIS RINGS)

   Ring Predicates and Booleans (RATIONAL FUNCTION FIELDS)

   Ring Predicates and Booleans (RING OF INTEGERS)

   Ring Predicates and Properties (ALGEBRAICALLY CLOSED FIELDS)


Predicates

   Predicates (CHAIN COMPLEXES)

   AlgLie_Predicates (Example H90E16)

   ModFrm_Predicates (Example H111E10)

   ModSS_Predicates (Example H110E6)


predicates

   Basic Attributes (SUBGROUPS OF PSL_2(R))

   Basic Attributes (SUBGROUPS OF PSL_2(R))

   Basic Functions (SUBGROUPS OF PSL_2(R))

   Creation Predicates (ELLIPTIC CURVES)

   Creation Predicates (HYPERELLIPTIC CURVES)

   Predicates (BASIC ALGEBRAS)

   Predicates (CHAIN COMPLEXES)

   Predicates (CLASS FIELD THEORY)

   Predicates (FINITE SOLUBLE GROUPS)

   Predicates (MATRICES)

   Predicates (MODULAR FORMS)

   Predicates (MODULES OVER AFFINE ALGEBRAS)

   Predicates (MODULES OVER AFFINE ALGEBRAS)

   Predicates (MODULES OVER AFFINE ALGEBRAS)

   Predicates (MODULES OVER AFFINE ALGEBRAS)

   Predicates (MODULES OVER DEDEKIND DOMAINS)

   Predicates (SPARSE MATRICES)

   Predicates (SUPERSINGULAR DIVISORS ON MODULAR CURVES)

   Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)

   Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)

   Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)

   Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)

   Predicates and Booleans on Lattices (LATTICES)

   Predicates for Elements (FINITE SOLUBLE GROUPS)

   Predicates for Subgroups (FINITE SOLUBLE GROUPS)

   Predicates on Algebras (QUATERNION ALGEBRAS)

   Predicates on Curve Models (ELLIPTIC CURVES)

   Predicates on Elements (CYCLOTOMIC FIELDS)

   Predicates on Elliptic Curves (ELLIPTIC CURVES)

   Predicates on Genus One Models (MODELS OF GENUS ONE CURVES)

   Predicates on Models (HYPERELLIPTIC CURVES)

   Predicates on Point Sets (ELLIPTIC CURVES)

   Predicates on Points (ELLIPTIC CURVES)

   Predicates on Subgroup Schemes (ELLIPTIC CURVES)

   Socket Predicates (INPUT AND OUTPUT)

   Structure Predicates (ALGEBRAIC FUNCTION FIELDS)

   Structure Predicates (ALGEBRAIC FUNCTION FIELDS)

   Structure Predicates (ALGEBRAIC FUNCTION FIELDS)




[____] [____] [_____] [____] [__] [Index] [Root]