Macaulay2
»
Documentation
Packages
»
HolonomicSystems
::
Index
next | previous | forward | backward | up |
index
|
toc
HolonomicSystems : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
AppellF1
-- Appell F1 system of PDE's
AppellF1(...,Vars=>...)
-- Appell F1 system of PDE's
AppellF1(List)
-- Appell F1 system of PDE's
BasisElts
-- differential operators of up to the given order for a quotient polynomial ring
Canonical Series Tutorial
-- Computing series solutions to regular holonomic systems
createThetaRing
(missing documentation)
cssExpts
-- the exponents of the canonical series solutions of I in the direction of a weight vector
cssExpts(Ideal,List)
-- the exponents of the canonical series solutions of I in the direction of a weight vector
cssExptsMult
-- the exponents and multiplicities of the canonical series solutions
cssExptsMult(Ideal,List)
-- the exponents and multiplicities of the canonical series solutions
cssLeadTerm
-- lead term of the canonical series solutions of I
cssLeadTerm(Ideal,List)
-- lead term of the canonical series solutions of I
diffOps
-- differential operators of up to the given order for a quotient polynomial ring
diffOps(Ideal,ZZ)
-- differential operators of up to the given order for a quotient polynomial ring
diffOps(RingElement,ZZ)
-- differential operators of up to the given order for a quotient polynomial ring
distraction
-- the image in the thetaRing of a torus-fixed element or ideal in a Weyl algebra
distraction(Ideal,Ring)
-- the image in the thetaRing of a torus-fixed element or ideal in a Weyl algebra
distraction(RingElement,Ring)
-- the image in the thetaRing of a torus-fixed element or ideal in a Weyl algebra
eulerOperators
-- Euler Operators
eulerOperators(Matrix,List,PolynomialRing)
-- Euler Operators
eulerOperators(Matrix,PolynomialRing)
-- Euler Operators
gkz
-- create the A-hypergeometric system of Gelfand, Kapranov and Zelevinsky (GKZ)
gkz(Matrix,List)
-- create the A-hypergeometric system of Gelfand, Kapranov and Zelevinsky (GKZ)
gkz(Matrix,List,PolynomialRing)
-- create the A-hypergeometric system of Gelfand, Kapranov and Zelevinsky (GKZ)
HolonomicSystems
-- Examples of Holonomic D-modules
indicialIdeal
-- the image in the thetaRing of an indicial ideal in a Weyl algebra
indicialIdeal(Ideal,List)
-- the image in the thetaRing of an indicial ideal in a Weyl algebra
isTorusFixed
-- checks if an ideal in a Weyl algebra is torus-fixed
isTorusFixed(Ideal)
-- checks if an ideal in a Weyl algebra is torus-fixed
nilssonSupport
(missing documentation)
PolyGens
-- differential operators of up to the given order for a quotient polynomial ring
putWeylAlgebra
-- transforms output of diffOps into elements of Weyl algebra
putWeylAlgebra(HashTable)
-- transforms output of diffOps into elements of Weyl algebra
solveFrobeniusIdeal
-- solving Frobenius ideals
solveFrobeniusIdeal(Ideal)
-- solving Frobenius ideals
solveFrobeniusIdeal(Ideal,Ring)
-- solving Frobenius ideals
ThetaRing
(missing documentation)
toricIdealPartials
-- create the toric ideal of an integer matrix
toricIdealPartials(Matrix,PolynomialRing)
-- create the toric ideal of an integer matrix
truncatedCanonicalSeries
(missing documentation)
Vars
-- Appell F1 system of PDE's
WtoT
(missing documentation)