Macaulay2
»
Documentation
Packages
»
DiffAlg
::
Index
next | previous | forward | backward | up |
index
|
toc
DiffAlg : 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
- DiffAlgElement
-- negation of a differential form or vector field
degree(DiffAlgElement)
-- degree of a differential form or a vector field
diff(DiffAlgForm)
-- exterior differential
DiffAlg
-- differential algebra
DiffAlgDistribution
-- the class of distributions of vector fields
DiffAlgElement
-- the class of all differential forms and vector fields
DiffAlgElement * QQ
-- scalar multiplication
DiffAlgElement * RingElement
-- scalar multiplication
DiffAlgElement * ZZ
-- scalar multiplication
DiffAlgElement + DiffAlgElement
-- addition
DiffAlgElement - DiffAlgElement
-- subtraction
DiffAlgElement / QQ
-- scalar division
DiffAlgElement / RingElement
-- scalar division
DiffAlgElement / ZZ
-- scalar division
DiffAlgElement | String
-- concatenate a string with a differential form or vector field
DiffAlgField
-- the class of all vector fields
DiffAlgField _ DiffAlgForm
-- contraction of a differential form with respect to a vector field
DiffAlgField | DiffAlgField
-- Lie bracket
DiffAlgForm
-- the class of all differential forms
DiffAlgForm * DiffAlgForm
-- exterior product
DiffAlgForm ^ DiffAlgForm
-- exterior product
DiffAlgForm _ DiffAlgField
-- contraction of a differential form with respect to a vector field
dist
-- produces a DiffAlgDistribution from a list
dist(List)
-- produces a DiffAlgDistribution from a list
genIm
-- a basis of the image of a linear expression
genIm(DiffAlgElement,DiffAlgElement)
-- a basis of the image of a linear expression
genKer
-- basis of the kernel of a linear expression
genKer(DiffAlgElement,DiffAlgElement)
-- basis of the kernel of a linear expression
homogenize(DiffAlgElement)
-- homogenize a differential form or vector field
isHomogeneous(DiffAlgElement)
-- tests if a form (or field) is homogeneous
isInvolutive
-- tests if a distribution is involutive
isInvolutive(DiffAlgDistribution)
-- tests if a distribution is involutive
linearComb
-- generic linear combination of elements
linearComb(List,String)
-- generic linear combination of elements
List * DiffAlgForm
-- pull-back of a differential form by a rational map
logarithmicForm
-- creates a logarithmic form
logarithmicForm(...,Projective=>...)
-- a boolean option to produce a projective logarithmic form
logarithmicForm(ZZ,List,String)
-- creates a logarithmic form
moduliIdeal
-- ideal generated by the coefficients of a differential form or vector field
moduliIdeal(DiffAlgElement)
-- ideal generated by the coefficients of a differential form or vector field
newField
-- constructor of a vector field
newField(String)
-- constructor of a vector field
newField(ZZ,ZZ,String)
-- constructor of a vector field
newForm
-- constructor of a differential form
newForm(String)
-- constructor of a differential form
newForm(ZZ,ZZ,ZZ,String)
-- constructor of a differential form
projectivize
-- projectivize a differential form or vector field
projectivize(DiffAlgElement)
-- projectivize a differential form or vector field
QQ * DiffAlgElement
-- scalar multiplication
radial
-- defines the radial vector field
radial(ZZ)
-- defines the radial vector field
random(DiffAlgElement)
-- replaces the variables of the coefficient ring of a differential form or a vector field with random values
random(DiffAlgElement,Ring)
-- replaces the variables of the coefficient ring of a differential form or a vector field with random values
rank(DiffAlgDistribution)
-- rank of the given distribution
ring(DiffAlgElement)
-- ring of the differential form or vector field
RingElement * DiffAlgElement
-- scalar multiplication
singularIdeal
-- ideal generated by the polynomial coefficients of a differential form or vector field
singularIdeal(DiffAlgElement)
-- ideal generated by the polynomial coefficients of a differential form or vector field
String | DiffAlgElement
-- concatenate a string with a differential form or vector field
substitute(DiffAlgElement,Ring)
-- gets the RingElement of a differential form or vector field in a ring
ZZ * DiffAlgElement
-- scalar multiplication