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.