SmartLift is the name of an optional argument whose value is a Boolean value. If set to true, versalDeformation or localHilbertScheme will utilize the function correctDeformation in order to choose liftings of the deformation equation at each step which, if possible, introduce no higher order terms to the obstruction equations. This may increase the time of calculation, but will hopefully result in nicer equations for the base space. Default value is true
For example, consider a degenerate twisted cubic curve, see[PS85]:
|
|
With the default setting SmartLift=>true we get very nice equations for the base space:
|
|
|
With the setting SmartLift=>false the calculation is faster, but the equations are no longer homogeneous:
|
|