|
Frobby
0.9.5
|
Objects of this class encapsulate the process of applying a generic deformation to a monomial ideal. More...
#include <Deformer.h>
Public Member Functions | |
| Deformer (Ideal &ideal, const IdealOrderer &deformationOrder, bool makeStronglyGeneric=true) | |
| Apply a generic deformation to ideal such that it becomes generic. More... | |
| void | undeform (Term &term) const |
| Apply the reverse transformation on term than that applied to the Ideal passed to the constructor. More... | |
Private Attributes | |
| vector< vector< Exponent > > | _undeform |
| var^e undeforms to var^(_undeform[var][e]). More... | |
Objects of this class encapsulate the process of applying a generic deformation to a monomial ideal.
Definition at line 31 of file Deformer.h.
| Deformer::Deformer | ( | Ideal & | ideal, |
| const IdealOrderer & | deformationOrder, | ||
| bool | makeStronglyGeneric = true |
||
| ) |
Apply a generic deformation to ideal such that it becomes generic.
| deformationOrder | The ordering to decide how to deform like exponents. |
| makeStronglyGeneric | Deform to a strongly generic ideal if true. Otherwise deform to a weakly generic ideal. |
Definition at line 85 of file Deformer.cpp.
| void Deformer::undeform | ( | Term & | term | ) | const |
Apply the reverse transformation on term than that applied to the Ideal passed to the constructor.
Definition at line 99 of file Deformer.cpp.
|
private |
var^e undeforms to var^(_undeform[var][e]).
Definition at line 53 of file Deformer.h.