Documentation

ValuationLt
- ValuationNe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGt(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLe(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLt(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationEq(x, n) : FldXPadElt, RngIntElt -> BoolElt
ValuationNe
- ValuationNe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGt(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLe(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLt(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationEq(x, n) : FldXPadElt, RngIntElt -> BoolElt
ValuationRing
- ValuationRing(F) : FldFunRat -> RngVal
- ValuationRing(F) : FldFunRat -> RngVal
- ValuationRing(F, f) : FldFunRat, RngUPolElt -> RngVal
- ValuationRing(F, f) : FldFunRat, RngUPolElt -> RngVal
- ValuationRing(K, p) : FldNum, RngOrdIdl -> RngVal
- ValuationRing(Q, p) : FldRat, RngIntElt -> RngVal
- GB_ValuationRing (Example H112E10)
Valuations
- GaussValuations (M) : SpMat -> SeqEnum
- GaussValuations (v) : SpVec -> SeqEnum
- ValuationsOfRoots(f) : RngUPolElt -> SeqEnum[<FldRatElt, RngIntElt>]
- ValuationsOfRoots(f) : RngUPolElt -> [ < RngIntElt, RngIntElt > ]
- ValuationsOfRoots(f, p) : RngUPolElt, RngIntElt -> [ < RngIntElt, RngIntElt > ]
ValuationsOfRoots
- ValuationsOfRoots(f) : RngUPolElt -> SeqEnum[<FldRatElt, RngIntElt>]
- ValuationsOfRoots(f) : RngUPolElt -> [ < RngIntElt, RngIntElt > ]
- ValuationsOfRoots(f, p) : RngUPolElt, RngIntElt -> [ < RngIntElt, RngIntElt > ]
Value
- AbsoluteValue(x) : Infty -> Infty
- Abs(x) : Infty -> Infty
- Abs(z) : SpcHydElt -> FldReElt
- AbsoluteValue(q) : FldRatElt -> FldRatElt
- AbsoluteValue(r) : FldReElt-> FldReElt
- AbsoluteValue(n) : RngIntElt -> RngIntElt
- AbsoluteValue(f) : RngMPolElt -> RngMPolElt
- AbsoluteValue(p) : RngUPolElt -> RngUPolElt
- AlternatingCharacterValue(pa, pe) : SeqEnum, GrpPermElt -> RngElt
- AlternatingCharacterValue(pa, i, pe) : SeqEnum, RngIntElt, GrpPermElt -> RngElt
- CasimirValue(R, w) : RootDtm, ModTupRngElt -> FldRatElt
- CentralValue(L) : LSer -> FldComElt
- ComplexValue(z) : SpcHydElt -> FldComElt
- ComplexValue(x) : SpcHypElt -> FldComElt
- ContinuedFractionValue(C) : [ RngIntElt ] -> FldRatElt
- ExactValue(z) : SpcHydElt -> .
- ExactValue(z) : SpcHypElt -> .
- GetEnvironmentValue(s) : MonStgElt -> MonStgElt
- HirzebruchJungContinuedFractionValue(C) : [ RngIntElt ] -> FldRatElt
- NumericalSingularValueDecomposition(M) : Mtrx[RngReCom] -> Mtrx, Mtrx, Mtrx
- SymmetricCharacterValue(pa, pe) : SeqEnum, GrpPermElt -> RngElt
- ValueList(chi) : GrpDrchElt -> [RngElt]
- fValueProof(L, x, b) : AlgLieExtr, RngIntElt, RngIntElt ->
value
- Call by Value Evaluation (MAGMA SEMANTICS)
- Function Values Assigned to Identifiers (MAGMA SEMANTICS)
ValueList
- ValueList(chi) : GrpDrchElt -> [RngElt]
Values
- AbsoluteValues(a) : FldAlgElt -> [FldReElt]
- FreefValues(L) : AlgLieExtr -> SeqEnum, SeqEnum
- RandomProcess(G) : GrpFin -> Process
- ShowValues() : ->
- SplitAllByValues(P, V) : StkPtnOrd, SeqEnum[RngIntElt] -> BoolElt, RngIntElt
- SplitCellsByValues(P, C, V) : StkPtnOrd, SeqEnum[RngIntElt], SeqEnum[RngIntElt] -> BoolElt, RngIntElt
- ValuesOnUnitGenerators(chi) : GrpDrchElt -> [RngElt]
values
- Single Values (REPRESENTATIONS OF SYMMETRIC GROUPS)
- The Number of Results (FUNCTIONS, PROCEDURES AND PACKAGES)
ValuesOnUnitGenerators
- ValuesOnUnitGenerators(chi) : GrpDrchElt -> [RngElt]
Van
- VanLintBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
Vandermonde
- RngMPol_Vandermonde (Example H25E9)
VanLintBound
- VanLintBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
var
- Generic Polarised Varieties (HILBERT SERIES OF POLARISED VARIETIES)
Variable
- VariableWeights(P) : RngMPol -> [ RngIntElt ]
- Grading(P) : RngMPol -> [ RngIntElt ]
- VariableExtension(I, k, b) : RngMPol, RngIntElt, BoolElt -> RngMPol, Map
variable
- Environment Variables (ENVIRONMENT AND OPTIONS)
- Variable Extension of Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
- Variables (ALGEBRAICALLY CLOSED FIELDS)
variable-extension
- Variable Extension of Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
VariableExtension
- VariableExtension(I, k, b) : RngMPol, RngIntElt, BoolElt -> RngMPol, Map
Variables
- IntegerSolutionVariables(L) : LP -> SeqEnum
- NumberOfVariables(L) : LP -> RngIntElt
- SetIntegerSolutionVariables(L, I, m) : LP, SeqEnum[RngIntElt], BoolElt ->
VariableWeights
- VariableWeights(P) : RngMPol -> [ RngIntElt ]
- Grading(P) : RngMPol -> [ RngIntElt ]
Variadic
- Func_Variadic (Example H2E4)
Variant
- VariantRepresentatives(q, v) : RngIntElt, RngIntElt -> SeqEnum
variant
- Variants of Automorphism Group (GRAPHS)
VariantRepresentatives
- VariantRepresentatives(q, v) : RngIntElt, RngIntElt -> SeqEnum
Variants
- NumberOfVariants(N) : NfdDck -> RngIntElt
- NumberOfVariants(q, v) : RngIntElt, RngIntElt -> RngIntElt
variants
- FldNear_variants (Example H23E2)
VariationOne
- Par_VariationOne (Example H5E29)

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.