Skip to content

Instantly share code, notes, and snippets.

@vermiculus
Created April 18, 2016 20:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vermiculus/e1eaa4f32fdb031dc0406d17ceb9cc39 to your computer and use it in GitHub Desktop.
Save vermiculus/e1eaa4f32fdb031dc0406d17ceb9cc39 to your computer and use it in GitHub Desktop.
(defvar M2-symbols '(
"abs"
"AbsoluteLinks"
"accumulate"
"acos"
"acosh"
"acot"
"addCancelTask"
"addDependencyTask"
"addEndFunction"
"addHook"
"addStartFunction"
"addStartTask"
"Adjacent"
"adjoint"
"AdjointIdeal"
"AffineVariety"
"AfterEval"
"AfterNoPrint"
"AfterPrint"
"agm"
"alarm"
"Algorithm"
"Alignment"
"all"
"AllCodimensions"
"allowableThreads"
"ambient"
"analyticSpread"
"Analyzer"
"ancestor"
"ancestors"
"ANCHOR"
"and"
"andP"
"ann"
"annihilator"
"any"
"append"
"applicationDirectory"
"applicationDirectorySuffix"
"apply"
"applyKeys"
"applyPairs"
"applyTable"
"applyValues"
"apropos"
"argument"
"Array"
"Ascending"
"ascii"
"asin"
"asinh"
"ass"
"assert"
"associatedGradedRing"
"associatedPrimes"
"AssociativeExpression"
"atan"
"atEndOfFile"
"Authors"
"autoload"
"AuxiliaryFiles"
"backtrace"
"backupFileRegexp"
"Bag"
"Bareiss"
"baseFilename"
"BaseFunction"
"baseName"
"baseRings"
"BaseRow"
"BasicList"
"basis"
"BasisElementLimit"
"Bayer"
"BeforePrint"
"beginDocumentation"
"Benchmark"
"benchmark"
"BesselJ"
"BesselY"
"betti"
"BettiTally"
"between"
"BGG"
"BIBasis"
"Binary"
"BinaryOperation"
"Binomial"
"binomial"
"Binomials"
"BKZ"
"BLOCKQUOTE"
"BODY"
"BoijSoederberg"
"BOLD"
"Boolean"
"BooleanGB"
"borel"
"Boxes"
"BR"
"break"
"Browse"
"Bruns"
"cache"
"CacheExampleOutput"
"CacheFunction"
"CacheTable"
"cacheValue"
"CallLimit"
"cancelTask"
"capture"
"catch"
"Caveat"
"CC"
"CDATA"
"ceiling"
"Center"
"centerString"
"Certification"
"ChainComplex"
"chainComplex"
"ChainComplexExtras"
"ChainComplexMap"
"ChangeMatrix"
"char"
"CharacteristicClasses"
"characters"
"charAnalyzer"
"check"
"CheckDocumentation"
"chi"
"class"
"Classic"
"clean"
"clearAll"
"clearEcho"
"clearOutput"
"close"
"closeIn"
"closeOut"
"ClosestFit"
"CODE"
"code"
"codim"
"CodimensionLimit"
"coefficient"
"CoefficientRing"
"coefficientRing"
"coefficients"
"Cofactor"
"CohenEngine"
"CohenTopLevel"
"CoherentSheaf"
"cohomology"
"coimage"
"coker"
"cokernel"
"collectGarbage"
"columnAdd"
"columnate"
"columnMult"
"columnPermute"
"columnSwap"
"combine"
"Command"
"commandInterpreter"
"commandLine"
"COMMENT"
"commonest"
"commonRing"
"comodule"
"compactMatrixForm"
"CompiledFunction"
"CompiledFunctionBody"
"CompiledFunctionClosure"
"Complement"
"complement"
"complete"
"CompleteIntersection"
"ComplexField"
"components"
"compositions"
"compress"
"concatenate"
"conductor"
"ConductorElement"
"cone"
"Configuration"
"conjugate"
"connectionCount"
"Consequences"
"Constant"
"Constants"
"constParser"
"content"
"continue"
"contract"
"ConvexInterface"
"conwayPolynomial"
"ConwayPolynomials"
"copy"
"copyDirectory"
"copyFile"
"copyright"
"Core"
"cos"
"cosh"
"cot"
"cotangentSheaf"
"coth"
"cover"
"coverMap"
"cpuTime"
"createTask"
"csc"
"csch"
"current"
"currentDirectory"
"currentFileDirectory"
"currentFileName"
"currentLayout"
"currentLineNumber"
"currentPackage"
"currentString"
"currentTime"
"CurrentVersion"
"Cyclotomic"
"Database"
"Date"
"DD"
"dd"
"deadParser"
"debug"
"debugError"
"DebuggingMode"
"debuggingMode"
"debugLevel"
"Decompose"
"decompose"
"deepSplice"
"default"
"defaultPrecision"
"Degree"
"degree"
"degreeLength"
"DegreeLift"
"DegreeLimit"
"DegreeMap"
"DegreeOrder"
"DegreeRank"
"Degrees"
"degrees"
"degreesMonoid"
"degreesRing"
"delete"
"demark"
"denominator"
"Dense"
"Density"
"Depth"
"depth"
"Descending"
"Descent"
"describe"
"Description"
"det"
"determinant"
"DGAlgebras"
"diagonalMatrix"
"Dictionary"
"dictionary"
"dictionaryPath"
"diff"
"difference"
"dim"
"directSum"
"disassemble"
"discriminant"
"dismiss"
"Dispatch"
"distinguished"
"distinguishedAndMult"
"DIV"
"Divide"
"divideByVariable"
"DivideConquer"
"DL"
"Dmodules"
"do"
"doc"
"docExample"
"docTemplate"
"document"
"DocumentTag"
"Down"
"drop"
"DT"
"dual"
"dumpdata"
"eagonNorthcott"
"echoOff"
"echoOn"
"EdgeIdeals"
"edit"
"eigenvalues"
"eigenvectors"
"eint"
"EisenbudHunekeVasconcelos"
"elements"
"Eliminate"
"eliminate"
"Elimination"
"else"
"EM"
"Email"
"encapDirectory"
"Encapsulate"
"EncapsulateDirectory"
"End"
"end"
"endl"
"endPackage"
"Engine"
"engineDebugLevel"
"EngineRing"
"entries"
"environment"
"Equation"
"erase"
"erf"
"erfc"
"error"
"errorDepth"
"euler"
"EulerConstant"
"eulers"
"even"
"EXAMPLE"
"ExampleItem"
"examples"
"Exclude"
"exec"
"exit"
"exp"
"exponents"
"export"
"exportFrom"
"exportMutable"
"Expression"
"expression"
"Ext"
"extend"
"exteriorPower"
"factor"
"false"
"Fano"
"File"
"fileDictionaries"
"fileExists"
"fileExitHooks"
"fileLength"
"fileMode"
"FileName"
"FilePosition"
"fileTime"
"fillMatrix"
"findFiles"
"findHeft"
"FindOne"
"findSynonyms"
"First"
"first"
"firstkey"
"FirstPackage"
"fittingIdeal"
"flagLookup"
"FlatMonoid"
"flatten"
"flattenRing"
"Flexible"
"flip"
"floor"
"flush"
"fold"
"FollowLinks"
"for"
"forceGB"
"ForestNode"
"fork"
"FormalGroupLaws"
"Format"
"format"
"FourierMotzkin"
"FourTiTwo"
"frac"
"fraction"
"FractionField"
"frames"
"from"
"fromDual"
"Function"
"FunctionApplication"
"FunctionBody"
"functionBody"
"FunctionClosure"
"futureParser"
"GaloisField"
"Gamma"
"gb"
"GBDegrees"
"gbRemove"
"gbSnapshot"
"gbTrace"
"gcd"
"gcdCoefficients"
"gcdLLL"
"genera"
"GeneralOrderedMonoid"
"GenerateAssertions"
"generateAssertions"
"generator"
"generators"
"Generic"
"GenericInitialIdeal"
"genericMatrix"
"genericSkewMatrix"
"genericSymmetricMatrix"
"gens"
"genus"
"get"
"getc"
"getChangeMatrix"
"getenv"
"getGlobalSymbol"
"getNetFile"
"getNonUnit"
"getPackage"
"getSymbol"
"getWWW"
"GF"
"gfanInterface"
"Givens"
"GLex"
"Global"
"global"
"globalAssign"
"globalAssignFunction"
"GlobalAssignHook"
"globalAssignment"
"globalAssignmentHooks"
"GlobalDictionary"
"globalReleaseFunction"
"GlobalReleaseHook"
"GradedModule"
"gradedModule"
"GradedModuleMap"
"gradedModuleMap"
"gramm"
"GraphicalModels"
"Graphics"
"graphIdeal"
"graphRing"
"Graphs"
"Grassmannian"
"GRevLex"
"GroebnerBasis"
"groebnerBasis"
"GroebnerBasisOptions"
"groupID"
"GroupLex"
"GroupRevLex"
"GTZ"
"handleInterrupts"
"HardDegreeLimit"
"hash"
"HashTable"
"hashTable"
"HEAD"
"HeaderType"
"Heading"
"Headline"
"Heft"
"heft"
"Height"
"height"
"help"
"Hermite"
"hermite"
"Hermitian"
"HH"
"hh"
"Hilbert"
"hilbertFunction"
"hilbertPolynomial"
"hilbertSeries"
"HodgeIntegrals"
"hold"
"Holder"
"Hom"
"homeDirectory"
"HomePage"
"Homogeneous"
"homogenize"
"homology"
"homomorphism"
"horizontalJoin"
"HorizontalSpace"
"HR"
"HREF"
"HTML"
"html"
"httpHeaders"
"Hybrid"
"HyperplaneArrangements"
"Hypertext"
"hypertext"
"HypertextContainer"
"HypertextParagraph"
"icFracP"
"icFractions"
"icMap"
"icPIdeal"
"id"
"Ideal"
"ideal"
"idealizer"
"identity"
"if"
"IgnoreExampleErrors"
"ii"
"image"
"imaginaryPart"
"IMG"
"ImmutableType"
"in"
"incomparable"
"Increment"
"independentSets"
"indeterminate"
"IndeterminateNumber"
"Index"
"index"
"indexComponents"
"IndexedVariable"
"IndexedVariableTable"
"indices"
"inducedMap"
"inducesWellDefinedMap"
"InexactField"
"InexactFieldFamily"
"InexactNumber"
"InfiniteNumber"
"infinity"
"info"
"InfoDirSection"
"infoHelp"
"Inhomogeneous"
"input"
"Inputs"
"insert"
"installAssignmentMethod"
"installHilbertFunction"
"installMethod"
"installPackage"
"InstallPrefix"
"instance"
"instances"
"IntegralClosure"
"integralClosure"
"integrate"
"IntermediateMarkUpType"
"interpreterDepth"
"intersect"
"Intersection"
"inverse"
"InverseMethod"
"inversePermutation"
"Inverses"
"InvolutiveBases"
"irreducibleCharacteristicSeries"
"irreducibleDecomposition"
"isAffineRing"
"isANumber"
"isBorel"
"isCommutative"
"isConstant"
"isDirectory"
"isDirectSum"
"isField"
"isFinite"
"isFreeModule"
"isGlobalSymbol"
"isHomogeneous"
"isIdeal"
"isInfinite"
"isInjective"
"isInputFile"
"isIsomorphism"
"isLinearType"
"isListener"
"isLLL"
"isModule"
"isMonomialIdeal"
"isNormal"
"isOpen"
"isOutputFile"
"isPolynomialRing"
"isPrimary"
"isPrime"
"isPrimitive"
"isPseudoprime"
"isQuotientModule"
"isQuotientOf"
"isQuotientRing"
"isReady"
"isReal"
"isReduction"
"isRegularFile"
"isRing"
"isSkewCommutative"
"isSorted"
"isSquareFree"
"isSubmodule"
"isSubquotient"
"isSubset"
"isSurjective"
"isTable"
"isUnit"
"isWellDefined"
"ITALIC"
"Iterate"
"jacobian"
"Join"
"join"
"Keep"
"KeepZeroes"
"ker"
"kernel"
"kernelLLL"
"Key"
"keys"
"Keyword"
"kill"
"koszul"
"Kronecker"
"KustinMiller"
"LABEL"
"last"
"lastMatch"
"LATER"
"Layout"
"lcm"
"leadCoefficient"
"leadComponent"
"leadMonomial"
"leadTerm"
"Left"
"length"
"LengthLimit"
"letterParser"
"Lex"
"LexIdeals"
"LI"
"lift"
"liftable"
"Limit"
"limitFiles"
"limitProcesses"
"Linear"
"LinearAlgebra"
"lineNumber"
"lines"
"LINK"
"linkFile"
"List"
"list"
"listForm"
"listLocalSymbols"
"listSymbols"
"listUserSymbols"
"LITERAL"
"LLL"
"LLLBases"
"lngamma"
"load"
"loaddata"
"loadDepth"
"LoadDocumentation"
"loadedFiles"
"loadedPackages"
"loadPackage"
"Local"
"local"
"localDictionaries"
"LocalDictionary"
"localize"
"LocalRings"
"locate"
"log"
"LongPolynomial"
"lookup"
"lookupCount"
"LowerBound"
"LUdecomposition"
"makeDirectory"
"MakeDocumentation"
"makeDocumentTag"
"MakeInfo"
"MakeLinks"
"makePackageIndex"
"Manipulator"
"map"
"MapleInterface"
"markedGB"
"Markov"
"MarkUpType"
"MarkUpTypeWithOptions"
"match"
"mathML"
"Matrix"
"matrix"
"MatrixExpression"
"max"
"maxAllowableThreads"
"maxExponent"
"MaximalRank"
"maxPosition"
"MaxReductionCount"
"member"
"memoize"
"MENU"
"merge"
"mergePairs"
"META"
"method"
"MethodFunction"
"MethodFunctionWithOptions"
"methodOptions"
"methods"
"min"
"minExponent"
"mingens"
"mingle"
"MinimalGenerators"
"MinimalMatrix"
"minimalPresentation"
"minimalPresentationMap"
"minimalPresentationMapInv"
"minimalPrimes"
"minimalReduction"
"Minimize"
"minimizeFilename"
"minors"
"minPosition"
"minPres"
"Minus"
"minus"
"mkdir"
"mod"
"Module"
"module"
"ModuleDeformations"
"ModuleMap"
"modulo"
"Monoid"
"monoid"
"MonoidElement"
"Monomial"
"MonomialAlgebras"
"monomialCurveIdeal"
"MonomialIdeal"
"monomialIdeal"
"MonomialMultiplierIdeals"
"MonomialOrder"
"Monomials"
"monomials"
"MonomialSize"
"monomialSubideal"
"moveFile"
"multidegree"
"multidoc"
"multiplicity"
"mutable"
"MutableHashTable"
"mutableIdentity"
"MutableList"
"MutableMatrix"
"mutableMatrix"
"NAGtypes"
"Name"
"Nauty"
"NautyGraphs"
"NCLex"
"needs"
"needsPackage"
"Net"
"net"
"NetFile"
"netList"
"new"
"newClass"
"newCoordinateSystem"
"NewFromMethod"
"newline"
"NewMethod"
"newNetFile"
"NewOfFromMethod"
"NewOfMethod"
"newPackage"
"newRing"
"nextkey"
"nil"
"NNParser"
"NoetherNormalization"
"NonAssociativeProduct"
"nonspaceAnalyzer"
"NoPrint"
"norm"
"normalCone"
"Normaliz"
"NormalToricVarieties"
"not"
"Nothing"
"notify"
"notImplemented"
"NTL"
"null"
"nullaryMethods"
"nullhomotopy"
"nullParser"
"Number"
"number"
"numcols"
"numColumns"
"numerator"
"numeric"
"NumericalAlgebraicGeometry"
"numgens"
"numRows"
"numrows"
"odd"
"of"
"ofClass"
"on"
"OneExpression"
"OO"
"oo"
"ooo"
"oooo"
"openDatabase"
"openDatabaseOut"
"openFiles"
"openIn"
"openInOut"
"openListener"
"OpenMath"
"openOut"
"openOutAppend"
"operatorAttributes"
"Option"
"optionalSignParser"
"Options"
"options"
"OptionTable"
"optP"
"or"
"Order"
"order"
"OrderedMonoid"
"orP"
"OutputDictionary"
"Outputs"
"override"
"pack"
"Package"
"package"
"PackageDictionary"
"PackageExports"
"PackageImports"
"PackagePrefix"
"PackageTemplate"
"packageTemplate"
"pad"
"pager"
"PairLimit"
"pairs"
"PairsRemaining"
"PARA"
"Parametrization"
"parent"
"Parenthesize"
"Parser"
"Parsing"
"part"
"Partition"
"partition"
"partitions"
"parts"
"path"
"pdim"
"peek"
"permanents"
"permutations"
"pfaffians"
"PHCpack"
"pi"
"PieriMaps"
"pivots"
"plus"
"poincare"
"poincareN"
"Points"
"poly"
"Polyhedra"
"Polymake"
"PolynomialRing"
"Posets"
"Position"
"position"
"positions"
"Postfix"
"Power"
"power"
"powermod"
"PRE"
"Precision"
"precision"
"Prefix"
"prefixDirectory"
"prefixPath"
"preimage"
"prepend"
"presentation"
"pretty"
"primaryComponent"
"PrimaryDecomposition"
"primaryDecomposition"
"PrimaryTag"
"PrimitiveElement"
"Print"
"print"
"printingAccuracy"
"printingLeadLimit"
"printingPrecision"
"printingSeparator"
"printingTimeLimit"
"printingTrailLimit"
"printString"
"printWidth"
"processID"
"Product"
"product"
"ProductOrder"
"profile"
"profileSummary"
"Proj"
"Projective"
"ProjectiveHilbertPolynomial"
"projectiveHilbertPolynomial"
"ProjectiveVariety"
"promote"
"protect"
"Prune"
"prune"
"pruningMap"
"Pseudocode"
"pseudocode"
"pseudoRemainder"
"pushForward"
"PushforwardComputation"
"QQ"
"QQParser"
"QthPower"
"quit"
"Quotient"
"quotient"
"quotientRemainder"
"QuotientRing"
"radical"
"random"
"RandomCanonicalCurves"
"RandomCurves"
"randomMutableMatrix"
"RandomObjects"
"RandomPlaneCurves"
"RandomSpaceCurves"
"rank"
"RationalPoints"
"read"
"readDirectory"
"readlink"
"RealField"
"RealFP"
"realPart"
"realpath"
"RealQP"
"RealRR"
"RealXD"
"recursionDepth"
"recursionLimit"
"Reduce"
"reduceHilbert"
"reductionNumber"
"ReesAlgebra"
"reesAlgebra"
"reesIdeal"
"regex"
"registerFinalizer"
"Regularity"
"regularity"
"relations"
"relativizeFilename"
"Reload"
"remainder"
"RemakeAllDocumentation"
"remove"
"removeDirectory"
"removeFile"
"removeHook"
"removeLowestDimension"
"reorganize"
"replace"
"Repository"
"RerunExamples"
"res"
"reshape"
"Resolution"
"resolution"
"restart"
"Result"
"resultant"
"return"
"returnCode"
"Reverse"
"reverse"
"RevLex"
"Right"
"Ring"
"ring"
"RingElement"
"RingFamily"
"ringFromFractions"
"RingMap"
"rootPath"
"rootURI"
"rotate"
"round"
"rowAdd"
"RowExpression"
"rowMult"
"rowPermute"
"rowSwap"
"RR"
"rsort"
"run"
"RunExamples"
"runHooks"
"runLengthEncode"
"same"
"saturate"
"scan"
"scanKeys"
"scanLines"
"scanPairs"
"scanValues"
"schedule"
"schreyerOrder"
"Schubert"
"SchurFunctors"
"SchurRings"
"scriptCommandLine"
"ScriptedFunctor"
"SCSCP"
"searchPath"
"sec"
"sech"
"SeeAlso"
"seeParsing"
"select"
"selectInSubring"
"selectVariables"
"SelfInitializingType"
"separate"
"SeparateExec"
"separateRegexp"
"Sequence"
"sequence"
"Serialization"
"Set"
"set"
"setEcho"
"setGroupID"
"setIOExclusive"
"setIOSyncronized"
"setIOUnSyncronized"
"setRandomSeed"
"setup"
"setupEmacs"
"sheaf"
"sheafExt"
"sheafHom"
"SheafOfRings"
"shield"
"ShimoyamaYokoyama"
"show"
"showClassStructure"
"showHtml"
"showStructure"
"showTex"
"showUserStructure"
"SimpleDoc"
"simpleDocFrob"
"SimplicialComplexes"
"SimplicialDecomposability"
"sin"
"singularLocus"
"sinh"
"size"
"SizeLimit"
"SkewCommutative"
"sleep"
"SMALL"
"smithNormalForm"
"solve"
"someTerms"
"Sort"
"sort"
"sortColumns"
"SortStrategy"
"source"
"SourceCode"
"SourceRing"
"SPACE"
"SPAN"
"SparseMonomialVectorExpression"
"SparseVectorExpression"
"Spec"
"specialFiber"
"specialFiberIdeal"
"splice"
"sqrt"
"SRdeformations"
"stack"
"Standard"
"standardForm"
"standardPairs"
"stashValue"
"StatePolytope"
"status"
"stderr"
"stdio"
"step"
"StopBeforeComputation"
"stopIfError"
"StopWithMinimalGenerators"
"Strategy"
"String"
"STRONG"
"STYLE"
"Style"
"SUB"
"sub"
"sublists"
"submatrix"
"Subnodes"
"subquotient"
"SubringLimit"
"Subscript"
"subscript"
"SUBSECTION"
"subsets"
"substitute"
"substring"
"subtable"
"Sugarless"
"Sum"
"sum"
"SumOfTwists"
"SUP"
"super"
"Superscript"
"superscript"
"support"
"SVD"
"switch"
"sylvesterMatrix"
"Symbol"
"symbol"
"SymbolBody"
"symbolBody"
"symlinkDirectory"
"symlinkFile"
"symmetricAlgebra"
"symmetricKernel"
"SymmetricPolynomials"
"symmetricPower"
"synonym"
"SYNOPSIS"
"syz"
"Syzygies"
"SyzygyLimit"
"SyzygyMatrix"
"SyzygyRows"
"syzygyScheme"
"TABLE"
"Table"
"table"
"take"
"Tally"
"tally"
"tan"
"TangentCone"
"tangentCone"
"tangentSheaf"
"tanh"
"target"
"taskResult"
"TD"
"temporaryFileName"
"tensor"
"tensorAssociativity"
"TensorComplexes"
"terminalParser"
"terms"
"TEST"
"Test"
"TEX"
"tex"
"TeXmacs"
"texMath"
"Text"
"then"
"Thing"
"Thread"
"threadVariable"
"Threshold"
"throw"
"Time"
"time"
"times"
"timing"
"TITLE"
"TO"
"to"
"toAbsolutePath"
"toCC"
"toDual"
"toExternalString"
"toField"
"TOH"
"toList"
"toLower"
"top"
"topCoefficients"
"topComponents"
"topLevelMode"
"Tor"
"Toric"
"ToricVectorBundles"
"toRR"
"toSequence"
"toString"
"TotalPairs"
"toUpper"
"TR"
"trace"
"transpose"
"TreeNode"
"Tries"
"trim"
"true"
"Truncate"
"truncate"
"truncateOutput"
"try"
"TT"
"tutorial"
"Type"
"TypicalValue"
"typicalValues"
"UL"
"ultimate"
"unbag"
"uncurry"
"Undo"
"undocumented"
"uniform"
"uninstallPackage"
"unique"
"Units"
"universalEmbedding"
"Unmixed"
"unsequence"
"unstack"
"Up"
"UpdateOnly"
"UpperTriangular"
"URL"
"Usage"
"use"
"UseHilbertFunction"
"UserMode"
"userSymbols"
"UseSyzygies"
"validate"
"value"
"values"
"Variable"
"VariableBaseName"
"Variables"
"Variety"
"variety"
"vars"
"Vector"
"vector"
"Verbose"
"Verbosity"
"Verify"
"VersalDeformations"
"Version"
"version"
"VerticalList"
"VerticalSpace"
"viewHelp"
"VirtualTally"
"VisibleList"
"wait"
"wedgeProduct"
"weightRange"
"Weights"
"WeylAlgebra"
"WeylGroups"
"when"
"whichGm"
"while"
"width"
"Wikipedia"
"Wrap"
"wrap"
"WrapperType"
"XML"
"xor"
"youngest"
"zero"
"ZeroExpression"
"zeta"
"ZZ"
"ZZParser"
)
"A list of the symbols available in Macaulay2, for use with dynamic completion."
)
(defvar M2-mode-font-lock-keywords
(let (
(max-specpdl-size 1000) ; needed for passing long long lists to regexp-opt
)
`(
; Keywords
(,(concat "\\<\\(" (regexp-opt '("and" "break" "catch" "continue" "do" "else" "for" "from" "global" "if" "in" "list" "local" "new" "not" "of" "or" "return" "shield" "SPACE" "step" "symbol" "then" "threadVariable" "throw" "time" "timing" "to" "try" "when" "while")) "\\)\\>") . font-lock-keyword-face)
; Types
(,(concat "\\<\\(" (regexp-opt '("Adjacent" "AffineVariety" "Analyzer" "ANCHOR" "Array" "AssociativeExpression" "Bag" "BasicList" "BettiTally" "BinaryOperation" "BLOCKQUOTE" "BODY" "BOLD" "Boolean" "BR" "CacheFunction" "CacheTable" "CC" "CDATA" "ChainComplex" "ChainComplexMap" "CODE" "CoherentSheaf" "Command" "COMMENT" "CompiledFunction" "CompiledFunctionBody" "CompiledFunctionClosure" "ComplexField" "Constant" "Database" "DD" "Descent" "Dictionary" "DIV" "DIV1" "Divide" "DL" "DocumentTag" "DT" "Eliminate" "EM" "EngineRing" "Equation" "ExampleItem" "Expression" "File" "FilePosition" "ForestNode" "FractionField" "Function" "FunctionApplication" "FunctionBody" "FunctionClosure" "GaloisField" "GeneralOrderedMonoid" "GlobalDictionary" "GradedModule" "GradedModuleMap" "GroebnerBasis" "GroebnerBasisOptions" "HashTable" "HEAD" "HEADER1" "HEADER2" "HEADER3" "HEADER4" "HEADER5" "HEADER6" "HeaderType" "Holder" "HR" "HREF" "HTML" "Hybrid" "Hypertext" "HypertextContainer" "HypertextParagraph" "Ideal" "IMG" "ImmutableType" "IndeterminateNumber" "IndexedVariable" "IndexedVariableTable" "InexactField" "InexactFieldFamily" "InexactNumber" "InfiniteNumber" "IntermediateMarkUpType" "ITALIC" "Keyword" "LABEL" "LATER" "LI" "LINK" "List" "LITERAL" "LocalDictionary" "LowerBound" "Manipulator" "MarkUpType" "MarkUpTypeWithOptions" "Matrix" "MatrixExpression" "MENU" "META" "MethodFunction" "MethodFunctionWithOptions" "Minus" "Module" "ModuleMap" "Monoid" "MonoidElement" "MonomialIdeal" "MutableHashTable" "MutableList" "MutableMatrix" "Net" "NetFile" "NonAssociativeProduct" "Nothing" "Number" "OneExpression" "Option" "OptionTable" "OrderedMonoid" "Package" "PARA" "Parenthesize" "Parser" "Partition" "PolynomialRing" "Power" "PRE" "Product" "ProductOrder" "ProjectiveHilbertPolynomial" "ProjectiveVariety" "Pseudocode" "PushforwardComputation" "QQ" "QuotientRing" "RealField" "Resolution" "Ring" "RingElement" "RingFamily" "RingMap" "RowExpression" "RR" "ScriptedFunctor" "SelfInitializingType" "Sequence" "Set" "SheafOfRings" "SMALL" "SPAN" "SparseMonomialVectorExpression" "SparseVectorExpression" "String" "STRONG" "STYLE" "SUB" "Subscript" "SUBSECTION" "Sum" "SumOfTwists" "SUP" "Superscript" "Symbol" "SymbolBody" "TABLE" "Table" "Tally" "TD" "TEX" "Thing" "Thread" "Time" "TITLE" "TO" "TO2" "TOH" "TR" "TreeNode" "TT" "Type" "UL" "URL" "Variety" "Vector" "VerticalList" "VirtualTally" "VisibleList" "WrapperType" "ZeroExpression" "ZZ")) "\\)\\>") . font-lock-type-face)
; Function names
(,(concat "\\<\\(" (regexp-opt '("abs" "accumulate" "acos" "acosh" "acot" "addCancelTask" "addDependencyTask" "addEndFunction" "addHook" "addStartFunction" "addStartTask" "adjoint" "adjoint1" "agm" "alarm" "all" "ambient" "analyticSpread" "ancestor" "ancestors" "andP" "ann" "annihilator" "any" "append" "applicationDirectory" "applicationDirectorySuffix" "apply" "applyKeys" "applyPairs" "applyTable" "applyValues" "apropos" "ascii" "asin" "asinh" "ass" "assert" "associatedGradedRing" "associatedPrimes" "atan" "atan2" "atEndOfFile" "autoload" "baseFilename" "baseName" "basis" "beginDocumentation" "benchmark" "BesselJ" "BesselY" "betti" "between" "binomial" "borel" "cacheValue" "cancelTask" "capture" "ceiling" "centerString" "chainComplex" "char" "characters" "charAnalyzer" "check" "chi" "class" "clean" "clearEcho" "code" "codim" "coefficient" "coefficientRing" "coefficients" "cohomology" "coimage" "coker" "cokernel" "collectGarbage" "columnAdd" "columnate" "columnMult" "columnPermute" "columnSwap" "combine" "commandInterpreter" "commonest" "commonRing" "comodule" "complement" "complete" "components" "compositions" "compress" "concatenate" "conductor" "cone" "conjugate" "connectionCount" "constParser" "content" "contract" "conwayPolynomial" "copy" "copyDirectory" "copyFile" "cos" "cosh" "cot" "cotangentSheaf" "coth" "cover" "coverMap" "cpuTime" "createTask" "csc" "csch" "currentDirectory" "currentLineNumber" "currentTime" "deadParser" "debug" "debugError" "decompose" "deepSplice" "default" "degree" "degreeLength" "degrees" "degreesMonoid" "degreesRing" "delete" "demark" "denominator" "depth" "describe" "det" "determinant" "diagonalMatrix" "dictionary" "diff" "difference" "dim" "directSum" "disassemble" "discriminant" "dismiss" "distinguished" "distinguishedAndMult" "divideByVariable" "doc" "document" "drop" "dual" "dumpdata" "eagonNorthcott" "echoOff" "echoOn" "eigenvalues" "eigenvectors" "eint" "elements" "eliminate" "End" "endPackage" "entries" "erase" "erf" "erfc" "error" "euler" "eulers" "even" "EXAMPLE" "examples" "exec" "exp" "expm1" "exponents" "export" "exportFrom" "exportMutable" "expression" "extend" "exteriorPower" "factor" "Fano" "fileExists" "fileLength" "fileMode" "fileTime" "fillMatrix" "findFiles" "findHeft" "findSynonyms" "first" "firstkey" "fittingIdeal" "flagLookup" "flatten" "flattenRing" "flip" "floor" "fold" "forceGB" "fork" "format" "frac" "fraction" "frames" "fromDual" "functionBody" "futureParser" "Gamma" "gb" "gbRemove" "gbSnapshot" "gcd" "gcdCoefficients" "gcdLLL" "genera" "generateAssertions" "generator" "generators" "genericMatrix" "genericSkewMatrix" "genericSymmetricMatrix" "gens" "genus" "get" "getc" "getChangeMatrix" "getenv" "getGlobalSymbol" "getNetFile" "getNonUnit" "getPackage" "getSymbol" "getWWW" "GF" "globalAssign" "globalAssignFunction" "globalAssignment" "globalReleaseFunction" "gradedModule" "gradedModuleMap" "gramm" "graphIdeal" "graphRing" "Grassmannian" "groebnerBasis" "groupID" "hash" "hashTable" "heft" "height" "hermite" "hilbertFunction" "hilbertPolynomial" "hilbertSeries" "hold" "Hom" "homogenize" "homology" "homomorphism" "horizontalJoin" "html" "httpHeaders" "hypertext" "icFracP" "icFractions" "icMap" "icPIdeal" "ideal" "idealizer" "identity" "image" "imaginaryPart" "independentSets" "index" "indices" "inducedMap" "inducesWellDefinedMap" "info" "infoHelp" "input" "insert" "installAssignmentMethod" "installHilbertFunction" "installMethod" "installPackage" "instance" "instances" "integralClosure" "integrate" "intersect" "inverse" "inversePermutation" "irreducibleCharacteristicSeries" "irreducibleDecomposition" "isAffineRing" "isANumber" "isBorel" "isCommutative" "isConstant" "isDirectory" "isDirectSum" "isField" "isFinite" "isFreeModule" "isGlobalSymbol" "isHomogeneous" "isIdeal" "isInfinite" "isInjective" "isInputFile" "isIsomorphism" "isLinearType" "isListener" "isLLL" "isModule" "isMonomialIdeal" "isNormal" "isOpen" "isOutputFile" "isPolynomialRing" "isPrimary" "isPrime" "isPrimitive" "isPseudoprime" "isQuotientModule" "isQuotientOf" "isQuotientRing" "isReady" "isReal" "isReduction" "isRegularFile" "isRing" "isSkewCommutative" "isSorted" "isSquareFree" "isSubmodule" "isSubquotient" "isSubset" "isSurjective" "isTable" "isUnit" "isWellDefined" "jacobian" "join" "ker" "kernel" "kernelLLL" "keys" "kill" "koszul" "last" "lcm" "leadCoefficient" "leadComponent" "leadMonomial" "leadTerm" "length" "letterParser" "lift" "liftable" "limitFiles" "limitProcesses" "lines" "linkFile" "listForm" "listSymbols" "LLL" "lngamma" "load" "loaddata" "loadPackage" "localDictionaries" "localize" "locate" "log" "log1p" "lookup" "lookupCount" "LUdecomposition" "makeDirectory" "makeDocumentTag" "makePackageIndex" "makeS2" "map" "markedGB" "match" "mathML" "matrix" "max" "maxPosition" "member" "memoize" "merge" "mergePairs" "method" "methodOptions" "methods" "min" "mingens" "mingle" "minimalPresentation" "minimalPrimes" "minimalReduction" "minimizeFilename" "minors" "minPosition" "minPres" "minus" "mkdir" "mod" "module" "modulo" "monoid" "monomialCurveIdeal" "monomialIdeal" "monomials" "monomialSubideal" "moveFile" "multidegree" "multidoc" "multiplicity" "mutable" "mutableIdentity" "mutableMatrix" "needs" "needsPackage" "net" "netList" "newClass" "newCoordinateSystem" "newNetFile" "newPackage" "newRing" "nextkey" "NNParser" "nonspaceAnalyzer" "norm" "normalCone" "notImplemented" "nullhomotopy" "nullParser" "number" "numcols" "numColumns" "numerator" "numeric" "numgens" "numRows" "numrows" "odd" "ofClass" "on" "openDatabase" "openDatabaseOut" "openFiles" "openIn" "openInOut" "openListener" "openOut" "openOutAppend" "optionalSignParser" "options" "optP" "orP" "override" "pack" "package" "packageTemplate" "pad" "pager" "pairs" "parent" "part" "partition" "partitions" "parts" "pdim" "peek" "permanents" "permutations" "pfaffians" "pivots" "plus" "poincare" "poincareN" "poly" "position" "positions" "power" "powermod" "precision" "preimage" "prepend" "presentation" "pretty" "primaryComponent" "primaryDecomposition" "print" "printString" "processID" "product" "profile" "Proj" "projectiveHilbertPolynomial" "promote" "protect" "prune" "pseudocode" "pseudoRemainder" "pushForward" "QQParser" "quotient" "quotientRemainder" "radical" "random" "randomMutableMatrix" "rank" "read" "readDirectory" "readlink" "realPart" "realpath" "recursionDepth" "reduceHilbert" "reductionNumber" "reesAlgebra" "reesIdeal" "regex" "registerFinalizer" "regularity" "relations" "relativizeFilename" "remainder" "remove" "removeDirectory" "removeFile" "removeHook" "removeLowestDimension" "reorganize" "replace" "res" "reshape" "resolution" "resultant" "reverse" "ring" "ringFromFractions" "rotate" "round" "rowAdd" "rowMult" "rowPermute" "rowSwap" "rsort" "run" "runHooks" "runLengthEncode" "same" "saturate" "scan" "scanKeys" "scanLines" "scanPairs" "scanValues" "schedule" "schreyerOrder" "Schubert" "searchPath" "sec" "sech" "seeParsing" "select" "selectInSubring" "selectVariables" "separate" "separateRegexp" "sequence" "set" "setEcho" "setGroupID" "setIOExclusive" "setIOSyncronized" "setIOUnSyncronized" "setRandomSeed" "setup" "setupEmacs" "sheaf" "sheafHom" "show" "showHtml" "showTex" "simpleDocFrob" "sin" "singularLocus" "sinh" "size" "size2" "sleep" "smithNormalForm" "solve" "someTerms" "sort" "sortColumns" "source" "Spec" "specialFiber" "specialFiberIdeal" "splice" "sqrt" "stack" "standardForm" "standardPairs" "stashValue" "status" "sub" "sublists" "submatrix" "subquotient" "subsets" "substitute" "substring" "subtable" "sum" "super" "support" "SVD" "switch" "sylvesterMatrix" "symbolBody" "symlinkDirectory" "symlinkFile" "symmetricAlgebra" "symmetricKernel" "symmetricPower" "synonym" "SYNOPSIS" "syz" "syzygyScheme" "table" "take" "tally" "tan" "tangentCone" "tangentSheaf" "tanh" "target" "taskResult" "temporaryFileName" "tensor" "tensorAssociativity" "terminalParser" "terms" "TEST" "tex" "texMath" "times" "toAbsolutePath" "toCC" "toDual" "toExternalString" "toField" "toList" "toLower" "top" "topCoefficients" "topComponents" "toRR" "toSequence" "toString" "toUpper" "trace" "transpose" "trim" "truncate" "truncateOutput" "tutorial" "ultimate" "unbag" "uncurry" "undocumented" "uniform" "uninstallPackage" "unique" "universalEmbedding" "unsequence" "unstack" "use" "userSymbols" "utf8" "validate" "value" "values" "variety" "vars" "vector" "wait" "wedgeProduct" "weightRange" "whichGm" "width" "Wikipedia" "wrap" "xor" "youngest" "zero" "zeta" "ZZParser")) "\\)\\>") . font-lock-function-name-face)
; Constants
(,(concat "\\<\\(" (regexp-opt '("AbsoluteLinks" "AdjointIdeal" "AfterEval" "AfterNoPrint" "AfterPrint" "Algorithm" "Alignment" "AllCodimensions" "allowableThreads" "argument" "Ascending" "Authors" "AuxiliaryFiles" "backtrace" "backupFileRegexp" "Bareiss" "BaseFunction" "baseRings" "BaseRow" "BasisElementLimit" "Bayer" "BeforePrint" "Benchmark" "BGG" "BIBasis" "Binary" "Binomial" "Binomials" "BKZ" "BoijSoederberg" "BooleanGB" "Boxes" "Browse" "Bruns" "cache" "CacheExampleOutput" "CallLimit" "Caveat" "Center" "Certification" "ChainComplexExtras" "ChangeMatrix" "CharacteristicClasses" "CheckDocumentation" "Classic" "clearAll" "clearOutput" "close" "closeIn" "closeOut" "ClosestFit" "CodimensionLimit" "CoefficientRing" "Cofactor" "CohenEngine" "CohenTopLevel" "commandLine" "compactMatrixForm" "Complement" "CompleteIntersection" "ConductorElement" "Configuration" "Consequences" "Constants" "ConvexInterface" "ConwayPolynomials" "copyright" "Core" "currentFileDirectory" "currentFileName" "currentLayout" "currentPackage" "CurrentVersion" "Cyclotomic" "Date" "dd" "DebuggingMode" "debuggingMode" "debugLevel" "Decompose" "defaultPrecision" "Degree" "DegreeLift" "DegreeLimit" "DegreeMap" "DegreeOrder" "DegreeRank" "Degrees" "Dense" "Density" "Depth" "Descending" "Description" "DGAlgebras" "dictionaryPath" "Dispatch" "DivideConquer" "Dmodules" "docExample" "docTemplate" "Down" "EdgeIdeals" "edit" "EisenbudHunekeVasconcelos" "Elimination" "Email" "Encapsulate" "EncapsulateDirectory" "end" "endl" "Engine" "engineDebugLevel" "environment" "errorDepth" "EulerConstant" "Exclude" "exit" "Ext" "false" "fileDictionaries" "fileExitHooks" "FileName" "FindOne" "First" "FirstPackage" "FlatMonoid" "Flexible" "flush" "FollowLinks" "FormalGroupLaws" "Format" "FourierMotzkin" "FourTiTwo" "GBDegrees" "gbTrace" "GenerateAssertions" "Generic" "GenericInitialIdeal" "gfanInterface" "Givens" "GLex" "Global" "GlobalAssignHook" "globalAssignmentHooks" "GlobalReleaseHook" "GraphicalModels" "Graphics" "Graphs" "GRevLex" "GroupLex" "GroupRevLex" "GTZ" "handleInterrupts" "HardDegreeLimit" "Heading" "Headline" "Heft" "Height" "help" "Hermite" "Hermitian" "HH" "hh" "Hilbert" "HodgeIntegrals" "homeDirectory" "HomePage" "Homogeneous" "HorizontalSpace" "HyperplaneArrangements" "id" "IgnoreExampleErrors" "ii" "incomparable" "Increment" "indeterminate" "Index" "indexComponents" "infinity" "InfoDirSection" "Inhomogeneous" "Inputs" "InstallPrefix" "IntegralClosure" "interpreterDepth" "Intersection" "InverseMethod" "Inverses" "InvolutiveBases" "Iterate" "Join" "Keep" "KeepZeroes" "Key" "Kronecker" "KustinMiller" "lastMatch" "Layout" "Left" "LengthLimit" "Lex" "LexIdeals" "Limit" "Linear" "LinearAlgebra" "lineNumber" "listLocalSymbols" "listUserSymbols" "LLLBases" "loadDepth" "LoadDocumentation" "loadedFiles" "loadedPackages" "Local" "LocalRings" "LongPolynomial" "MakeDocumentation" "MakeInfo" "MakeLinks" "MapleInterface" "Markov" "maxAllowableThreads" "maxExponent" "MaximalRank" "MaxReductionCount" "minExponent" "MinimalGenerators" "MinimalMatrix" "minimalPresentationMap" "minimalPresentationMapInv" "Minimize" "ModuleDeformations" "Monomial" "MonomialAlgebras" "MonomialMultiplierIdeals" "MonomialOrder" "Monomials" "MonomialSize" "NAGtypes" "Name" "Nauty" "NautyGraphs" "NCLex" "NewFromMethod" "newline" "NewMethod" "NewOfFromMethod" "NewOfMethod" "nil" "NoetherNormalization" "NoPrint" "Normaliz" "NormalToricVarieties" "notify" "NTL" "null" "nullaryMethods" "NumericalAlgebraicGeometry" "OO" "oo" "ooo" "oooo" "OpenMath" "operatorAttributes" "Options" "Order" "order" "OutputDictionary" "Outputs" "PackageDictionary" "PackageExports" "PackageImports" "PackagePrefix" "PackageTemplate" "PairLimit" "PairsRemaining" "Parametrization" "Parsing" "path" "PHCpack" "pi" "PieriMaps" "Points" "Polyhedra" "Polymake" "Posets" "Position" "Postfix" "Precision" "Prefix" "prefixDirectory" "prefixPath" "PrimaryDecomposition" "PrimaryTag" "PrimitiveElement" "Print" "printingAccuracy" "printingLeadLimit" "printingPrecision" "printingSeparator" "printingTimeLimit" "printingTrailLimit" "printWidth" "profileSummary" "Projective" "Prune" "pruningMap" "QthPower" "quit" "Quotient" "RandomCanonicalCurves" "RandomCurves" "RandomObjects" "RandomPlaneCurves" "RandomSpaceCurves" "RationalPoints" "RealFP" "RealQP" "RealRR" "RealXD" "recursionLimit" "Reduce" "ReesAlgebra" "Regularity" "Reload" "RemakeAllDocumentation" "Repository" "RerunExamples" "restart" "Result" "returnCode" "Reverse" "RevLex" "Right" "rootPath" "rootURI" "RunExamples" "SchurFunctors" "SchurRings" "scriptCommandLine" "SCSCP" "SeeAlso" "SeparateExec" "Serialization" "sheafExt" "ShimoyamaYokoyama" "showClassStructure" "showStructure" "showUserStructure" "SimpleDoc" "SimplicialComplexes" "SimplicialDecomposability" "SizeLimit" "SkewCommutative" "Sort" "SortStrategy" "SourceCode" "SourceRing" "SRdeformations" "Standard" "StatePolytope" "stderr" "stdio" "StopBeforeComputation" "stopIfError" "StopWithMinimalGenerators" "Strategy" "Style" "Subnodes" "SubringLimit" "subscript" "Sugarless" "superscript" "SymmetricPolynomials" "Syzygies" "SyzygyLimit" "SyzygyMatrix" "SyzygyRows" "TangentCone" "TensorComplexes" "Test" "TeXmacs" "Text" "Threshold" "topLevelMode" "Tor" "Toric" "ToricVectorBundles" "TotalPairs" "Tries" "true" "Truncate" "TypicalValue" "typicalValues" "Undo" "Units" "Unmixed" "Up" "UpdateOnly" "UpperTriangular" "Usage" "UseHilbertFunction" "UserMode" "UseSyzygies" "Variable" "VariableBaseName" "Variables" "Verbose" "Verbosity" "Verify" "VersalDeformations" "Version" "version" "VerticalSpace" "viewHelp" "Weights" "WeylAlgebra" "WeylGroups" "Wrap" "XML")) "\\)\\>") . ,font-lock-constant-face)
)))
(if (fboundp 'font-lock-add-keywords)
(font-lock-add-keywords 'M2-mode M2-mode-font-lock-keywords 'set))
(provide 'M2-symbols)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment