Macaulay2 » Documentation
Packages » VersalDeformations :: isPolynomial

next | previous | forward | backward | up | index | toc

isPolynomial -- checks if a deformation lifts to arbitrary order

Usage:

B = checkTangentSpace(D)

B = checkTangentSpace(F,R,G,C)
Inputs:
- D, a NestedDeformation
- F, a List
- R, a List
- G, a List
- C, a List
Outputs:
- B, a Boolean value

Description

The lists F,R,G,C should be lists of matrices as output by versalDeformation .

i1 : S = QQ[x,y];

i2 : I = ideal(x^2+y^2);

o2 : Ideal of S

i3 : (F,R,G,C)=versalDeformation(gens I);

i4 : isPolynomial(F,R,G,C)

o4 = true

Ways to use isPolynomial:

isPolynomial(List,List,List,List)
isPolynomial(NestedDeformation)

For the programmer

The object isPolynomial is a method function.

The source of this document is in VersalDeformations.m2:1937:0.