" Vim syntax file " Language: Magma" " Maintainer: Peter Schwabe " " URL: http://www.ti.rwth-aachen.de/~schwabe/data/magma.vim " Last Change: 2006-11-30 " This syntax file is based on the ada.vim syntax file " For version 5.x: Clear all syntax items " For version 6.x: Quit when a syntax file was already loaded if version < 600 syntax clear elseif exists("b:current_syntax") finish endif " We don't need to look backwards to highlight correctly; " this speeds things up greatly. syn sync minlines=1 maxlines=1 " Magma builtin functions. syn keyword magmaBuiltinFunction AbelianBasis AbelianExtension AbelianGroup AbelianInvariants AbelianLieAlgebra syn keyword magmaBuiltinFunction AbelianNormalQuotient AbelianNormalSubgroup AbelianpExtension AbelianQuotient AbelianQuotientInvariants AbelianSection syn keyword magmaBuiltinFunction AbelianSubgroups Abs AbsoluteAffineAlgebra AbsoluteAlgebra AbsoluteBasis AbsoluteCharacteristicPolynomial syn keyword magmaBuiltinFunction AbsoluteDegree AbsoluteDiscriminant AbsoluteField AbsoluteGaloisGroup AbsoluteInvariants AbsoluteLogarithmicHeight syn keyword magmaBuiltinFunction AbsolutelyIrreducibleConstituents AbsolutelyIrreducibleModule AbsolutelyIrreducibleModules AbsolutelyIrreducibleModulesBurnside AbsolutelyIrreducibleModulesInit AbsolutelyIrreducibleModulesSchur syn keyword magmaBuiltinFunction AbsolutelyIrreducibleRepresentationProcessDelete AbsolutelyIrreducibleRepresentationsInit AbsolutelyIrreducibleRepresentationsSchur AbsoluteMinimalPolynomial AbsoluteModuleOverMinimalField AbsoluteModulesOverMinimalField syn keyword magmaBuiltinFunction AbsoluteNorm AbsoluteOrder AbsolutePolynomial AbsolutePrecision AbsoluteQuotientRing AbsoluteRank syn keyword magmaBuiltinFunction AbsoluteRationalScroll AbsoluteRepresentation AbsoluteRepresentationMatrix AbsoluteTotallyRamifiedExtension AbsoluteTrace AbsoluteValue syn keyword magmaBuiltinFunction AbsoluteValues Absolutize ActingGroup ActingWord Action ActionGenerator syn keyword magmaBuiltinFunction ActionGenerators ActionGroup ActionImage ActionKernel ActionMatrix AddAttribute syn keyword magmaBuiltinFunction AddColumn AddConstraints AddCubics AddEdge AddEdges AddGenerator syn keyword magmaBuiltinFunction AdditiveCode AdditiveCyclicCode AdditiveGroup AdditiveOrder AdditiveQuasiCyclicCode AdditiveRepetitionCode syn keyword magmaBuiltinFunction AdditiveUniverseCode AdditiveZeroCode AdditiveZeroSumCode AddNormalizingGenerator AddPrimes AddRedundantGenerators syn keyword magmaBuiltinFunction AddRelation AddRelator AddRow AddSubgroupGenerator AddVertex AddVertices syn keyword magmaBuiltinFunction AdjacencyMatrix Adjoin Adjoint AdjointIdeal AdjointIdealForNodalCurve AdjointLinearSystem syn keyword magmaBuiltinFunction AdjointLinearSystemForNodalCurve AdjointLinearSystemFromIdeal AdjointMatrix AdjointRepresentation Adjoints Advance syn keyword magmaBuiltinFunction AffineAction AffineAlgebra AffineAlgebraMapKernel AffineDecomposition AffineGammaLinearGroup AffineGeneralLinearGroup syn keyword magmaBuiltinFunction AffineImage AffineKernel AffinePatch AffinePlane AffineSigmaLinearGroup AffineSpace syn keyword magmaBuiltinFunction AffineSpecialLinearGroup AFRNumber AGammaL AGCode AGDecode AGDualCode syn keyword magmaBuiltinFunction Agemo AGL AGM AHom aInvariants Alarm syn keyword magmaBuiltinFunction Algebra AlgebraGenerators AlgebraicClosure AlgebraicGenerators AlgebraicGeometricCode AlgebraicGeometricDualCode syn keyword magmaBuiltinFunction AlgebraMap AlgebraStructure AlgorithmicFunctionField AllCliques AllCompactChainMaps AllDefiningPolynomials syn keyword magmaBuiltinFunction Alldeg AllExtensions AllFaces AllInformationSets AllInverseDefiningPolynomials AllIrreduciblePolynomials syn keyword magmaBuiltinFunction AllLinearRelations AllPairsShortestPaths AllParallelClasses AllParallelisms AllPartitions AllPassants syn keyword magmaBuiltinFunction AllResolutions AllRoots AllSecants AllSlopes AllSolvableLieAlgebrasSLAC AllSqrts syn keyword magmaBuiltinFunction AllSquareRoots AllTangents AllVertices AlmostSimpleGroupDatabase Alphabet Alt syn keyword magmaBuiltinFunction AlternantCode AlternatingCharacter AlternatingCharacterTable AlternatingCharacterValue AlternatingGroup AlternatingSum syn keyword magmaBuiltinFunction Ambient AmbientModule AmbientSpace AmbientVariety AmbiguousForms AModule syn keyword magmaBuiltinFunction AnalyticHomomorphisms AnalyticInformation AnalyticJacobian AnalyticRank And AnisotropicSubdatum syn keyword magmaBuiltinFunction AntiAutomorphismTau Antipode AntisymmetricForms AntisymmetricMatrix ApparentCodimension ApparentEquationDegrees syn keyword magmaBuiltinFunction ApparentSyzygyDegrees Append Apply ApplyTransformation ApproximateByTorsionGroup ApproximateByTorsionPoint syn keyword magmaBuiltinFunction ApproximateOrder ApproximateStabiliser AQInvariants Arccos Arccosec Arccot syn keyword magmaBuiltinFunction Arcsec Arcsin Arctan AreCohomologous AreIdentical Arg syn keyword magmaBuiltinFunction Argcosech Argcosh Argcoth Argsech Argsinh Argtanh syn keyword magmaBuiltinFunction Argument ArithmeticGenus ArithmeticGeometricMean Arrows ArtinMap ArtinSchreierExtension syn keyword magmaBuiltinFunction ArtinSchreierImage ArtinSchreierMap ASigmaL ASL AssertAttribute AssertEmbedding syn keyword magmaBuiltinFunction AssignCapacities AssignCapacity AssignEdgeLabels AssignLabel AssignLabels AssignLDPCMatrix syn keyword magmaBuiltinFunction AssignNamePrefix AssignNames AssignVertexLabels AssignWeight AssignWeights AssociatedEllipticCurve syn keyword magmaBuiltinFunction AssociatedHyperellipticCurve AssociatedNewSpace AssociativeAlgebra AtkinLehner AtkinLehnerInvolution AtkinLehnerOperator syn keyword magmaBuiltinFunction AtkinModularPolynomial ATLASGroup ATLASGroupNames Attach AttachSpec Augmentation syn keyword magmaBuiltinFunction AugmentationIdeal AugmentationMap AugmentCode Aut AutoCorrelation AutomaticGroup syn keyword magmaBuiltinFunction Automorphism AutomorphismGroup AutomorphismGroupStabilizer AutomorphismOmega Automorphisms AutomorphismSubgroup syn keyword magmaBuiltinFunction AutomorphismTalpha AutomorphousClasses AuxiliaryLevel BachBound BadPlaces BadPrimes syn keyword magmaBuiltinFunction BaerDerivation BaerSubplane Ball Bang BarAutomorphism Base syn keyword magmaBuiltinFunction BaseChange BaseChangeMatrix BaseComponent BaseCurve BaseElement BaseExtend syn keyword magmaBuiltinFunction BaseField BaseImage BaseImageWordStrip BaseModule BaseMPolynomial BasePoint syn keyword magmaBuiltinFunction BasePoints BaseRing BaseScheme BasicAlgebra BasicDegrees BasicOrbit syn keyword magmaBuiltinFunction BasicOrbitLength BasicOrbitLengths BasicOrbits BasicStabiliser BasicStabiliserChain BasicStabilizer syn keyword magmaBuiltinFunction BasicStabilizerChain Basis BasisChange BasisElement BasisMatrix BasisOfDifferentialsFirstKind syn keyword magmaBuiltinFunction BasisOfHolomorphicDifferentials BasisProduct BasisProducts BasisReduction Basket BBSModulus syn keyword magmaBuiltinFunction BCHBound BCHCode BDLC BDLCLowerBound BDLCUpperBound BerlekampMassey syn keyword magmaBuiltinFunction BernoulliApproximation BernoulliNumber BernoulliPolynomial BesselFunction BestApproximation BestDimensionLinearCode syn keyword magmaBuiltinFunction BestKnownLinearCode BestKnownQuantumCode BestLengthLinearCode BestTranslation BettiNumber BettiNumbers syn keyword magmaBuiltinFunction BFSTree Bicomponents BigO BigPeriodMatrix BinaryQuadraticForms BinaryResidueCode syn keyword magmaBuiltinFunction BinaryString BinaryTorsionCode Binomial bInvariants BipartiteGraph Bipartition syn keyword magmaBuiltinFunction BiquadraticResidueSymbol BitFlip BKLC BKLCLowerBound BKLCUpperBound BKQC syn keyword magmaBuiltinFunction BLLC BLLCLowerBound BLLCUpperBound Block BlockDegree BlockDegrees syn keyword magmaBuiltinFunction BlockGraph BlockGroup BlockMatrix Blocks BlocksAction BlockSet syn keyword magmaBuiltinFunction BlocksImage BlockSize BlockSizes BlocksKernel Blowup BlumBlumShub syn keyword magmaBuiltinFunction BlumBlumShubModulus BogomolovNumber Booleans BorderedDoublyCirculantQRCode Borel BorelSubgroup syn keyword magmaBuiltinFunction Bottom BoundaryMap BoundaryMaps BoundedFSubspace BraidGroup BranchVertexPath syn keyword magmaBuiltinFunction BrandtModule BrandtModuleDimension BrauerClass BravaisGroup BreadthFirstSearchTree Bruhat syn keyword magmaBuiltinFunction BSGS BString BurauRepresentation BurnsideMatrix CalabiYau CalculateCanonicalClass syn keyword magmaBuiltinFunction CalculateMultiplicities CalculateTransverseIntersections CalderbankShorSteaneCode CambridgeMatrix CanChangeRing CanChangeUniverse syn keyword magmaBuiltinFunction CanContinueEnumeration CanDetermineIsomorphism CanIdentifyGroup CanonicalBasis CanonicalClass CanonicalDissidentPoints syn keyword magmaBuiltinFunction CanonicalDivisor CanonicalElements CanonicalFactorRepresentation CanonicalGraph CanonicalHeight CanonicalImage syn keyword magmaBuiltinFunction CanonicalInvolution CanonicalLength CanonicalLinearSystem CanonicalLinearSystemFromIdeal CanonicalMap CanonicalModularPolynomial syn keyword magmaBuiltinFunction CanRedoEnumeration CanteautChabaudsAttack Capacity CarmichaelLambda CartanInteger CartanMatrix syn keyword magmaBuiltinFunction CartanName CartanSubalgebra CartesianPower CartesianProduct Cartier CartierRepresentation syn keyword magmaBuiltinFunction CasselsMap Catalan Category CayleyGraph Ceiling Center syn keyword magmaBuiltinFunction CenterDensity CenterPolynomials CentralCollineationGroup CentralEndomorphisms CentralExtension CentralExtensionProcess syn keyword magmaBuiltinFunction CentralExtensions CentralIdempotents Centraliser CentralisingMatrix Centralizer CentralizerOfNormalSubgroup syn keyword magmaBuiltinFunction Centre CentredAffinePatch CentreDensity CentreOfEndomorphismRing CentrePolynomials CFP syn keyword magmaBuiltinFunction Chabauty ChainMap ChangeBase ChangeDerivation ChangeDirectory ChangeOfBasisMatrix syn keyword magmaBuiltinFunction ChangeOrder ChangePrecision ChangeRepresentationType ChangeRing ChangeSupport ChangeUniverse syn keyword magmaBuiltinFunction ChangGraphs CharacterDegrees CharacterDegreesPGroup Characteristic CharacteristicPolynomial CharacteristicPolynomialFromTraces syn keyword magmaBuiltinFunction CharacteristicSeries CharacteristicVector CharacterRing CharacterTable CharacterTableConlon ChebyshevFirst syn keyword magmaBuiltinFunction ChebyshevSecond ChebyshevT ChebyshevU CheckCodimension CheckFunctionalEquation CheckPolynomial syn keyword magmaBuiltinFunction ChevalleyBasis ChevalleyGroup ChiefFactors ChiefSeries ChienChoyCode ChineseRemainderTheorem syn keyword magmaBuiltinFunction Cholesky ChromaticIndex ChromaticNumber ChromaticPolynomial cInvariants Class syn keyword magmaBuiltinFunction ClassCentraliser Classes ClassField ClassFunctionSpace ClassGroup ClassGroupAbelianInvariants syn keyword magmaBuiltinFunction ClassGroupCyclicFactorGenerators ClassGroupExactSequence ClassGroupGenerationBound ClassGroupPRank ClassGroupStructure ClassicalForms syn keyword magmaBuiltinFunction ClassicalModularPolynomial ClassicalPeriod ClassicalSylow ClassicalSylowNormaliser ClassicalSylowToPC ClassicalType syn keyword magmaBuiltinFunction ClassMap ClassMatrix ClassNumber ClassNumberApproximation ClassNumberApproximationBound ClassPowerCharacter syn keyword magmaBuiltinFunction ClassRepresentative ClassTwo ClearDenominator ClearPrevious ClearVerbose ClebschGraph syn keyword magmaBuiltinFunction ClebschInvariants ClebschToIgusaClebsch CliqueNumber ClosestVectors ClosestVectorsMatrix CloseVectors syn keyword magmaBuiltinFunction CloseVectorsMatrix CloseVectorsProcess ClosureGraph Cluster CMPoints CMTwists syn keyword magmaBuiltinFunction CocycleMap CodeComplement CodeToString Codimension Codomain Coefficient syn keyword magmaBuiltinFunction CoefficientField CoefficientHeight CoefficientIdeals CoefficientLength CoefficientMap CoefficientRing syn keyword magmaBuiltinFunction Coefficients CoefficientsNonSpiral CoefficientSpace CoeffientField Coercion CohomologicalDimension syn keyword magmaBuiltinFunction Cohomology CohomologyClass CohomologyElementToChainMap CohomologyElementToCompactChainMap CohomologyGeneratorToChainMap CohomologyGroup syn keyword magmaBuiltinFunction CohomologyLeftModuleGenerators CohomologyModule CohomologyRightModuleGenerators CohomologyRing CohomologyRingGenerators CoisogenyGroup syn keyword magmaBuiltinFunction Cokernel Collect CollectRelations CollineationGroup CollineationGroupStabilizer CollineationSubgroup syn keyword magmaBuiltinFunction Colon ColonIdeal Column ColumnLength Columns ColumnSkewLength syn keyword magmaBuiltinFunction ColumnSubmatrix ColumnSubmatrixRange ColumnWeight ColumnWeights ColumnWord CommonEigenspaces syn keyword magmaBuiltinFunction CommonModularStructure CommonOverfield CommonZeros CommutatorIdeal CommutatorModule CommutatorSubgroup syn keyword magmaBuiltinFunction CompactInjectiveResolution CompactPresentation CompactProjectiveResolution CompactProjectiveResolutionPGroup CompanionMatrix Complement syn keyword magmaBuiltinFunction ComplementaryDivisor ComplementaryErrorFunction ComplementBasis ComplementOfImage Complements Complete syn keyword magmaBuiltinFunction CompleteClassGroup CompleteDigraph CompleteGraph CompleteKArc CompleteTheSquare CompleteUnion syn keyword magmaBuiltinFunction CompleteWeightEnumerator Completion Complex ComplexConjugate ComplexEmbeddings ComplexField syn keyword magmaBuiltinFunction ComplexReflectionGroup ComplexToPolar ComplexValue Component ComponentGroupOfIntersection ComponentGroupOfKernel syn keyword magmaBuiltinFunction ComponentGroupOrder Components ComposeQuotients ComposeTransformations Composite CompositeFields syn keyword magmaBuiltinFunction Composition CompositionFactors CompositionSeries Comultiplication ConcatenatedCode CondensationMatrices syn keyword magmaBuiltinFunction CondensedAlgebra ConditionalClassGroup ConditionedGroup Conductor ConductorRange ConformalHamiltonianLieAlgebra syn keyword magmaBuiltinFunction ConformalSpecialLieAlgebra CongruenceGroup CongruenceModulus CongruenceSubgroup Conic ConjecturalRegulator syn keyword magmaBuiltinFunction ConjugacyClasses Conjugate ConjugatePartition Conjugates Connect ConnectedKernel syn keyword magmaBuiltinFunction ConnectingHomomorphism ConnectionNumber ConnectionPolynomial Consistency ConstaCyclicCode ConstantField syn keyword magmaBuiltinFunction ConstantFieldExtension ConstantMap ConstantRing ConstantWords Constituent Constituents syn keyword magmaBuiltinFunction ConstituentsWithMultiplicities Constraint Construction ConstructionX ConstructionXChain ConstructionXX syn keyword magmaBuiltinFunction ConstructTable ContactLieAlgebra ContainsQuadrangle Content ContentAndPrimitivePart Contents syn keyword magmaBuiltinFunction Continuations ContinuedFraction ContinueEnumeration Contpp Contract Contraction syn keyword magmaBuiltinFunction Contravariants ControlledNot Convergents Converse ConvertFromManinSymbol ConvertToCWIFormat syn keyword magmaBuiltinFunction Convolution ConwayPolynomial Coordelt CoordinateLattice CoordinateMatrix CoordinateRing syn keyword magmaBuiltinFunction Coordinates CoordinateSpace CoordinatesToElement CoordinateVector Coppersmith CoprimeBasis syn keyword magmaBuiltinFunction CoprimeRepresentative CordaroWagnerCode Core CoreflectionGroup CoreflectionMatrices CoreflectionMatrix syn keyword magmaBuiltinFunction CorootAction CorootGSet CorootHeight CorootLattice CorootNorm CorootNorms syn keyword magmaBuiltinFunction CorootPosition CorootSpace Correlation CorrelationGroup Cos Cosec syn keyword magmaBuiltinFunction Cosech CosetAction CosetDistanceDistribution CosetEnumerationProcess CosetGeometry CosetImage syn keyword magmaBuiltinFunction CosetKernel CosetLeaders CosetRepresentatives CosetSatisfying CosetSpace CosetsSatisfying syn keyword magmaBuiltinFunction CosetTable CosetTableToPermutationGroup CosetTableToRepresentation Cosh Cot Coth syn keyword magmaBuiltinFunction Counit CountPGroups Covalence CoveringCovariants CoveringRadius CoveringStructure syn keyword magmaBuiltinFunction CoweightLattice CoxeterDiagram CoxeterElement CoxeterForm CoxeterGraph CoxeterGroup syn keyword magmaBuiltinFunction CoxeterGroupFactoredOrder CoxeterGroupOrder CoxeterLength CoxeterMatrix CoxeterNumber Cputime syn keyword magmaBuiltinFunction CreateCharacterFile CreateCycleFile CremonaDatabase CremonaReference CriticalStrip CrossCorrelation syn keyword magmaBuiltinFunction CRT CryptographicCurve CrystalGraph CSSCode CubicFromPoint Cunningham syn keyword magmaBuiltinFunction Current CurrentLabel Curve CurveDifferential CurveDivisor CurvePlace syn keyword magmaBuiltinFunction Curves CuspidalSubgroup CuspidalSubspace Cusps CuspWidth CutVertices syn keyword magmaBuiltinFunction Cycle CycleCount CycleDecomposition CycleStructure CyclicCode CyclicGroup syn keyword magmaBuiltinFunction CyclicSubgroups CyclotomicAutomorphismGroup CyclotomicFactors CyclotomicField CyclotomicOrder CyclotomicPolynomial syn keyword magmaBuiltinFunction CyclotomicRelativeField Darstellungsgruppe Data DawsonIntegral Decimation Decode syn keyword magmaBuiltinFunction DecodingAttack DecomposeAutomorphism DecomposeExteriorPower DecomposeSymmetricPower DecomposeTensorProduct DecomposeUsing syn keyword magmaBuiltinFunction DecomposeVector Decomposition DecompositionField DecompositionGroup DecompositionType DecompositionTypeFrequency syn keyword magmaBuiltinFunction Decycle DedekindEta DedekindTest DeepHoles DefinesAbelianSubvariety DefinesHomomorphism syn keyword magmaBuiltinFunction DefiningConstantField DefiningEquations DefiningIdeal DefiningMap DefiningPoints DefiningPolynomial syn keyword magmaBuiltinFunction DefiningPolynomials DefiningSubschemePolynomial DefRing DegeneracyMap DegeneracyMatrix Degree syn keyword magmaBuiltinFunction DegreeMap DegreeOfExactConstantField DegreeOfFieldExtension DegreeOnePrimeIdeals DegreeRange DegreeReduction syn keyword magmaBuiltinFunction Degrees DegreeSequence DegreesOfCohomologyGenerators Delaunay DeleteCapacities DeleteCapacity syn keyword magmaBuiltinFunction DeleteCollector DeleteData DeleteEdgeLabels DeleteGenerator DeleteLabel DeleteLabels syn keyword magmaBuiltinFunction DeleteNonsplitCollector DeleteNonsplitSolutionspace DeleteRelation DeleteSplitCollector DeleteSplitSolutionspace DeleteVertexLabels syn keyword magmaBuiltinFunction DeleteWeight DeleteWeights DelsarteGoethalsCode Delta Denominator Density syn keyword magmaBuiltinFunction DensityEvolutionBinarySymmetric DensityEvolutionGaussian Depth DepthFirstSearchTree Derivation Derivative syn keyword magmaBuiltinFunction DerivedGroup DerivedLength DerivedSeries DerivedSubgroup Descendants DescentMaps syn keyword magmaBuiltinFunction Design Detach DetachSpec Determinant Development DFSTree syn keyword magmaBuiltinFunction DiagonalAutomorphism DiagonalForm Diagonalisation Diagonalization DiagonalJoin DiagonalMatrix syn keyword magmaBuiltinFunction DiagonalModel DiagonalSum Diagram DiagramAutomorphism Diameter DiameterPath syn keyword magmaBuiltinFunction DickmanRho DicksonFirst DicksonSecond Difference DifferenceSet Different syn keyword magmaBuiltinFunction DifferentDivisor Differential DifferentialBasis DifferentialFieldExtension DifferentialIdeal DifferentialLaurentSeriesRing syn keyword magmaBuiltinFunction DifferentialOperator DifferentialOperatorRing DifferentialRing DifferentialRingExtension DifferentialSpace Differentiation syn keyword magmaBuiltinFunction DifferentiationSequence DihedralGroup Dilog Dimension DimensionCuspForms DimensionOfCentreOfEndomorphismRing syn keyword magmaBuiltinFunction DimensionOfEndomorphismRing DimensionOfExactConstantField DimensionOfFieldOfGeometricIrreducibility DimensionOfHighestWeightModule DimensionOfHomology DimensionsOfHomology syn keyword magmaBuiltinFunction DimensionsOfInjectiveModules DimensionsOfProjectiveModules DimensionsOfTerms DirectProduct DirectSum DirectSumDecomposition syn keyword magmaBuiltinFunction DirichletCharacter DirichletCharacters DirichletGroup Disconnect Discriminant DiscriminantDivisor syn keyword magmaBuiltinFunction DiscriminantOfHeckeAlgebra DisownChildren Display DisplayBurnsideMatrix DisplayFareySymbolDomain DisplayPolygons syn keyword magmaBuiltinFunction Distance DistanceMatrix DistancePartition Distances DistinctDegreeFactorization DistinctExtensions syn keyword magmaBuiltinFunction DistinguishedOrbitsPi DivideOutIntegers DivisionPoints DivisionPolynomial Divisor DivisorGroup syn keyword magmaBuiltinFunction DivisorIdeal DivisorMap DivisorOfDegreeOne Divisors DivisorSigma Dodecacode syn keyword magmaBuiltinFunction Domain DominantCharacter DominantLSPath DominantWeight Double DoubleCoset syn keyword magmaBuiltinFunction DoubleCosetRepresentatives DoubleCosets DoubleGenusOneModel DoublyCirculantQRCode Dual DualAtkinLehner syn keyword magmaBuiltinFunction DualBasisLattice DualCoxeterForm DualEuclideanWeightDistribution DualHeckeOperator DualIsogeny DualLeeWeightDistribution syn keyword magmaBuiltinFunction DualMorphism DualQuotient DualStarInvolution DualVectorSpace DualWeightDistribution DuvalPuiseuxExpansion syn keyword magmaBuiltinFunction DynkinDiagram DynkinDigraph Ealpha EARNS EasyIdeal EchelonForm syn keyword magmaBuiltinFunction EcheloniseWord ECM ECMFactoredOrder ECMOrder ECMSteps EdgeCapacities syn keyword magmaBuiltinFunction EdgeConnectivity EdgeDeterminant EdgeGroup EdgeIndices EdgeLabels EdgeMultiplicity syn keyword magmaBuiltinFunction Edges EdgeSeparator EdgeSet EdgeUnion EdgeWeights EFAModuleMaps syn keyword magmaBuiltinFunction EFAModules EFASeries EffectiveSubcanonicalCurves Eigenspace Eigenvalues Eisenstein syn keyword magmaBuiltinFunction EisensteinData EisensteinSeries EisensteinSubspace Element ElementaryAbelianGroup ElementaryAbelianNormalSubgroup syn keyword magmaBuiltinFunction ElementaryAbelianQuotient ElementaryAbelianSection ElementaryAbelianSeries ElementaryAbelianSeriesCanonical ElementaryAbelianSubgroups ElementaryDivisors syn keyword magmaBuiltinFunction ElementarySymmetricPolynomial ElementaryToHomogeneousMatrix ElementaryToMonomialMatrix ElementaryToPowerSumMatrix ElementaryToSchurMatrix Elements syn keyword magmaBuiltinFunction ElementSequence ElementSet ElementToSequence ElementType EliasAsymptoticBound EliasBound syn keyword magmaBuiltinFunction Eliminate EliminateGenerators EliminateRedundancy Elimination EliminationIdeal EllipticCurve syn keyword magmaBuiltinFunction EllipticCurveDatabase EllipticCurveFromjInvariant EllipticCurves EllipticCurveWithjInvariant EllipticExponential EllipticInvariants syn keyword magmaBuiltinFunction EllipticLogarithm EllipticPeriods EllipticPoints Eltlist Eltseq Embed syn keyword magmaBuiltinFunction Embedding EmbeddingMap EmbeddingMatrix Embeddings EmbeddingSpace EmptyBasket syn keyword magmaBuiltinFunction EmptyDigraph EmptyGraph EmptySubscheme End EndomorphismAlgebra EndomorphismRing syn keyword magmaBuiltinFunction Endomorphisms EndpointWeight EndVertices Enumerate EqualDegreeFactorization Equality syn keyword magmaBuiltinFunction EqualizeDegrees EquationOrder EquationOrderFinite EquationOrderInfinite Equations EquidimensionalDecomposition syn keyword magmaBuiltinFunction EquidimensionalPart EquitablePartition EquivalentPoint EquivalentQuotients Erf Erfc syn keyword magmaBuiltinFunction Error ErrorFunction EstimateOrbit Eta EuclideanDistance EuclideanLeftDivision syn keyword magmaBuiltinFunction EuclideanNorm EuclideanRightDivision EuclideanWeight EuclideanWeightDistribution EuclideanWeightEnumerator EulerCharacteristic syn keyword magmaBuiltinFunction EulerFactor EulerFactorModChar EulerFactorsByDeformation EulerGamma EulerianNumber EulerPhi syn keyword magmaBuiltinFunction EulerPhiInverse EulerProduct Evaluate EvaluateAt EvaluateByPowerSeries EvaluateClassGroup syn keyword magmaBuiltinFunction EvaluatePolynomial EvenWeightCode ExactConstantField ExactExtension ExactQuotient ExactValue syn keyword magmaBuiltinFunction ExceptionalUnitOrbit ExceptionalUnits Exclude ExcludedConjugate ExcludedConjugates exists syn keyword magmaBuiltinFunction ExistsConwayPolynomial ExistsCosetSatisfying ExistsCoveringStructure ExistsExcludedConjugate ExistsGroupData ExistsModularCurveDatabase syn keyword magmaBuiltinFunction ExistsNormalisingCoset ExistsNormalizingCoset Exp Expand ExpandToPrecision ExplicitCoset syn keyword magmaBuiltinFunction Explode Exponent ExponentDenominator ExponentialFieldExtension ExponentialIntegral ExponentLaw syn keyword magmaBuiltinFunction Exponents ExponentSum ExpurgateCode ExpurgateWeightCode Extend ExtendBasis syn keyword magmaBuiltinFunction ExtendCode ExtendedCategory ExtendedCohomologyClass ExtendedGreatestCommonDivisor ExtendedGreatestCommonLeftDivisor ExtendedGreatestCommonRightDivisor syn keyword magmaBuiltinFunction ExtendedLeastCommonLeftMultiple ExtendedOneCocycle ExtendedType ExtendField ExtendGaloisCocycle Extends syn keyword magmaBuiltinFunction Extension ExtensionClasses ExtensionExponents ExtensionNumbers ExtensionPrimes ExtensionProcess syn keyword magmaBuiltinFunction ExtensionsOfElementaryAbelianGroup ExtensionsOfSolubleGroup Exterior ExteriorPower ExteriorSquare ExternalLines syn keyword magmaBuiltinFunction ExtGenerators ExtractBlock ExtractBlockRange ExtractGenerators ExtractGroup ExtractRep syn keyword magmaBuiltinFunction ExtraSpecialAction ExtraSpecialBasis ExtraSpecialGroup ExtraSpecialNormaliser ExtraspecialPair ExtraspecialPairs syn keyword magmaBuiltinFunction ExtraSpecialParameters ExtraspecialSigns Face FaceFunction Faces FacesContaining syn keyword magmaBuiltinFunction Facint Facpol Factor FactorBasis FactorBasisCreate FactorBasisVerify syn keyword magmaBuiltinFunction FactoredCarmichaelLambda FactoredCharacteristicPolynomial FactoredDefiningPolynomials FactoredDiscriminant FactoredEulerPhi FactoredEulerPhiInverse syn keyword magmaBuiltinFunction FactoredHeckePolynomial FactoredIndex FactoredInverseDefiningPolynomials FactoredMCPolynomials FactoredMinimalAndCharacteristicPolynomials FactoredMinimalPolynomial syn keyword magmaBuiltinFunction FactoredModulus FactoredOrder FactoredProjectiveOrder Factorial Factorisation FactorisationOverSplittingField syn keyword magmaBuiltinFunction FactorisationToInteger FactorisationToPolynomial Factorization FactorizationOverSplittingField FactorizationToInteger Falpha syn keyword magmaBuiltinFunction Fano FanoBaseGenus FanoDatabase FanoGenus FanoIndex FareySymbol syn keyword magmaBuiltinFunction Fibonacci Field FieldAutomorphism FieldMorphism FieldOfDefinition FieldOfFractions syn keyword magmaBuiltinFunction FieldOfGeometricIrreducibility FindCommonEmbeddings FindDependencies FindFirstGenerators FindGenerators FindN syn keyword magmaBuiltinFunction FindRelations FindRelationsInCWIFormat FindWord FineEquidimensionalDecomposition FiniteAffinePlane FiniteField syn keyword magmaBuiltinFunction FiniteProjectivePlane FireCode FirstIndexOfColumn FirstIndexOfRow FirstWeights FittingGroup syn keyword magmaBuiltinFunction FittingLength FittingSeries FittingSubgroup Fix FixedArc FixedField syn keyword magmaBuiltinFunction FixedGroup FixedPoints Flat Flexes FlipCoordinates Floor syn keyword magmaBuiltinFunction Flow Flush forall FormalPoint FormalSet Format syn keyword magmaBuiltinFunction FormType FourCoverPullback FourDescent FourToTwoCovering FPGroup FPGroupStrong syn keyword magmaBuiltinFunction FPQuotient FrattiniSubgroup FreeAbelianGroup FreeAbelianQuotient FreeAlgebra FreeGroup syn keyword magmaBuiltinFunction FreeLieAlgebra FreeMonoid FreeNilpotentGroup FreeProduct FreeResolution FreeSemigroup syn keyword magmaBuiltinFunction Frobenius FrobeniusActionOnPoints FrobeniusActionOnReducibleFiber FrobeniusActionOnTrivialLattice FrobeniusAutomorphism FrobeniusAutomorphisms syn keyword magmaBuiltinFunction FrobeniusForm FrobeniusImage FrobeniusMap FrobeniusPolynomial FrobeniusTraceDirect FromAnalyticJacobian syn keyword magmaBuiltinFunction FullCorootLattice FullRootLattice Function FunctionDegree FunctionField FunctionFieldDifferential syn keyword magmaBuiltinFunction FunctionFieldDivisor FunctionFieldPlace FundamentalCoweights FundamentalDiscriminant FundamentalDomain FundamentalElement syn keyword magmaBuiltinFunction FundamentalGroup FundamentalInvariants FundamentalQuotient FundamentalUnit FundamentalUnits FundamentalWeights syn keyword magmaBuiltinFunction GabidulinCode GallagerCode GaloisCohomology GaloisConjugate GaloisField GaloisGroup syn keyword magmaBuiltinFunction GaloisImage GaloisOrbit GaloisProof GaloisQuotient GaloisRing GaloisRoot syn keyword magmaBuiltinFunction GaloisSubgroup Gamma GammaAction GammaActionPi GammaD GammaGroup syn keyword magmaBuiltinFunction GammaOrbitOnRoots GammaOrbitsOnRoots GammaOrbitsRepresentatives GapNumbers GaussianBinomial GaussianFactorial syn keyword magmaBuiltinFunction GaussNumber Gcd GCD GegenbauerPolynomial GeneralisedRowReduction GeneralizedFibonacciNumber syn keyword magmaBuiltinFunction GeneralizedSrivastavaCode GeneralLinearGroup GeneralOrthogonalGroup GeneralOrthogonalGroupMinus GeneralOrthogonalGroupPlus GeneralUnitaryGroup syn keyword magmaBuiltinFunction GenerateGraphs GeneratingWords Generator GeneratorMatrix GeneratorNumber GeneratorPolynomial syn keyword magmaBuiltinFunction Generators GeneratorsSequence GeneratorStructure Generic GenericAbelianGroup GenericGroup syn keyword magmaBuiltinFunction GenericModel GenericPoint Genus GenusContribution GenusField GenusOneModel syn keyword magmaBuiltinFunction GenusRepresentatives Geodesic GeodesicExists Geodesics GeodesicsIntersection GeometricAutomorphismGroup syn keyword magmaBuiltinFunction GeometricGenus GeometricMordellWeilLattice GeometricSupport GeometricTorsionBound GetAssertions GetAttributes syn keyword magmaBuiltinFunction GetAutoColumns GetAutoCompact GetBeep Getc GetChild GetChildren syn keyword magmaBuiltinFunction GetColumns GetCurrentDirectory GetDefaultRealField GetEchoInput GetElementPrintFormat GetForceCFP syn keyword magmaBuiltinFunction GetHelpExternalBrowser GetHelpExternalSystem GetHelpUseExternal GetHistorySize GetIgnorePrompt GetIgnoreSpaces syn keyword magmaBuiltinFunction GetIndent GetLibraries GetLibraryRoot GetLineEditor GetMaximumMemoryUsage GetMemoryLimit syn keyword magmaBuiltinFunction GetMemoryUsage GetModule GetModules GetParent GetPath Getpid syn keyword magmaBuiltinFunction GetPresentation GetPreviousSize GetPrimes GetPrintLevel GetPrompt GetQuotient syn keyword magmaBuiltinFunction GetRep GetRows Gets GetSeed GetTraceback Getuid syn keyword magmaBuiltinFunction Getvecs GetVerbose GetVersion GetViMode GewirtzGraph GF syn keyword magmaBuiltinFunction GHomOverCentralizingField GilbertVarshamovAsymptoticBound GilbertVarshamovBound GilbertVarshamovLinearBound Girth GirthCycle syn keyword magmaBuiltinFunction GL GlobalUnitGroup GModule GModuleAction GModulePrimes GoethalsCode syn keyword magmaBuiltinFunction GoethalsDelsarteCode GolayCode GoodBasePoints GoodLDPCEnsemble GoppaCode GoppaDesignedDistance syn keyword magmaBuiltinFunction GPCGroup GR GradientVector Gradings GramMatrix GramReduction syn keyword magmaBuiltinFunction Graph GraphAutomorphism Graphs GraphSizeInBytes GrayMap GrayMapImage syn keyword magmaBuiltinFunction GreatestCommonDivisor GreatestCommonLeftDivisor GreatestCommonRightDivisor GriesmerBound GriesmerLengthBound GriesmerMinimumWeightBound syn keyword magmaBuiltinFunction Groebner GroebnerBasis GroebnerBasisUnreduced GroundField Group GroupAlgebra syn keyword magmaBuiltinFunction GroupData GroupOfLieType GroupOfLieTypeFactoredOrder GroupOfLieTypeHomomorphism GroupOfLieTypeOrder GrowthFunction syn keyword magmaBuiltinFunction GRSCode GSet GSetFromIndexed GuessAltsymDegree HadamardAutomorphismGroup HadamardCanonicalForm syn keyword magmaBuiltinFunction HadamardColumnDesign HadamardDatabase HadamardDatabaseInformation HadamardDatabaseInformationEmpty HadamardGraph HadamardInvariant syn keyword magmaBuiltinFunction HadamardMatrixFromInteger HadamardMatrixToInteger HadamardNormalize HadamardRowDesign HadamardTrasformation HallSubgroup syn keyword magmaBuiltinFunction HamiltonianLieAlgebra HammingAsymptoticBound HammingCode HammingWeightEnumerator HarmonicNumber HasAdditionAlgorithm syn keyword magmaBuiltinFunction HasAttribute HasClique HasClosedCosetTable HasCM HasComplement HasCompleteCosetTable syn keyword magmaBuiltinFunction HasComplexConjugate HasComplexMultiplication HasComputableAbelianQuotient HasComputableLCS HasDefinedModuleMap HasDefiningMap syn keyword magmaBuiltinFunction HasDenseAndSparseRep HasDenseRep HasDenseRepOnly HasElementaryBasis HasEmbedding HasExtraspecialSigns syn keyword magmaBuiltinFunction HasFiniteDimension HasFiniteKernel HasFiniteOrder HasGCD HasGNB HasGroebnerBasis syn keyword magmaBuiltinFunction Hash HasHomogeneousBasis HasInfiniteComputableAbelianQuotient HasIntersectionProperty HasIntersectionPropertyN HasInverse syn keyword magmaBuiltinFunction HasIrregularFibres HasKnownInverse HasLeviSubalgebra HasLinearGrayMapImage HasMonomialBasis HasMultiplicityOne syn keyword magmaBuiltinFunction HasNegativeWeightCycle HasNonsingularPoint HasOddDegreeModel HasOnlyOrdinarySingularities HasOnlyOrdinarySingularitiesMonteCarlo HasOrder syn keyword magmaBuiltinFunction HasOutputFile HasParallelClass HasParallelism HasPlace HasPointsOverExtension HasPolynomial syn keyword magmaBuiltinFunction HasPolynomialFactorization HasPowerSumBasis HasPreimage HasPRoot HasRationalPoint HasRationalSolutions syn keyword magmaBuiltinFunction HasResolution HasRoot HasRootOfUnity HasSchurBasis HasseWittInvariant HasSingularPointsOverExtension syn keyword magmaBuiltinFunction HasSparseRep HasSparseRepOnly HasSquareSha HasSupplement HasTwistedHopfStructure HasValidCosetTable syn keyword magmaBuiltinFunction HasValidIndex HasWeakIntersectionProperty HBinomial HeckeAlgebra HeckeBound HeckeEigenvalueField syn keyword magmaBuiltinFunction HeckeEigenvalueRing HeckeOperator HeckePolynomial HeegnerDiscriminants HeegnerForms HeegnerPoint syn keyword magmaBuiltinFunction Height HeightConstant HeightOnAmbient HeightPairing HeightPairingLattice HeightPairingMatrix syn keyword magmaBuiltinFunction HenselLift HermiteForm HermitePolynomial HermitianCode HermitianFunctionField HesseCovariants syn keyword magmaBuiltinFunction HesseModel HessenbergForm HessePolynomials Hessian HessianMatrix Hexacode syn keyword magmaBuiltinFunction HighestCoroot HighestLongCoroot HighestLongRoot HighestRoot HighestShortCoroot HighestShortRoot syn keyword magmaBuiltinFunction HighestWeightModule HighestWeightRepresentation HighestWeights HighestWeightsAndVectors HighestWeightVectors HilbertClassField syn keyword magmaBuiltinFunction HilbertClassPolynomial HilbertFunction HilbertGroebnerBasis HilbertNumerator HilbertPolynomial HilbertPolynomialOfCurve syn keyword magmaBuiltinFunction HilbertSeries HilbertSeriesApproximation HilbertSeriesMultipliedByMinimalDenominator HilbertSpace HilbertSymbol HirschNumber syn keyword magmaBuiltinFunction Holes Holomorph Hom HomGenerators HomogeneousComponent HomogeneousComponents syn keyword magmaBuiltinFunction HomogeneousModuleTest HomogeneousModuleTestBasis HomogeneousToElementaryMatrix HomogeneousToMonomialMatrix HomogeneousToPowerSumMatrix HomogeneousToSchurMatrix syn keyword magmaBuiltinFunction Homogenization HomologicalDimension Homology HomologyBasis HomologyOfChainComplex Homomorphism syn keyword magmaBuiltinFunction Homomorphisms HomomorphismsProcess HookLength HorizontalJoin Hull HyperbolicCoxeterGraph syn keyword magmaBuiltinFunction HyperbolicCoxeterMatrix Hypercenter Hypercentre HyperellipticCurve HyperellipticCurveFromIgusaClebsch HyperellipticCurveOfGenus syn keyword magmaBuiltinFunction HyperellipticPolynomial HyperellipticPolynomials HypergeometricSeries HypergeometricU HyperplaneAtInfinity Id syn keyword magmaBuiltinFunction IdDataSLAC Ideal Idealiser Idealizer IdealQuotient Ideals syn keyword magmaBuiltinFunction IdealWithFixedBasis Idempotent IdempotentActionGenerators IdempotentGenerators IdempotentPositions Idempotents syn keyword magmaBuiltinFunction IdentificationNumber IdentifyAlmostSimpleGroup IdentifyGroup IdentifyOneCocycle IdentifyTwoCocycle IdentifyZeroCocycle syn keyword magmaBuiltinFunction Identity IdentityAutomorphism IdentityFieldMorphism IdentityHomomorphism IdentityIsogeny IdentityMap syn keyword magmaBuiltinFunction IgusaClebschInvariants IgusaClebschToIgusa IgusaInvariants IharaBound Ilog Im syn keyword magmaBuiltinFunction Image ImageSystem ImageWithBasis Imaginary ImplicitFunction Implicitization syn keyword magmaBuiltinFunction ImprimitiveAction ImprimitiveReflectionGroup ImproveAutomorphismGroup IncidenceDigraph IncidenceGeometry IncidenceGraph syn keyword magmaBuiltinFunction IncidenceMatrix IncidenceStructure IncidentEdges Include IncludeAutomorphism IncludeWeight syn keyword magmaBuiltinFunction InclusionMap IndecomposableSummands InDegree IndentPop IndentPush IndependenceNumber syn keyword magmaBuiltinFunction IndependentUnits Index IndexedCoset IndexedSetToSequence IndexedSetToSet IndexFormEquation syn keyword magmaBuiltinFunction IndexOfPartition IndexOfSpeciality Indices IndicialPolynomial IndivisibleSubdatum IndivisibleSubsystem syn keyword magmaBuiltinFunction InducedAutomorphism InducedGammaGroup InducedMap InducedMapOnHomology InducedOneCocycle InducedPermutation syn keyword magmaBuiltinFunction Induction IneffectiveSubcanonicalCurves InertiaDegree InertiaField InertiaGroup Infimum syn keyword magmaBuiltinFunction InfinitePlaces InfiniteSum Infinity InflationMap InflectionPoints InformationRate syn keyword magmaBuiltinFunction InformationSet InformationSpace InitialCoefficients Initialize InitialVertex Injection syn keyword magmaBuiltinFunction Injections InjectiveHull InjectiveModule InjectiveResolution InjectiveSyzygyModule InNeighbors syn keyword magmaBuiltinFunction InNeighbours InnerAutomorphism InnerAutomorphismGroup InnerFaces InnerGenerators InnerProduct syn keyword magmaBuiltinFunction InnerProductMatrix InnerShape InnerSlopes InnerTwists InnerVertices Insert syn keyword magmaBuiltinFunction InsertBlock InsertVertex IntegerRing Integers IntegerSolutionVariables IntegerToSequence syn keyword magmaBuiltinFunction IntegerToString Integral IntegralBasis IntegralClosure IntegralGroup IntegralHeckeOperator syn keyword magmaBuiltinFunction IntegralHomology IntegralMapping IntegralMatrix IntegralMatrixOverQ IntegralModel IntegralPoints syn keyword magmaBuiltinFunction IntegralQuarticPoints IntegralSplit IntegralUEA IntegralUEAlgebra IntegralUniversalEnvelopingAlgebra Interior syn keyword magmaBuiltinFunction InternalEdges Interpolation Intersection IntersectionArray IntersectionGroup IntersectionMatrix syn keyword magmaBuiltinFunction IntersectionNumber IntersectionOfImages IntersectionPairing IntersectionPairingIntegral IntersectionWithNormalSubgroup IntersectKernels syn keyword magmaBuiltinFunction Intseq InvariantFactors InvariantForms InvariantRing Invariants InvariantsOfDegree syn keyword magmaBuiltinFunction Inverse InverseDefiningPolynomials InverseJeuDeTaquin InverseKrawchouk InverseMattsonSolomonTransform InverseMod syn keyword magmaBuiltinFunction InverseRoot InverseRowInsert InverseRSKCorrespondenceDoubleWord InverseRSKCorrespondenceMatrix InverseRSKCorrespondenceSingleWord InverseSqrt syn keyword magmaBuiltinFunction InverseSquareRoot InverseWordMap Involution Iroot IrreducibleCartanMatrix IrreducibleCoxeterGraph syn keyword magmaBuiltinFunction IrreducibleCoxeterGroup IrreducibleCoxeterMatrix IrreducibleDynkinDigraph IrreducibleMatrixGroup IrreducibleModule IrreducibleModules syn keyword magmaBuiltinFunction IrreducibleModulesBurnside IrreducibleModulesInit IrreducibleModulesSchur IrreduciblePolynomial IrreducibleReflectionGroup IrreducibleRepresentationsInit syn keyword magmaBuiltinFunction IrreducibleRepresentationsSchur IrreducibleRootDatum IrreducibleRootSystem IrreducibleSecondaryInvariants IrreducibleSolubleSubgroups IrreducibleSubgroups syn keyword magmaBuiltinFunction IrregularLDPCEnsemble ISA ISABaseField IsAbelian IsAbelianVariety IsAbsoluteField syn keyword magmaBuiltinFunction IsAbsolutelyIrreducible IsAbsoluteOrder IsAdditiveOrder IsAdjoint IsAffine IsAffineLinear syn keyword magmaBuiltinFunction IsAlgebraic IsAlgebraicallyDependent IsAlgebraicallyIsomorphic IsAlgebraicDifferentialField IsAlgebraicGeometric IsAlternating syn keyword magmaBuiltinFunction IsAltsym IsAmbient IsAmbientSpace IsAnalyticallyIrreducible IsAnisotropic IsArc syn keyword magmaBuiltinFunction IsAssociative IsAttachedToModularSymbols IsAttachedToNewform IsAutomaticGroup IsAutomorphism IsBalanced syn keyword magmaBuiltinFunction IsBasePointFree IsBiconnected IsBijective IsBipartite IsBlock IsBlockTransitive syn keyword magmaBuiltinFunction IsBogomolovUnstable IsBoundary IsCanonical IsCapacitated IsCartanEquivalent IsCartanMatrix syn keyword magmaBuiltinFunction IsCentral IsCentralCollineation IsChainMap IsCharacter IsClassicalType IsCluster syn keyword magmaBuiltinFunction IsCM IsCoercible IsCohenMacaulay IsCollinear IsCommutative IsCompactHyperbolic syn keyword magmaBuiltinFunction IsComplete IsComplex IsConcurrent IsConditioned IsConfluent IsCongruence syn keyword magmaBuiltinFunction IsConic IsConjugate IsConnected IsConsistent IsConstant IsConstantCurve syn keyword magmaBuiltinFunction IsConway IsCoxeterAffine IsCoxeterCompactHyperbolic IsCoxeterFinite IsCoxeterGraph IsCoxeterHyperbolic syn keyword magmaBuiltinFunction IsCoxeterIrreducible IsCoxeterIsomorphic IsCoxeterMatrix IsCrystallographic IsCurve IsCusp syn keyword magmaBuiltinFunction IsCuspidal IsCyclic IsDecomposable IsDeficient IsDefined IsDefinite syn keyword magmaBuiltinFunction IsDenselyRepresented IsDesarguesian IsDesign IsDiagonal IsDifferenceSet IsDifferentialField syn keyword magmaBuiltinFunction IsDifferentialIdeal IsDifferentialLaurentSeriesRing IsDifferentialOperatorRing IsDifferentialSeriesRing IsDirected IsDirectSummand syn keyword magmaBuiltinFunction IsDiscriminant IsDisjoint IsDistanceRegular IsDistanceTransitive IsDivisibleBy IsDivisionRing syn keyword magmaBuiltinFunction IsDomain IsDominant IsDoublePoint IsDoublyEven IsDualComputable IsDynkinDigraph syn keyword magmaBuiltinFunction IsEdgeCapacitated IsEdgeLabelled IsEdgeTransitive IsEdgeWeighted IsEffective IsEisenstein syn keyword magmaBuiltinFunction IsEisensteinSeries IsElementaryAbelian IsEllipticCurve IsEllipticWeierstrass IsEmpty IsEmptySimpleQuotientProcess syn keyword magmaBuiltinFunction IsEmptyWord IsEndomorphism IsEof IsEquationOrder IsEquidistant IsEquitable syn keyword magmaBuiltinFunction IsEquivalent Isetseq Isetset IsEuclideanDomain IsEuclideanRing IsEulerian syn keyword magmaBuiltinFunction IsEven IsExact IsExactlyDivisible IsExceptionalUnit IsExtension IsExtraSpecial syn keyword magmaBuiltinFunction IsExtraSpecialNormaliser IsFace IsFaithful IsField IsFinite IsFiniteOrder syn keyword magmaBuiltinFunction IsFirm IsFlex IsForest IsFree IsFrobenius IsFTGeometry syn keyword magmaBuiltinFunction IsFuchsianOperator IsFundamentalDiscriminant IsGe IsGE IsGeneralizedCharacter IsGenus syn keyword magmaBuiltinFunction IsGenusOneModel IsGeometricallyHyperelliptic IsGLattice IsGLConjugate IsGlobal IsGlobalUnit syn keyword magmaBuiltinFunction IsGlobalUnitWithPreimage IsGorensteinSurface IsGraph IsGroebner IsHadamard IsHadamardEquivalent syn keyword magmaBuiltinFunction IsHeckeAlgebra IsHeckeOperator IsHomeomorphic IsHomogeneous IsHomomorphism IsHyperbolic syn keyword magmaBuiltinFunction IsHyperelliptic IsHyperellipticCurve IsHyperellipticCurveOfGenus IsHyperellipticWeierstrass IsHypersurface IsId syn keyword magmaBuiltinFunction IsIdeal IsIdempotent IsIdentical IsIdenticalPresentation IsIdentity IsInCorootSpace syn keyword magmaBuiltinFunction IsIndecomposable IsIndefinite IsIndependent IsIndivisibleRoot IsInduced IsInert syn keyword magmaBuiltinFunction IsInertial IsInfinite IsInflectionPoint IsInImage IsInjective IsInner syn keyword magmaBuiltinFunction IsInRadical IsInRootSpace IsInSecantVariety IsInSmallGroupDatabase IsInt IsInTangentVariety syn keyword magmaBuiltinFunction IsInteger IsIntegral IsIntegralDomain IsIntegralModel IsInterior IsIntersection syn keyword magmaBuiltinFunction IsIntrinsic IsInTwistedForm IsInvariant IsInvertible IsIrreducible IsIrregularSingularPlace syn keyword magmaBuiltinFunction IsIsogenous IsIsogenousPeriodMatrices IsIsogeny IsIsolated IsIsometric IsIsomorphic syn keyword magmaBuiltinFunction IsIsomorphicBigPeriodMatrices IsIsomorphicOverQt IsIsomorphicSmallPeriodMatrices IsIsomorphism IsKEdgeConnected IsKnuthEquivalent syn keyword magmaBuiltinFunction IsKVertexConnected IsLabelled IsLDPC IsLe IsLE IsLeaf syn keyword magmaBuiltinFunction IsLeftIdeal IsLeftIsomorphic IsLeftModule IsLexicographicallyOrdered IsLie IsLinear syn keyword magmaBuiltinFunction IsLinearGroup IsLinearlyEquivalent IsLinearlyIndependent IsLinearSpace IsLineRegular IsLineTransitive syn keyword magmaBuiltinFunction IsLittlewoodRichardson IsLocallySolvable IsLocalNorm IsLongRoot IsLowerSymmetric IsMagmaEuclideanRing syn keyword magmaBuiltinFunction IsMatrixRing IsMaximal IsMaximisingFunction IsMaximumDistanceSeparable IsMDS IsMemberBasicOrbit syn keyword magmaBuiltinFunction IsMinimalModel IsMinusOne IsModuleHomomorphism IsMonic IsMorphism IsNearLinearSpace syn keyword magmaBuiltinFunction IsNearlyPerfect IsNegative IsNegativeDefinite IsNegativeSemiDefinite IsNew IsNewform syn keyword magmaBuiltinFunction IsNilpotent IsNodalCurve IsNode IsNonsingular IsNorm IsNormal syn keyword magmaBuiltinFunction IsNormalised IsNormalising IsNull Iso IsOdd IsogenousCurves syn keyword magmaBuiltinFunction Isogeny IsogenyFromKernel IsogenyFromKernelFactored IsogenyGroup IsogenyMapOmega IsogenyMapPhi syn keyword magmaBuiltinFunction IsogenyMapPhiMulti IsogenyMapPsi IsogenyMapPsiMulti IsogenyMapPsiSquared IsolGroup IsolGroupDatabase syn keyword magmaBuiltinFunction IsolGroupOfDegreeFieldSatisfying IsolGroupOfDegreeSatisfying IsolGroupSatisfying IsolGroupsOfDegreeFieldSatisfying IsolGroupsOfDegreeSatisfying IsolGroupsSatisfying syn keyword magmaBuiltinFunction IsolGuardian IsolInfo IsolIsPrimitive IsolMinBlockSize IsolNumberOfDegreeField IsolOrder syn keyword magmaBuiltinFunction IsolProcess IsolProcessOfDegree IsolProcessOfDegreeField IsolProcessOfField IsomorphicProjectionToSubspace Isomorphism syn keyword magmaBuiltinFunction IsomorphismData Isomorphisms IsomorphismToIsogeny IsOne IsOneCocycle IsOnlyMotivic syn keyword magmaBuiltinFunction IsOptimal IsOrbit IsOrder IsOrdered IsOrderTerm IsOrdinary syn keyword magmaBuiltinFunction IsOrdinaryProjective IsOrdinaryProjectiveSpace IsOrdinarySingularity IsOrthogonalGroup IsotropicLLLGram IsOuter syn keyword magmaBuiltinFunction IsOverQ IsParallel IsParallelClass IsParallelism IsPartialRoot IsPartition syn keyword magmaBuiltinFunction IsPartitionRefined IsPath IsPerfect IsPID IspIntegral IsPIR syn keyword magmaBuiltinFunction IsPlanar IsPlaneCurve IspLieAlgebra IspMaximal IspMinimal IspNormal syn keyword magmaBuiltinFunction IsPoint IsPointRegular IsPointTransitive IsPolygon IsPolynomial IsPositive syn keyword magmaBuiltinFunction IsPositiveDefinite IsPositiveSemiDefinite IsPower IsPrimary IsPrime IsPrimeField syn keyword magmaBuiltinFunction IsPrimePower IsPrimitive IsPrincipal IsPrincipalIdealDomain IsPrincipalIdealRing IsProbablePrime syn keyword magmaBuiltinFunction IsProbablyMaximal IsProbablyPerfect IsProbablyPermutationPolynomial IsProbablyPrime IsProbablySupersingular IsProductOfParallelDescendingCycles syn keyword magmaBuiltinFunction IsProjective IsProjectivelyIrreducible IsProper IsProperChainMap IsProportional IsPseudoreflection syn keyword magmaBuiltinFunction IsPure Isqrt IsQuadratic IsQuadraticTwist IsQuadricIntersection IsQuasisplit syn keyword magmaBuiltinFunction IsQuaternionAlgebra IsQuaternionic IsRadical IsRamified IsRationalCurve IsRationalFunctionField syn keyword magmaBuiltinFunction IsRC IsReal IsRealisableOverSmallerField IsRealisableOverSubfield IsRealReflectionGroup IsReduced syn keyword magmaBuiltinFunction IsReductive IsReflection IsReflectionGroup IsReflectionSubgroup IsRegular IsRegularLDPC syn keyword magmaBuiltinFunction IsRegularPlace IsRegularSingularOperator IsRegularSingularPlace IsResiduallyConnected IsResolution IsRestrictable syn keyword magmaBuiltinFunction IsRestricted IsRestrictedSubalgebra IsReverseLatticeWord IsRightIdeal IsRightIsomorphic IsRightModule syn keyword magmaBuiltinFunction IsRing IsRingHomomorphism IsRingOfAllModularForms IsRoot IsRootedTree IsSatisfied syn keyword magmaBuiltinFunction IsSaturated IsScalar IsSelfDual IsSelfNormalising IsSelfNormalizing IsSelfOrthogonal syn keyword magmaBuiltinFunction IsSemiLinear IsSemiregular IsSemisimple IsSeparable IsSeparating IsServerSocket syn keyword magmaBuiltinFunction IsSharplyTransitive IsShortExactSequence IsShortRoot IsSimilar IsSimple IsSimplifiedModel syn keyword magmaBuiltinFunction IsSimplyConnected IsSimplyLaced IsSinglePrecision IsSingular IsSIntegral IsSkew syn keyword magmaBuiltinFunction IsSoluble IsSolvable IsSpecial IsSpinorGenus IsSpinorNorm IsSplit syn keyword magmaBuiltinFunction IsSplittingField IsSPrincipal IsSquare IsSquarefree IsStandard IsStandardAffinePatch syn keyword magmaBuiltinFunction IsStandardParabolicSubgroup IsSteiner IsStronglyAG IsStronglyConnected IsSubcanonicalCurve IsSubfield syn keyword magmaBuiltinFunction IsSubgraph IsSubgroup IsSubmodule IsSubnormal IsSubsequence IsSubsystem syn keyword magmaBuiltinFunction IsSUnit IsSUnitWithPreimage IsSupersingular IsSuperSummitRepresentative IsSurjective IsSuzukiGroup syn keyword magmaBuiltinFunction IsSymmetric IsSymplecticGroup IsSymplecticMatrix IsSymplecticSelfDual IsSymplecticSelfOrthogonal IsTamelyRamified syn keyword magmaBuiltinFunction IsTangent IsTensor IsTensorInduced IsTerminalThreefold IsThick IsThin syn keyword magmaBuiltinFunction IsTorsionUnit IsTotallyRamified IsTotallySplit IsTransformation IsTransitive IsTransverse syn keyword magmaBuiltinFunction IsTree IsTriconnected IsTrivial IsTwist IsTwisted IsTwoSidedIdeal syn keyword magmaBuiltinFunction IsUFD IsUltraSummitRepresentative IsUndirected IsUniform IsUnipotent IsUniqueFactorizationDomain syn keyword magmaBuiltinFunction IsUniquePartialRoot IsUnit IsUnital IsUnitary IsUnitaryGroup IsUnitWithPreimage syn keyword magmaBuiltinFunction IsUnivariate IsUnramified IsUpperSymmetric IsValid IsVerbose IsVertex syn keyword magmaBuiltinFunction IsVertexLabelled IsVertexTransitive IsWeaklyAG IsWeaklyAGDual IsWeaklyConnected IsWeaklyEqual syn keyword magmaBuiltinFunction IsWeaklyMonic IsWeaklyZero IsWeierstrassModel IsWeierstrassPlace IsWeighted IsWildlyRamified syn keyword magmaBuiltinFunction IsWreathProduct IsZero IsZeroAt IsZeroComplex IsZeroDimensional IsZeroDivisor syn keyword magmaBuiltinFunction IsZeroMap IsZeroTerm Jacobi Jacobian JacobianIdeal JacobianMatrix syn keyword magmaBuiltinFunction JacobianOrdersByDeformation JacobianPoint JacobiSymbol JacobiTheta JacobiThetaNullK JacobsonRadical syn keyword magmaBuiltinFunction JBessel JenningsLieAlgebra JenningsSeries JeuDeTaquin jFunction JH syn keyword magmaBuiltinFunction jInvariant JInvariants JohnsonBound JOne JordanForm Js syn keyword magmaBuiltinFunction JustesenCode Juxtaposition JZero kArc KBessel KBinomial syn keyword magmaBuiltinFunction KCubeGraph KDegree KeepAbelian KeepElementary KeepElementaryAbelian KeepGeneratorAction syn keyword magmaBuiltinFunction KeepGeneratorOrder KeepPrimePower KeepSplit KeepSplitAbelian KeepSplitElementaryAbelian KerdockCode syn keyword magmaBuiltinFunction Kernel KernelMatrix Kernels KillingMatrix KissingNumber KMatrixSpace syn keyword magmaBuiltinFunction KMatrixSpaceWithBasis KModule KModuleWithBasis Knot KnownAutomorphismSubgroup KnownIrreducibles syn keyword magmaBuiltinFunction KodairaSymbol KodairaSymbols KostkaNumber KrawchoukPolynomial KrawchoukTransform KroneckerCharacter syn keyword magmaBuiltinFunction KroneckerProduct KroneckerSymbol KSpace KSpaceWithBasis KummerSurface Label syn keyword magmaBuiltinFunction Labelling Labels LaguerrePolynomial Laplace LargestConductor LargestDimension syn keyword magmaBuiltinFunction LastIndexOfColumn LastIndexOfRow Lattice LatticeCoordinates LatticeData LatticeDatabase syn keyword magmaBuiltinFunction LatticeName LatticeWithBasis LatticeWithGram LaurentSeriesRing LayerBoundary LayerLength syn keyword magmaBuiltinFunction LazyPowerSeriesRing LazySeries LCfRequired Lcm LCM LDPCBinarySymmetricThreshold syn keyword magmaBuiltinFunction LDPCCode LDPCDecode LDPCDensity LDPCEnsembleRate LDPCGaussianThreshold LDPCGirth syn keyword magmaBuiltinFunction LDPCMatrix LDPCSimulate LeadingCoefficient LeadingExponent LeadingGenerator LeadingMonomial syn keyword magmaBuiltinFunction LeadingMonomialIdeal LeadingTerm LeadingTotalDegree LeadingWeightedDegree LeastCommonLeftMultiple LeastCommonMultiple syn keyword magmaBuiltinFunction LeeBrickellsAttack LeeDistance LeeWeight LeeWeightDistribution LeeWeightEnumerator LeftAnnihilator syn keyword magmaBuiltinFunction LeftConjugate LeftCosetSpace LeftDescentSet LeftDiv LeftExactExtension LeftGcd syn keyword magmaBuiltinFunction LeftGCD LeftGreatestCommonDivisor LeftIdeal LeftIdealClasses LeftInverse LeftInverseMorphism syn keyword magmaBuiltinFunction LeftIsomorphism LeftLcm LeftLCM LeftLeastCommonMultiple LeftMixedCanonicalForm LeftNormalForm syn keyword magmaBuiltinFunction LeftOrder LeftRepresentationMatrix LeftString LeftStringLength LeftZeroExtension LegendreModel syn keyword magmaBuiltinFunction LegendrePolynomial LegendresMethod LegendreSymbol Length LengthenCode Lengths syn keyword magmaBuiltinFunction LeonsAttack Level LevenshteinBound LexicographicalOrdering LexProduct LFSRSequence syn keyword magmaBuiltinFunction LFSRStep LFunction LGetCoefficients LHS LieAlgebra LieAlgebraHomorphism syn keyword magmaBuiltinFunction LieBracket LieCharacteristic LieType Lift LiftCharacter LiftCharacters syn keyword magmaBuiltinFunction LiftHomomorphism LiftMap LiftNonsplitExtension LiftNonsplitExtensionRow LiftPoint LiftSplitExtension syn keyword magmaBuiltinFunction LiftSplitExtensionRow Line LinearCharacters LinearCode LinearRelation LinearSpace syn keyword magmaBuiltinFunction LinearSystem LinearSystemTrace LineAtInfinity LineGraph LineGroup LineOrbits syn keyword magmaBuiltinFunction Lines LineSet Linking LinkingNumbers ListAttributes ListCategories syn keyword magmaBuiltinFunction ListSignatures ListTypes ListVerbose LLL LLLBasisMatrix LLLGram syn keyword magmaBuiltinFunction LLLGramMatrix LocalCoxeterGroup LocalFactorization LocalGenera LocalHeight LocalInformation syn keyword magmaBuiltinFunction Localization LocalRing LocalTwoSelmerMap LocalUniformizer Log LogarithmicFieldExtension syn keyword magmaBuiltinFunction LogDerivative LogGamma LogIntegral Logs LongestElement LongExactSequenceOnHomology syn keyword magmaBuiltinFunction LowerCentralSeries LowerFaces LowerSlopes LowerTriangularMatrix LowerVertices LowIndexNormalSubgroups syn keyword magmaBuiltinFunction LowIndexProcess LowIndexSubgroups LPolynomial LPProcess LRatio LRatioOddPart syn keyword magmaBuiltinFunction LSeries LSeriesData LSeriesLeadingCoefficient LSetCoefficients LSetPrecision LStar syn keyword magmaBuiltinFunction LTaylor Lucas MacWilliamsTransform MagicNumber MakeBasket MakeCoprime syn keyword magmaBuiltinFunction MakePCMap MakeProjectiveClosureMap MakeResolutionGraph MakeSpliceDiagram MakeType Manifold syn keyword magmaBuiltinFunction ManifoldDatabase ManinSymbol MantissaExponent Mapping Maps MargulisCode syn keyword magmaBuiltinFunction MarkGroebner Match MatRep MatRepCharacteristics MatRepDegrees MatRepFieldSizes syn keyword magmaBuiltinFunction MatRepKeys Matrices Matrix MatrixAlgebra MatrixGroup MatrixLieAlgebra syn keyword magmaBuiltinFunction MatrixOfIsomorphism MatrixRepresentation MatrixRing MatrixUnit MattsonSolomonTransform Maxdeg syn keyword magmaBuiltinFunction MaximalAbelianSubfield MaximalIdeals MaximalIncreasingSequence MaximalIncreasingSequences MaximalIntegerSolution MaximalLeftIdeals syn keyword magmaBuiltinFunction MaximalNormalSubgroup MaximalNumberOfCosets MaximalOrder MaximalOrderFinite MaximalOrderInfinite MaximalOvergroup syn keyword magmaBuiltinFunction MaximalParabolics MaximalPartition MaximalRightIdeals MaximalSolution MaximalSubfields MaximalSubgroups syn keyword magmaBuiltinFunction MaximalSubmodules MaximalZeroOneSolution Maximum MaximumClique MaximumDegree MaximumFlow syn keyword magmaBuiltinFunction MaximumInDegree MaximumIndependentSet MaximumMatching MaximumOutDegree Maxindeg MaxNorm syn keyword magmaBuiltinFunction Maxoutdeg MaxParabolics McElieceEtAlAsymptoticBound McEliecesAttack MCPolynomials MDSCode syn keyword magmaBuiltinFunction MEANS Meataxe MergeFields MergeFiles MergeUnits MetacyclicPGroups syn keyword magmaBuiltinFunction Mindeg MinimalAlgebraGenerators MinimalAndCharacteristicPolynomials MinimalBasis MinimalCyclotomicField MinimalDegreeModel syn keyword magmaBuiltinFunction MinimalElementConjugatingToPositive MinimalElementConjugatingToSuperSummit MinimalElementConjugatingToUltraSummit MinimalField MinimalFreeResolution MinimalHeckePolynomial syn keyword magmaBuiltinFunction MinimalIdeals MinimalInteger MinimalIntegerSolution MinimalLeftIdeals MinimalModel MinimalNormalSubgroup syn keyword magmaBuiltinFunction MinimalNormalSubgroups MinimalOverfields MinimalOvergroup MinimalOvergroups MinimalParabolics MinimalPartition syn keyword magmaBuiltinFunction MinimalPartitions MinimalPolynomial MinimalQuadraticTwist MinimalRelations MinimalRightIdeals MinimalSolution syn keyword magmaBuiltinFunction MinimalSubmodule MinimalSubmodules MinimalSupermodules MinimalSyzygyModule MinimalWeierstrassModel MinimalZeroOneSolution syn keyword magmaBuiltinFunction Minimise MinimiseWeights Minimize Minimum MinimumCut MinimumDegree syn keyword magmaBuiltinFunction MinimumDistance MinimumDominatingSet MinimumEuclideanDistance MinimumEuclideanWeight MinimumInDegree MinimumLeeDistance syn keyword magmaBuiltinFunction MinimumLeeWeight MinimumOutDegree MinimumWeight MinimumWeightBounds MinimumWeightTree MinimumWord syn keyword magmaBuiltinFunction MinimumWords Minindeg MinkowskiBound MinkowskiLattice MinkowskiSpace MinorBoundary syn keyword magmaBuiltinFunction MinorLength Minors Minoutdeg MinParabolics MinusInfinity MinusTamagawaNumber syn keyword magmaBuiltinFunction MinusVolume MixedCanonicalForm ModelToString ModelType Modexp ModifySelfintersection syn keyword magmaBuiltinFunction ModifyTransverseIntersection Modinv Modorder Modsqrt ModularAbelianVariety ModularCurve syn keyword magmaBuiltinFunction ModularCurveDatabase ModularDegree ModularEmbedding ModularEquation ModularForm ModularForms syn keyword magmaBuiltinFunction ModularKernel ModularParameterization ModularParametrisation ModularParametrization ModularPolarization ModularSolution syn keyword magmaBuiltinFunction ModularSymbols ModularSymbolToIntegralHomology ModularSymbolToRationalHomology Module ModuleMap ModuleOverSmallerField syn keyword magmaBuiltinFunction Modules ModulesOverCommonField ModulesOverSmallerField ModuleWithBasis Moduli ModuliPoints syn keyword magmaBuiltinFunction Modulus MoebiusMu MolienSeries MolienSeriesApproximation MonicDifferentialOperator MonodromyPairing syn keyword magmaBuiltinFunction MonodromyWeights Monomial MonomialBasis MonomialCoefficient MonomialGroup MonomialGroupStabilizer syn keyword magmaBuiltinFunction Monomials MonomialsOfDegree MonomialsOfWeightedDegree MonomialSubgroup MonomialToElementaryMatrix MonomialToHomogeneousMatrix syn keyword magmaBuiltinFunction MonomialToPowerSumMatrix MonomialToSchurMatrix MordellWeilGroup MordellWeilLattice MordellWeilRank MordellWeilRankBounds syn keyword magmaBuiltinFunction Morphism MPQS Multidegree Multinomial MultipartiteGraph MultiplicationByMMap syn keyword magmaBuiltinFunction MultiplicationTable MultiplicativeGroup MultiplicativeJordanDecomposition MultiplicatorRing Multiplicities Multiplicity syn keyword magmaBuiltinFunction Multiplier MultiplyByTranspose MultiplyColumn MultiplyFrobenius MultiplyRow Multisets syn keyword magmaBuiltinFunction MultisetToSet MultivariatePolynomial MurphyAlphaApproximation NagataAutomorphism Nagens NaiveHeight syn keyword magmaBuiltinFunction Nalggens Name Names NameSimple NaturalActionGenerator NaturalBlackBoxGroup syn keyword magmaBuiltinFunction NaturalFreeAlgebraCover NaturalGroup NaturalMap NaturalMaps nbspnbspAHREFtexthtmCoxeterGroup nbspnbspAHREFtexthtmName syn keyword magmaBuiltinFunction nbspnbspAHREFtexthtmBaseRing nbspnbspAHREFtexthtmCoefficientRing nbspnbspAHREFtexthtmBaseExtend nbspnbspAHREFtexthtmRationalPoints nbspnbspAHREFtexthtmGetViMode nbspnbspAHREFtexthtmDFSTree syn keyword magmaBuiltinFunction nbspnbspAHREFtexthtmListTypes nbspnbspAHREFtexthtmBlumBlumShubModulus nbspnbspAHREFtexthtmPSz nbspnbspAHREFtexthtmRightTransversal nbspnbspAHREFtexthtmInvariants nbspnbspAHREFtexthtmRightTransversal syn keyword magmaBuiltinFunction nbspnbspAHREFtexthtmNgens nbspnbspAHREFtexthtmLcm nbspnbspAHREFtexthtmLCM nbspnbspAHREFtexthtmContpp nbspnbspAHREFtexthtmKMatrixSpace nbspnbspAHREFtexthtmKModule syn keyword magmaBuiltinFunction nbspnbspAHREFtexthtmKSpace nbspnbspAHREFtexthtmOptimisedRepresentation nbspnbspAHREFtexthtmBaseChange nbspnbspAHREFtexthtmBaseExtend nbspnbspAHREFtexthtmNullspaceOfTranspose nbspnbspAHREFtexthtmIdentity syn keyword magmaBuiltinFunction Nclasses Ncols nCovering NearLinearSpace NegationMap Negative syn keyword magmaBuiltinFunction NegativeGammaOrbitsOnRoots NegativeRelativeRoots Neighbor NeighborClosure Neighbour NeighbourClosure syn keyword magmaBuiltinFunction Neighbours Newform NewformDecomposition Newforms NewQuotient NewSubspace syn keyword magmaBuiltinFunction NewSubvariety NewtonPolygon NewtonPolynomial NewtonPolynomials NextClass NextElement syn keyword magmaBuiltinFunction NextExtension NextGraph NextModule NextPrime NextRepresentation NextSimpleQuotient syn keyword magmaBuiltinFunction NextSubgroup NextVector NFaces NFS NFSProcess Ngens syn keyword magmaBuiltinFunction NGrad NilpotencyClass NilpotentBoundary NilpotentLength NilpotentPresentation NilpotentQuotient syn keyword magmaBuiltinFunction NilpotentSection NilpotentSubgroups Nilradical nIsogeny NNZEntries NoetherNormalisation syn keyword magmaBuiltinFunction NoetherNormalization NoetherNumerator NoetherWeights NonIdempotentActionGenerators NonIdempotentGenerators NonNilpotentElement syn keyword magmaBuiltinFunction NonPrimitiveAlternantCode NonsolvableSubgroups NonSpecialDivisor NonsplitAbelianSection NonsplitCollector NonsplitElementaryAbelianSection syn keyword magmaBuiltinFunction NonsplitExtensionSpace NonsplitSection Norm NormAbs NormalClosure NormalComplements syn keyword magmaBuiltinFunction NormalElement NormalForm NormalisaionCoefficient Normalisation Normalise Normaliser syn keyword magmaBuiltinFunction NormaliserCode NormaliserMatrix NormalizaionCoefficient Normalize Normalizer NormalizerCode syn keyword magmaBuiltinFunction NormalizerMatrix NormalLattice NormalNumber NormalSubgroupRandomElement NormalSubgroups NormEquation syn keyword magmaBuiltinFunction NormGroup NormGroupDiscriminant NormKernel NormModule NormResidueSymbol NormSpace syn keyword magmaBuiltinFunction Not NPCGenerators NPCgens Nqubits Nrels Nrows syn keyword magmaBuiltinFunction Nsgens NthPrime nTorsionSubgroup NuclearRank NullGraph Nullity syn keyword magmaBuiltinFunction Nullspace NullSpace NullspaceMatrix NullspaceOfTranspose Number NumberField syn keyword magmaBuiltinFunction NumberFieldSieve NumberingMap NumberOfActionGenerators NumberOfAlgebraicGenerators NumberOfAntisymmetricForms NumberOfBlocks syn keyword magmaBuiltinFunction NumberOfClasses NumberOfColumns NumberOfComponents NumberOfConstantWords NumberOfConstraints NumberOfCoordinates syn keyword magmaBuiltinFunction NumberOfCurves NumberOfDivisors NumberOfExtensions NumberOfFaces NumberOfFixedSpaces NumberOfGenerators syn keyword magmaBuiltinFunction NumberOfGradings NumberOfGraphs NumberOfGroups NumberOfInclusions NumberOfInvariantForms NumberOfIrreducibleMatrixGroups syn keyword magmaBuiltinFunction NumberOfIsogenyClasses NumberOfLattices NumberOfLines NumberOfMatrices NumberOfNewformClasses NumberOfNonZeroEntries syn keyword magmaBuiltinFunction NumberOfPartitions NumberOfPCGenerators NumberOfPermutations NumberOfPlacesDegECF NumberOfPlacesOfDegreeOne NumberOfPlacesOfDegreeOneECF syn keyword magmaBuiltinFunction NumberOfPlacesOfDegreeOneECFBound NumberOfPlacesOfDegreeOneOverExactConstantField NumberOfPlacesOfDegreeOneOverExactConstantFieldBound NumberOfPlacesOfDegreeOverExactConstantField NumberOfPoints NumberOfPointsAtInfinity syn keyword magmaBuiltinFunction NumberOfPointsOnSurface NumberOfPositiveRoots NumberOfPrimePolynomials NumberOfPrimitiveAffineGroups NumberOfPrimitiveAlmostSimpleGroups NumberOfPrimitiveDiagonalGroups syn keyword magmaBuiltinFunction NumberOfPrimitiveGroups NumberOfPrimitiveProductGroups NumberOfPrimitiveSolubleGroups NumberOfProjectives NumberOfPunctures NumberOfQubits syn keyword magmaBuiltinFunction NumberOfRationalPoints NumberOfRelations NumberOfRelationsRequired NumberOfRepresentations NumberOfRows NumberOfSkewRows syn keyword magmaBuiltinFunction NumberOfSmallGroups NumberOfSmoothDivisors NumberOfSolubleIrreducibleMatrixGroups NumberOfStandardTableaux NumberOfStandardTableauxOnWeight NumberOfStrings syn keyword magmaBuiltinFunction NumberOfStrongGenerators NumberOfSymmetricForms NumberOfTableauxOnAlphabet NumberOfTransitiveGroups NumberOfVariables NumberOfWords syn keyword magmaBuiltinFunction NumbersOfPointsOnSurface Numerator NumExtraspecialPairs NumPosRoots ObjectiveFunction Obstruction syn keyword magmaBuiltinFunction ObstructionDescentBuildingBlock OddGraph OldQuotient OldSubvariety Omega OmegaMinus syn keyword magmaBuiltinFunction OmegaPlus One OneCocycle OneCohomology OnlyUpToIsogeny Open syn keyword magmaBuiltinFunction OpenGraphFile OpenSmallGroupDatabase OppositeAlgebra OptimalEdgeColouring OptimalSkewness OptimalVertexColouring syn keyword magmaBuiltinFunction OptimisedRepresentation OptimizedRepresentation Or Orbit OrbitAction OrbitActionBounded syn keyword magmaBuiltinFunction OrbitalGraph OrbitBounded OrbitClosure OrbitImage OrbitImageBounded OrbitKernel syn keyword magmaBuiltinFunction OrbitKernelBounded OrbitRepresentatives Orbits OrbitsOfSpaces OrbitsPartition OrbitsPi syn keyword magmaBuiltinFunction Order OrderedIntegerMonoid OrderedMonoid Ordering OreConditions OrientatedGraph syn keyword magmaBuiltinFunction Origin OriginalRing OrthogonalComplement OrthogonalComponent OrthogonalComponents OrthogonalDecomposition syn keyword magmaBuiltinFunction Orthogonalize OrthogonalizeGram OrthogonalSum Orthonormalize OutDegree OuterFaces syn keyword magmaBuiltinFunction OuterFPGroup OuterOrder OuterShape OuterVertices OutNeighbors OutNeighbours syn keyword magmaBuiltinFunction OvalDerivation Overdatum OverDimension Overgroup PadCode pAdicEllipticLogarithm syn keyword magmaBuiltinFunction pAdicEmbeddings pAdicField pAdicQuotientRing pAdicRing PairReduce PairReduceGram syn keyword magmaBuiltinFunction PaleyGraph PaleyTournament ParallelClass ParallelClasses Parameters Parametrization syn keyword magmaBuiltinFunction ParametrizationMatrix ParametrizationToPuiseux ParametrizeOrdinaryCurve ParametrizeRationalNormalCurve Parent ParentGraph syn keyword magmaBuiltinFunction ParentPlane ParentRing ParityCheckMatrix PartialFactorization PartialFractionDecomposition PartialWeightDistribution syn keyword magmaBuiltinFunction Partition PartitionCovers Partitions PascalTriangle Path PathExists syn keyword magmaBuiltinFunction PathGraph Paths PathTree PCClass pCentralSeries PCExponents syn keyword magmaBuiltinFunction PCGenerators PCGroup pClass pClosure PCMap pCore syn keyword magmaBuiltinFunction pCover pCoveringGroup PCPrimes pElementaryAbelianNormalSubgroup Pencil PerfectGroupDatabase syn keyword magmaBuiltinFunction PerfectSubgroups PeriodMapping Periods PermRep PermRepDegrees PermRepKeys syn keyword magmaBuiltinFunction Permutation PermutationAutomorphism PermutationCharacter PermutationCode PermutationGroup PermutationMatrix syn keyword magmaBuiltinFunction PermutationModule PermutationRepresentation Permutations PermutationSupport Pfaffian Pfaffians syn keyword magmaBuiltinFunction pFundamentalUnits PGammaL PGammaU PGL PGO PGOMinus syn keyword magmaBuiltinFunction PGOPlus PGroupSection PGroupStrong PGU PhaseFlip phi syn keyword magmaBuiltinFunction PHom Pi PicardGroup PicardNumber pIntegralModel Pipe syn keyword magmaBuiltinFunction Place PlaceEnumCopy PlaceEnumCurrent PlaceEnumInit PlaceEnumNext PlaceEnumPosition syn keyword magmaBuiltinFunction Places PlacticIntegerMonoid PlacticMonoid PlotkinAsymptoticBound PlotkinBound PlotkinSum syn keyword magmaBuiltinFunction pMap pMatrixRing pMaximalOrder pMinimalWeierstrassModel pMinimise pMultiplicator syn keyword magmaBuiltinFunction pMultiplicatorRank PnbspnbspAHREFindhtmBB pNormalModel Point PointDegree PointDegrees syn keyword magmaBuiltinFunction PointGraph PointGroup Points PointsAtInfinity PointsCubicModel PointSearch syn keyword magmaBuiltinFunction PointSet PointsKnown PointsOverSplittingField PointsQI Polarisation PolarisedVariety syn keyword magmaBuiltinFunction PolarToComplex Poles PollardRho PolycyclicGenerators PolygonGraph Polylog syn keyword magmaBuiltinFunction PolylogD PolylogDold PolylogP PolyMapKernel Polynomial PolynomialAlgebra syn keyword magmaBuiltinFunction PolynomialCoefficient PolynomialMap PolynomialRing PolynomialSieve POmega POmegaMinus syn keyword magmaBuiltinFunction POmegaPlus POpen Position PositiveConjugates PositiveConjugatesProcess PositiveCoroots syn keyword magmaBuiltinFunction PositiveDefiniteForm PositiveGammaOrbitsOnRoots PositiveRelativeRoots PositiveRoots PositiveRootsPerm PositiveSum syn keyword magmaBuiltinFunction PossibleCanonicalDissidentPoints PossibleSimpleCanonicalDissidentPoints PowerFormalSet PowerGroup PowerIdeal PowerIndexedSet syn keyword magmaBuiltinFunction PowerMap PowerMultiset PowerPolynomial PowerRelation PowerResidueCode PowerSequence syn keyword magmaBuiltinFunction PowerSeries PowerSeriesRing PowerSet PowerSumToElementaryMatrix PowerSumToHomogeneousMatrix PowerSumToMonomialMatrix syn keyword magmaBuiltinFunction PowerSumToSchurMatrix pPowerTorsion pPrimaryComponent pPrimaryInvariants pQuotient pQuotientProcess syn keyword magmaBuiltinFunction pRadical pRank pRanks Precision PrecisionBound PreimageIdeal syn keyword magmaBuiltinFunction PreimageRing PreparataCode Preprune Presentation PresentationIsSmall PresentationLength syn keyword magmaBuiltinFunction PresentationOfSimpleGroup PreviousPrime Primary PrimaryAlgebra PrimaryComponents PrimaryDecomposition syn keyword magmaBuiltinFunction PrimaryIdeal PrimaryInvariantFactors PrimaryInvariants PrimaryRationalForm Prime PrimeBasis syn keyword magmaBuiltinFunction PrimeComponents PrimeDivisors PrimeField PrimeForm PrimeIdeal PrimePolynomials syn keyword magmaBuiltinFunction PrimePowerRepresentation PrimeRing Primes PrimesInInterval PrimesUpTo PrimitiveElement syn keyword magmaBuiltinFunction PrimitiveGroup PrimitiveGroupDatabaseLimit PrimitiveGroupDescription PrimitiveGroupIdentification PrimitiveGroupProcess PrimitiveGroups syn keyword magmaBuiltinFunction PrimitiveIdempotentData PrimitiveIdempotents PrimitivePart PrimitivePolynomial PrimitiveQuotient PrimitiveRoot syn keyword magmaBuiltinFunction PrimitiveWreathProduct PrincipalCharacter PrincipalDivisor PrincipalDivisorMap PrincipalIdealMap PrincipalUnitGroup syn keyword magmaBuiltinFunction PrincipalUnitGroupGenerators PrintCollector PrintExtensions PrintFile PrintFileMagma PrintModules syn keyword magmaBuiltinFunction PrintPrimes PrintProbabilityDistribution PrintProcess PrintQuotient PrintRelat PrintSeries syn keyword magmaBuiltinFunction PrintSortedProbabilityDistribution PrintSylowSubgroupStructure PrintTermsOfDegree PrintToPrecision Probability ProbabilityDistribution syn keyword magmaBuiltinFunction ProbableAutomorphismGroup ProbableRadicalDecomposition ProcessLadder ProductCode ProductProjectiveSpace ProductRepresentation syn keyword magmaBuiltinFunction ProfileGraph ProfileHTMLOutput ProfilePrintByTotalCount ProfilePrintByTotalTime ProfilePrintChildrenByCount ProfilePrintChildrenByTime syn keyword magmaBuiltinFunction ProfileReset Proj Projection ProjectionFromNonsingularPoint ProjectionOnto ProjectionOntoImage syn keyword magmaBuiltinFunction ProjectiveClosure ProjectiveClosureMap ProjectiveCover ProjectiveEmbedding ProjectiveFunction ProjectiveGammaLinearGroup syn keyword magmaBuiltinFunction ProjectiveGammaUnitaryGroup ProjectiveGeneralLinearGroup ProjectiveGeneralOrthogonalGroup ProjectiveGeneralOrthogonalGroupMinus ProjectiveGeneralOrthogonalGroupPlus ProjectiveGeneralUnitaryGroup syn keyword magmaBuiltinFunction ProjectiveMap ProjectiveModule ProjectiveOmega ProjectiveOmegaMinus ProjectiveOmegaPlus ProjectiveOrder syn keyword magmaBuiltinFunction ProjectivePlane ProjectiveRationalFunction ProjectiveResolution ProjectiveResolutionPGroup ProjectiveSigmaLinearGroup ProjectiveSigmaSymplecticGroup syn keyword magmaBuiltinFunction ProjectiveSigmaUnitaryGroup ProjectiveSpace ProjectiveSpecialLinearGroup ProjectiveSpecialOrthogonalGroup ProjectiveSpecialOrthogonalGroupMinus ProjectiveSpecialOrthogonalGroupPlus syn keyword magmaBuiltinFunction ProjectiveSpecialUnitaryGroup ProjectiveSuzukiGroup ProjectiveSymplecticGroup Projectivity Prune pSelmerGroup syn keyword magmaBuiltinFunction PseudoAdd PseudoAddMultiple PseudoBasis PseudoDimension PSeudoGenerators PseudoMatrix syn keyword magmaBuiltinFunction PseudoMordellWeilGroup PseudoRandom Pseudoreflection PseudoRemainder Psi PSigmaL syn keyword magmaBuiltinFunction PSigmaSp PSigmaU PSL PSO PSOMinus PSOPlus syn keyword magmaBuiltinFunction PSp PSU pSubalgebra PSz PuiseuxExpansion PuiseuxExponents syn keyword magmaBuiltinFunction PuiseuxExponentsCommon PuiseuxSeriesRing PuiseuxToParametrization Pullback PunctureCode PureBraidGroup syn keyword magmaBuiltinFunction PureLattice Pushforward Pushout PushThroughIsogeny Put Puts syn keyword magmaBuiltinFunction QECC QECCLowerBound QECCUpperBound qEigenform qExpansion qExpansionBasis syn keyword magmaBuiltinFunction qIntegralBasis QMatrix QRCode Qround QuadraticField QuadraticForm syn keyword magmaBuiltinFunction QuadraticForms QuadraticOrder QuadraticTransformation QuadraticTwist QuadraticTwists QuadricIntersection syn keyword magmaBuiltinFunction QuantizedUEA QuantizedUEAlgebra QuantizedUniversalEnvelopingAlgebra QuantumBasisElement QuantumBinaryErrorGroup QuantumCode syn keyword magmaBuiltinFunction QuantumCyclicCode QuantumErrorGroup QuantumQuasiCyclicCode QuantumState QuarticHSeminvariant QuarticIInvariant syn keyword magmaBuiltinFunction QuarticMinimise QuarticNumberOfRealRoots QuarticPSeminvariant QuarticQSeminvariant QuarticReduce QuarticRSeminvariant syn keyword magmaBuiltinFunction QuasiCyclicCode QuasiTwistedCyclicCode QuaternionAlgebra QuaternionicMatrixGroupDatabase QuaternionOrder QUAToIntegralUEAMap syn keyword magmaBuiltinFunction Quotient QuotientMap QuotientModule QuotientModuleAction QuotientModuleImage QuotientRelations syn keyword magmaBuiltinFunction QuotientRing Quotrem Radical RadicalDecomposition RadicalExtension RadicalQuotient syn keyword magmaBuiltinFunction RamificationDegree RamificationDivisor RamificationField RamificationGroup RamificationIndex RamifiedPlaces syn keyword magmaBuiltinFunction RamifiedPrimes Random RandomAdditiveCode RandomAutomorphism RandomBits RandomCFP syn keyword magmaBuiltinFunction RandomConsecutiveBits RandomCurveByGenus RandomDigraph RandomGenusOneModel RandomGLnZ RandomGraph syn keyword magmaBuiltinFunction RandomHookWalk RandomLinearCode RandomMatrix RandomModel RandomNodalCurve RandomOrdinaryPlaneCurve syn keyword magmaBuiltinFunction RandomPartition RandomPlace RandomPrime RandomPrimePolynomial RandomProcess RandomProcessWithValues syn keyword magmaBuiltinFunction RandomProcessWithWords RandomProcessWithWordsAndValues RandomQuantumCode RandomRightIdeal RandomSchreier RandomSequenceBlumBlumShub syn keyword magmaBuiltinFunction RandomSequenceRSA RandomSLnZ RandomSubcomplex RandomSymplecticMatrix RandomTableau RandomTransformation syn keyword magmaBuiltinFunction RandomTree RandomUnimodularMatrix RandomWord Rank RankBound RankBounds syn keyword magmaBuiltinFunction RanksOfPrimitiveIdempotents RationalCurve RationalCuspidalSubgroup RationalDifferentialField RationalExtensionRepresentation RationalField syn keyword magmaBuiltinFunction RationalForm RationalFunction RationalFunctionField RationalHomology RationalMap RationalMapping syn keyword magmaBuiltinFunction RationalMatrixGroupDatabase RationalPoint RationalPoints RationalPointsByFibration RationalReconstruction Rationals syn keyword magmaBuiltinFunction RationalSequence RationalSolutions RawBasket RayClassField RayClassGroup RayClassGroupDiscLog syn keyword magmaBuiltinFunction RayResidueRing Re Reachable Read ReadBinary ReadBytes syn keyword magmaBuiltinFunction Real RealField RealHomology RealInjection RealMatrix RealPeriod syn keyword magmaBuiltinFunction RealTamagawaNumber Realtime RealVectorSpace RealVolume ReciprocalPolynomial RecogniseAlternating syn keyword magmaBuiltinFunction RecogniseAlternatingOrSymmetric RecogniseClassical RecogniseRee RecogniseSymmetric RecogniseSz RecognizeClassical syn keyword magmaBuiltinFunction Rectify RedoEnumeration Reduce ReduceCharacters ReducedBasis ReducedDiscriminant syn keyword magmaBuiltinFunction ReducedForm ReducedForms ReducedGramMatrix ReducedLegendreModel ReducedLegendrePolynomial ReducedMinimalWeierstrassModel syn keyword magmaBuiltinFunction ReducedModel ReducedOrbits ReducedSubscheme ReduceGenerators ReduceGroebnerBasis ReduceQuadrics syn keyword magmaBuiltinFunction ReduceVector Reduction ReductionOrbit Reductions ReductionStep ReductionType syn keyword magmaBuiltinFunction ReductiveLieAlgebra ReductiveRank Reductum ReedMullerCode ReedSolomonCode ReeElementToWord syn keyword magmaBuiltinFunction ReeGroup ReeIrreducibleRepresentation ReeRecognition ReeSylow ReeSylowConjugacy RefineSection syn keyword magmaBuiltinFunction Reflection ReflectionGroup ReflectionMatrices ReflectionMatrix ReflectionPermutation ReflectionPermutations syn keyword magmaBuiltinFunction Reflections ReflectionSubgroup ReflectionWord ReflectionWords Regexp RegularLDPCEnsemble syn keyword magmaBuiltinFunction RegularRepresentation RegularSpliceDiagram RegularSubgroups Regulator RegulatorLowerBound RelationIdeal syn keyword magmaBuiltinFunction RelationMatrix Relations RelativeField RelativePrecision RelativeRank RelativeRootDatum syn keyword magmaBuiltinFunction RelativeRootElement RelativeRoots RelativeRootSpace Remove RemoveColumn RemoveConstraint syn keyword magmaBuiltinFunction RemoveEdge RemoveEdges RemoveFiles RemoveIrreducibles RemoveRow RemoveRowColumn syn keyword magmaBuiltinFunction RemoveVertex RemoveVertices RemoveWeight Rep RepetitionCode ReplacePrimes syn keyword magmaBuiltinFunction ReplaceRelation ReplicationNumber Representation RepresentationMatrix RepresentationNumber RepresentationType syn keyword magmaBuiltinFunction Representative RepresentativeCocycles RepresentativePoint Representatives ResetMaximumMemoryUsage ResetMinimumWeightBounds syn keyword magmaBuiltinFunction Residual Residue ResidueClassDegree ResidueClassField ResidueClassRing ResidueField syn keyword magmaBuiltinFunction ResidueSystem ResolutionData ResolutionGraph ResolutionGraphVertex RestrictDegree RestrictedPartitions syn keyword magmaBuiltinFunction RestrictedSubalgebra RestrictEndomorphism RestrictField Restriction RestrictionChainMap RestrictionData syn keyword magmaBuiltinFunction RestrictionMap RestrictionOfGenerators RestrictionToImage RestrictionToPatch RestrictPartitionLength RestrictParts syn keyword magmaBuiltinFunction RestrictResolution Resultant ResumeEnumeration Retrieve Reverse Reversion syn keyword magmaBuiltinFunction RevertClass Rewind Rewrite ReynoldsOperator RHS RiemannRochSpace syn keyword magmaBuiltinFunction RiemannZeta RightAction RightActionGenerator RightAnnihilator RightCosetSpace RightDescentSet syn keyword magmaBuiltinFunction RightExactExtension RightGcd RightGCD RightGreatestCommonDivisor RightIdeal RightIdealClasses syn keyword magmaBuiltinFunction RightInverse RightInverseMorphism RightIsomorphism RightLcm RightLCM RightLeastCommonMultiple syn keyword magmaBuiltinFunction RightMixedCanonicalForm RightNormalForm RightOrder RightRegularModule RightRepresentationMatrix RightString syn keyword magmaBuiltinFunction RightStringLength RightTransversal RightZeroExtension Ring RingGeneratedBy RingMap syn keyword magmaBuiltinFunction RingOfFractions RingOfIntegers RMatrixSpace RMatrixSpaceWithBasis RModule RModuleWithAction syn keyword magmaBuiltinFunction RModuleWithBasis RombergQuadrature Root RootAction RootClosure RootDatum syn keyword magmaBuiltinFunction RootGSet RootHeight RootImages RootLattice RootNorm RootNorms syn keyword magmaBuiltinFunction RootNumber RootOfUnity RootPermutation RootPosition Roots RootSide syn keyword magmaBuiltinFunction RootsInSplittingField RootsNonExact RootSpace RootSystem RootSystemMatrix RootVertex syn keyword magmaBuiltinFunction RosenhainInvariants Rotate RotateWord Round Row RowInsert syn keyword magmaBuiltinFunction RowLength RowNullSpace Rows RowSequence RowSkewLength RowSpace syn keyword magmaBuiltinFunction RowSubmatrix RowSubmatrixRange RowWeight RowWeights RowWord RSAModulus syn keyword magmaBuiltinFunction RSKCorrespondence RSpace RSpaceWithBasis RubinSilverbergPolynomials RuledSurface RWSGroup syn keyword magmaBuiltinFunction RWSMonoid SatisfiesSzPresentation Saturate Saturation ScalarMatrix ScaledIgusaInvariants syn keyword magmaBuiltinFunction ScaledLattice ScalingFactor Scheme SchreierGenerators SchreierGraph SchreierSystem syn keyword magmaBuiltinFunction SchreierVector SchreierVectors Schur SchurToElementaryMatrix SchurToHomogeneousMatrix SchurToMonomialMatrix syn keyword magmaBuiltinFunction SchurToPowerSumMatrix SClassGroup SClassGroupAbelianInvariants SClassGroupExactSequence SClassNumber SEA syn keyword magmaBuiltinFunction Search SearchEqual SearchForDecomposition SearchForIsomorphism SearchPGroups Sec syn keyword magmaBuiltinFunction SecantVariety Sech SecondaryInvariants SectionCentraliser SectionCentralizer Sections syn keyword magmaBuiltinFunction Seek Self SelfIntersections SelmerGroup Semidir SemiLinearGroup syn keyword magmaBuiltinFunction SemisimpleEFAModuleMaps SemisimpleEFAModules SemisimpleEFASeries SemisimpleGeneratorData SemisimpleLieAlgebra SemisimpleRank syn keyword magmaBuiltinFunction SemisimpleType SeparatingElement SeparationVertices Seq Seqelt SeqFact syn keyword magmaBuiltinFunction Seqint Seqlist Seqset SequenceOfRadicalGenerators SequenceToElement SequenceToFactorization syn keyword magmaBuiltinFunction SequenceToInteger SequenceToList SequenceToMultiset SequenceToSet SerreBound Set syn keyword magmaBuiltinFunction SetAllInvariantsOfDegree SetAssertions SetAttribute SetAutoColumns SetAutoCompact SetBeep syn keyword magmaBuiltinFunction SetBufferSize SetClassGroupBoundMaps SetClassGroupBounds SetColumns SetDebugOnError SetDefaultRealField syn keyword magmaBuiltinFunction SetDisplayLevel SetEchoInput SetElementPrintFormat SetEntry SetExtraspecialSigns SetForceCFP syn keyword magmaBuiltinFunction SetGlobalTCParameters SetHeckeBound SetHelpExternalBrowser SetHelpExternalSystem SetHelpUseExternalBrowser SetHelpUseExternalSystem syn keyword magmaBuiltinFunction SetHistorySize SetIgnorePrompt SetIgnoreSpaces SetIndent SetIntegerSolutionVariables SetKantPrecision syn keyword magmaBuiltinFunction SetKantPrinting SetLibraries SetLibraryRoot SetLineEditor SetLogFile SetLowerBound syn keyword magmaBuiltinFunction SetMaximiseFunction SetMemoryLimit SetObjectiveFunction SetOptions SetOrderMaximal SetOrderTorsionUnit syn keyword magmaBuiltinFunction SetOrderUnitsAreFundamental SetOutputFile SetPath SetPowerPrinting SetPrecision SetPresentation syn keyword magmaBuiltinFunction SetPreviousSize SetPrimitiveElement SetPrintKetsInteger SetPrintLevel SetProcessParameters SetProfile syn keyword magmaBuiltinFunction SetPrompt SetQuitOnError SetRows SetSeed Setseq SetsOfSingularPlaces syn keyword magmaBuiltinFunction SetToIndexedSet SetToMultiset SetToSequence SetTraceback SetUpperBound SetVerbose syn keyword magmaBuiltinFunction SetViMode Seysen SeysenGram SFA SFAElementary SFAHomogeneous syn keyword magmaBuiltinFunction SFAMonomial SFAPower SFASchur Shadow ShadowSpace Shape syn keyword magmaBuiltinFunction ShephardTodd Shift ShiftToDegreeZero ShiftValuation ShortBasis ShortCosets syn keyword magmaBuiltinFunction ShortenCode ShortestPath ShortestPaths ShortestVectors ShortestVectorsMatrix ShortVectors syn keyword magmaBuiltinFunction ShortVectorsMatrix ShortVectorsProcess ShowIdentifiers ShowMemoryUsage ShowOptions ShowPrevious syn keyword magmaBuiltinFunction ShowValues ShrikhandeGraph ShrinkingGenerator Sieve Sign Signature syn keyword magmaBuiltinFunction SignDecomposition SiksekBound SilvermanBound SimpleCanonicalDissidentPoints SimpleCohomologyDimensions SimpleCoreflectionMatrices syn keyword magmaBuiltinFunction SimpleCoroots SimpleEpimorphisms SimpleExtension SimpleGroupName SimpleGroupOfLieType SimpleHomologyDimensions syn keyword magmaBuiltinFunction SimpleLieAlgebra SimpleModule SimpleOrders SimpleQuotientAlgebras SimpleQuotientProcess SimpleQuotients syn keyword magmaBuiltinFunction SimpleReflectionMatrices SimpleReflectionPermutations SimpleReflections SimpleRelativeRoots SimpleRoots SimpleSubgroups syn keyword magmaBuiltinFunction Simplex SimplexCode SimplifiedModel Simplify SimplifyLength SimplifyPresentation syn keyword magmaBuiltinFunction SimpsonQuadrature SimsSchreier Sin Sincos SingerDifferenceSet SingletonAsymptoticBound syn keyword magmaBuiltinFunction SingletonBound SingularPoints SingularRank SingularSubscheme Sinh SIntegralDesbovesPoints syn keyword magmaBuiltinFunction SIntegralLjunggrenPoints SIntegralPoints SIntegralQuarticPoints Size SkewHadamardDatabase SkewShape syn keyword magmaBuiltinFunction SkewWeight Slope Slopes SLPGroup SmallerField SmallGroup syn keyword magmaBuiltinFunction SmallGroupDatabase SmallGroupDatabaseLimit SmallGroupDecoding SmallGroupEncoding SmallGroupIsInsoluble SmallGroupIsInsolvable syn keyword magmaBuiltinFunction SmallGroupIsSoluble SmallGroupIsSolvable SmallGroupProcess SmallGroups SmallPeriodMatrix SmallRoots syn keyword magmaBuiltinFunction SmithForm Socket SocketInformation Socle SocleAction SocleFactor syn keyword magmaBuiltinFunction SocleFactors SocleImage SocleKernel SocleQuotient SocleSeries SolubleQuotient syn keyword magmaBuiltinFunction SolubleQuotientProcess SolubleRadical SolubleResidual SolubleSchreier SolubleSubgroups Solution syn keyword magmaBuiltinFunction Solutions SolvableQuotient SolvableRadical SolvableResidual SolvableSchreier SolvableSubgroups syn keyword magmaBuiltinFunction Sort SortDecomposition SpaceOfDifferentialsFirstKind SpaceOfHolomorphicDifferentials SpanningForest SpanningTree syn keyword magmaBuiltinFunction SparseIrreducibleRootDatum SparseMatrix SparseRootDatum SparseStandardRootDatum Spec SpecialLieAlgebra syn keyword magmaBuiltinFunction SpecialLinearGroup SpecialOrthogonalGroup SpecialOrthogonalGroupMinus SpecialOrthogonalGroupPlus SpecialPresentation SpecialUnitaryGroup syn keyword magmaBuiltinFunction SpecialWeights Spectrum Sphere SpherePackingBound SpinorCharacters SpinorGenera syn keyword magmaBuiltinFunction SpinorGenerators SpinorGenus SpinorRepresentatives Splice SpliceDiagram SpliceDiagramVertex syn keyword magmaBuiltinFunction Split SplitAbelianSection SplitCollector Splitcomponents SplitElementaryAbelianSection SplitExtension syn keyword magmaBuiltinFunction SplitExtensionSpace SplitSection SplittingField SPolynomial SPrincipalDivisorMap Sprint syn keyword magmaBuiltinFunction Sprintf Sqrt Squarefree SquarefreeFactorization SquareFreeFactorization SquarefreePart syn keyword magmaBuiltinFunction SquarefreePartialFractionDecomposition SquareLatticeGraph SquareRoot SQUFOF SRegulator SrivastavaCode syn keyword magmaBuiltinFunction StabiliserCode StabiliserGroup StabiliserMatrix StabiliserOfSpaces Stabilizer StabilizerCode syn keyword magmaBuiltinFunction StabilizerGroup StabilizerLadder StabilizerMatrix StandardAction StandardActionGroup StandardForm syn keyword magmaBuiltinFunction StandardFormConjugationMatrices StandardGraph StandardGroup StandardLattice StandardMaximalTorus StandardParabolicSubgroup syn keyword magmaBuiltinFunction StandardPresentation StandardRepresentation StandardRootDatum StandardRootSystem StandardTableaux StandardTableauxOfWeight syn keyword magmaBuiltinFunction StarInvolution StartEnumeration StartNewClass Stauduhar SteenrodOperation SteinitzClass syn keyword magmaBuiltinFunction SteinitzForm SternsAttack StirlingFirst StirlingSecond StringToCode StringToInteger syn keyword magmaBuiltinFunction StringToIntegerSequence Strip StrongApproximation StrongGenerators StronglyConnectedComponents StronglyRegularGraphsDatabase syn keyword magmaBuiltinFunction StructureConstant StructureConstants SubalgebraModule SubcanonicalCurve Subcode SubcodeBetweenCode syn keyword magmaBuiltinFunction SubcodeWordsOfWeight SubfieldCode SubfieldLattice SubfieldRepresentationCode SubfieldRepresentationParityCode Subfields syn keyword magmaBuiltinFunction SubfieldSubcode SubfieldSubplane Subgroup SubgroupClasses SubgroupLattice SubgroupOfTorus syn keyword magmaBuiltinFunction Subgroups SubgroupScheme SubgroupsLift Sublattices Submatrix SubmatrixRange syn keyword magmaBuiltinFunction Submodule SubmoduleAction SubmoduleImage SubmoduleLattice SubmoduleLatticeAbort Submodules syn keyword magmaBuiltinFunction SubnormalSeries SubOrder Subring Subsequences Subsets Substitute syn keyword magmaBuiltinFunction Substring SubsystemSubgroup Subword SuccessiveMinima SuggestedPrecision Sum syn keyword magmaBuiltinFunction SumNorm SumOf SumOfDivisors SumOfImages SumOfMorphismImages SUnitAction syn keyword magmaBuiltinFunction SUnitDiscLog SUnitGroup SuperScheme SupersingularEllipticCurve SupersingularModule SuperSummitCanonicalLength syn keyword magmaBuiltinFunction SuperSummitInfimum SuperSummitProcess SuperSummitRepresentative SuperSummitSet SuperSummitSupremum Supplements syn keyword magmaBuiltinFunction Support Supremum SurjectivePart SuzukiGroup SuzukiIrreducibleRepresentation SuzukiSylow syn keyword magmaBuiltinFunction SuzukiSylowConjugacy SVPermutation SVWord SwapColumns SwapRows SwinnertonDyerPolynomial syn keyword magmaBuiltinFunction Switch Sylow SylowBasis SylowConjClassical SylowSubgroup Sym syn keyword magmaBuiltinFunction SymmetricBilinearForm SymmetricCharacter SymmetricCharacterTable SymmetricCharacterValue SymmetricComponents SymmetricForms syn keyword magmaBuiltinFunction SymmetricFunctionAlgebra SymmetricFunctionAlgebraElementary SymmetricFunctionAlgebraHomogeneous SymmetricFunctionAlgebraMonomial SymmetricFunctionAlgebraPower SymmetricFunctionAlgebraSchur syn keyword magmaBuiltinFunction SymmetricGroup SymmetricMatrix SymmetricNormaliser SymmetricNormalizer SymmetricPower SymmetricRepresentation syn keyword magmaBuiltinFunction SymmetricRepresentationOrthogonal SymmetricRepresentationSeminormal SymmetricSquare SymmetricWeightEnumerator Symmetrization SymplecticComponent syn keyword magmaBuiltinFunction SymplecticComponents SymplecticDual SymplecticForm SymplecticGroup SymplecticInnerProduct Syndrome syn keyword magmaBuiltinFunction SyndromeSpace System SystemNormaliser SystemNormalizer SystemOfEigenvalues SyzygyMatrix syn keyword magmaBuiltinFunction SyzygyModule SzElementToWord Tableau TableauIntegerMonoid TableauMonoid Tableaux syn keyword magmaBuiltinFunction TableauxOfShape TableauxOnShapeWithContent TableauxWithContent Tails TamagawaNumber TamagawaNumbers syn keyword magmaBuiltinFunction TameOrder Tan Tangent TangentCone TangentLine TangentSpace syn keyword magmaBuiltinFunction TangentVariety Tanh TannerGraph TateLichtenbaumPairing TeichmuellerSystem Tell syn keyword magmaBuiltinFunction Tempname TensorBasis TensorFactors TensorInducedAction TensorInducedBasis TensorInducedPermutations syn keyword magmaBuiltinFunction TensorPower TensorProduct TensorWreathProduct Term TerminalIndex TerminalPolarisation syn keyword magmaBuiltinFunction TerminalVertex Terms Theta ThetaOperator ThetaSeries ThreeDescent syn keyword magmaBuiltinFunction ThreeDescentCubic ThreeIsogenyDescent ThreeIsogenyDescentCubic ThreeIsogenySelmerGroups ThreeSelmerElement ThreeSelmerGroup syn keyword magmaBuiltinFunction ThreeTorsionMatrices ThreeTorsionPoints ThreeTorsionType Thue TietzeProcess ToAnalyticJacobian syn keyword magmaBuiltinFunction ToddCoxeter ToddCoxeterSchreier Top TopQuotients ToralRootDatum ToralRootSystem syn keyword magmaBuiltinFunction TorsionBound TorsionFreeRank TorsionFreeSubgroup TorsionInvariants TorsionLowerBound TorsionMultiple syn keyword magmaBuiltinFunction TorsionSubgroup TorsionSubgroupScheme TorsionUnitGroup TorusTerm TotalDegree TotalLinking syn keyword magmaBuiltinFunction TotallyRamifiedExtension TotalNumberOfCosets Trace TraceAbs Traceback TraceInnerProduct syn keyword magmaBuiltinFunction TraceMatrix TraceOfFrobenius TracesOfFrobenius TraceZeroSubspace TrailingCoefficient TrailingTerm syn keyword magmaBuiltinFunction Transformation TransformationMatrix TransformForm TransitiveGroup TransitiveGroupDatabaseLimit TransitiveGroupDescription syn keyword magmaBuiltinFunction TransitiveGroupIdentification TransitiveGroupProcess TransitiveGroups TransitiveQuotient Transitivity Translation syn keyword magmaBuiltinFunction TranslationMap TranslationOfSimplex TranslationToInfinity Transport Transpose Transversal syn keyword magmaBuiltinFunction TransversalElt TransversalProcess TransversalProcessNext TransversalProcessRemaining TransverseIndex TransverseIntersections syn keyword magmaBuiltinFunction TransverseType TrapezoidalQuadrature TrialDivision TriangularDecomposition TriangularGraph TrivialModule syn keyword magmaBuiltinFunction TrivialOneCocycle TrivialRootDatum TrivialRootSystem Truncate Truncation TupleToList syn keyword magmaBuiltinFunction Tuplist TwistedCartanName TwistedGroup TwistedGroupOfLieType TwistedQRCode TwistedRootDatum syn keyword magmaBuiltinFunction TwistedTori TwistedToriOrders TwistedTorus TwistedTorusOrder TwistedWindingElement TwistedWindingSubmodule syn keyword magmaBuiltinFunction TwistingDegree Twists TwoCocycle TwoCoverPullback TwoDescent TwoElement syn keyword magmaBuiltinFunction TwoElementNormal TwoGenerators TwoGenus TwoIsogeny TwoSelmerGroup TwoSidedIdealClasses syn keyword magmaBuiltinFunction TwoTorsionPolynomial TwoTorsionSubgroup TwoTransitiveGroupIdentification Type Types UltraSummitProcess syn keyword magmaBuiltinFunction UltraSummitRepresentative UltraSummitSet UncapacitatedGraph Undefine UnderlyingDigraph UnderlyingElement syn keyword magmaBuiltinFunction UnderlyingField UnderlyingGraph UnderlyingMultiDigraph UnderlyingMultiGraph UnderlyingNetwork UnderlyingRing syn keyword magmaBuiltinFunction UnderlyingVertex Ungetc UniformizingElement UniformizingParameter Union UnipotentStabiliser syn keyword magmaBuiltinFunction UnitalFeet UnitaryForm UnitEquation UnitGroup UnitGroupGenerators UnitRank syn keyword magmaBuiltinFunction Units Unity UnivariateEliminationIdealGenerator UnivariateEliminationIdealGenerators UnivariatePolynomial UniversalEnvelopingAlgebra syn keyword magmaBuiltinFunction UniversalMap UniversalPropertyOfCokernel Universe UniverseCode UnlabelledCayleyGraph UnlabelledGraph syn keyword magmaBuiltinFunction UnlabelledSchreierGraph UnramifiedExtension UnramifiedQuotientRing UnsetBounds UnsetGlobalTCParameters UnsetLogFile syn keyword magmaBuiltinFunction UnsetOutputFile UntwistedOvergroup UntwistedRootDatum UnweightedGraph UpdateHadamardDatabase UpperCentralSeries syn keyword magmaBuiltinFunction UpperHalfPlaneWithCusps UpperTriangularMatrix UserGenerators UserRepresentation UsesBrandt UsesMestre syn keyword magmaBuiltinFunction UseTwistedHopfStructure Valence Valency ValidateCryptographicCurve Valuation ValuationRing syn keyword magmaBuiltinFunction ValuationsOfRoots VanLintBound VariableExtension VariableWeights Variety VarietySequence syn keyword magmaBuiltinFunction VarietySizeOverAlgebraicClosure Vector VectorSpace VectorSpaceWithBasis Verify VerifyMinimumDistanceLowerBound syn keyword magmaBuiltinFunction VerifyMinimumDistanceUpperBound VerifyMinimumWeightUpperBound VerschiebungImage VerschiebungMap Vertex VertexConnectivity syn keyword magmaBuiltinFunction VertexLabels VertexPath VertexSeparator VertexSet VerticalJoin Vertices syn keyword magmaBuiltinFunction Voronoi VoronoiCell VoronoiGraph WaitForConnection WeakDegree WeakOrder syn keyword magmaBuiltinFunction WeberClassPolynomial WeberF WeberToHilbertClassPolynomial WeierstrassForm WeierstrassModel WeierstrassPlaces syn keyword magmaBuiltinFunction WeierstrassPoints WeierstrassSeries Weight WeightClass WeightDistribution WeightedDegree syn keyword magmaBuiltinFunction WeightEnumerator WeightLattice WeightOrbit Weights WeightsAndVectors WeightSequence syn keyword magmaBuiltinFunction WeightVectors WeilDescent WeilDescentDegree WeilDescentGenus WeilHeight WeilPairing syn keyword magmaBuiltinFunction WeilRestriction WeylGroup WeylWord Widths WindingElement WindingLattice syn keyword magmaBuiltinFunction WindingSubmodule WittDesign WittLieAlgebra WittRing Word WordGroup syn keyword magmaBuiltinFunction WordInStrongGenerators WordProblem WordProblemData Words WordsOfBoundedLeeWeight WordsOfBoundedWeight syn keyword magmaBuiltinFunction WordsOfLeeWeight WordStrip WordToSequence WordToTableau WreathProduct Write syn keyword magmaBuiltinFunction WriteBinary WriteBytes WriteHadamardDatabase WriteOverLargerField WriteOverSmallerField WriteRawHadamardData syn keyword magmaBuiltinFunction WronskianDeterminant WronskianMatrix WronskianOrders Xgcd XGCD Xor syn keyword magmaBuiltinFunction YoungSubgroup YoungSubgroupLadder ZBasis Zero ZeroChainMap ZeroCocycle syn keyword magmaBuiltinFunction ZeroCode ZeroComplex Zeroes ZeroExtension ZeroGammaOrbitsOnRoots ZeroMap syn keyword magmaBuiltinFunction ZeroMatrix ZeroModularAbelianVariety ZeroModule ZeroRootLattice ZeroRootSpace Zeros syn keyword magmaBuiltinFunction ZeroSubgroup ZeroSubspace ZeroSubvariety ZeroSumCode ZetaFunction ZetaFunctionsByDeformation syn keyword magmaBuiltinFunction ZinovievCode " Define Operators. syn keyword magmaOperator mod not eq gt lt syn match magmaOperator "[-+*/&]" syn match magmaOperator "\.\." " We won't map "magmaAssignment" by default, but we need to map ":=" to " something or the "=" inside it will be mislabelled as an operator. " Note that in Magma, assignment (:=) is not considered an operator. syn match magmaAssignment ":=" " Numbers, including floating point, exponents, and alternate bases. syn match magmaNumber "\<\d[0-9_]*\(\.\d[0-9_]*\)\=\([Ee][+-]\=\d[0-9_]*\)\=\>" syn match magmaNumber "\<\d\d\=#\x[0-9A-Fa-f_]*\(\.\x[0-9A-Fa-f_]*\)\=#\([Ee][+-]\=\d[0-9_]*\)\=" " Identify leading numeric signs. In "A-5" the "-" is an operator, " but in "A:=-5" the "-" is a sign. This handles "A3+-5" (etc.) correctly. " This assumes that if you put a don't put a space after +/- when it's used " as an operator, you won't put a space before it either -- which is true " in code I've seen. syn match magmaSign "[[:space:]<>=(,|:;&*/+-][+-]\d"lc=1,hs=s+1,he=e-1,me=e-1 " Boolean Constants. syn keyword magmaBoolean true false " Warn people who try to use C/C++ notation erroneously: syn match magmaError "==" syn match magmaError "=" syn match magmaError "%" syn region magmaComment oneline contains=magmaTodo start="//" end="$" syn region magmaComment contains=magmaTodo start="/\*" end="\*/" " Repeats. syn keyword magmaRepeat repeat for while until syn match magmaRepeat "\" " Keywords. syn keyword magmaKeyword return " Conditionals. syn match magmaConditional "\" syn match magmaConditional "\" syn match magmaConditional "\" syn match magmaConditional "\" syn keyword magmaConditional if case " These keywords begin various constructs, and you _might_ want to " highlight them differently. syn keyword magmaBegin begin function procedure " String and character constants. syn region magmaString start=+L\="+ skip=+\\\\\|\\"+ end=+"+ syn match magmaCharacter "'.'" " Todo (only highlighted in comments) syn keyword magmaTodo contained TODO FIXME HACK " Comments. " syn region magmaComment oneline contains=magmaTodo start="/*" end="*/" " syn region magmaComment oneline contains=magmaTodo start="//" end="\n" if version >= 508 || !exists("did_ada_syn_inits") if version < 508 command -nargs=+ HiLink hi link else command -nargs=+ HiLink hi def link endif " The default methods for highlighting. Can be overridden later. HiLink magmaBoolean Boolean HiLink magmaBuiltinFunction Special HiLink magmaCharacter Character HiLink magmaComment Comment HiLink magmaConditional Conditional HiLink magmaKeyword Keyword HiLink magmaNumber Number HiLink magmaSign Number HiLink magmaOperator Operator HiLink magmaRepeat Repeat HiLink magmaSpecial Special HiLink magmaStatement Statement HiLink magmaString String HiLink magmaStructure Structure HiLink magmaTodo Todo HiLink magmaType Type HiLink magmaTypedef Typedef HiLink magmaError Error HiLink magmaStorageClass StorageClass HiLink magmaInc Include HiLink magmaBegin Keyword HiLink magmaEnd Keyword delcommand HiLink endif let b:current_syntax = "magma" " vim: ts=8