26 static const char* DeformToStrongName =
"deformStrong";
27 static const bool DeformToStrongDefault =
false;
29 static const char* EnumerationOrderName =
"enum";
30 static const char* EnumerationOrderDefault =
"revlex";
32 static const char* DeformationOrderName =
"deformationOrder";
33 static const char* DeformationOrderDefault =
"tdeg_lex";
37 _deformStrong(DeformToStrongDefault),
38 _enumerationOrder(EnumerationOrderDefault),
39 _deformationOrder(DeformationOrderDefault) {
49 "Deform to a strongly generic ideal if true. "
50 "Otherwise deform to a weakly generic ideal.",
51 DeformToStrongDefault)));
57 (EnumerationOrderName,
58 "The enumeration order used for the deformation algorithm.",
59 EnumerationOrderDefault)));
65 (DeformationOrderName,
66 "The deformation order used for the deformation algorithm.",
67 DeformationOrderDefault)));