dox/html/preimage_8h_source.html

#ifndef KERNEL_PREIMAGE_H

#define KERNEL_PREIMAGE_H


#include "polys/monomials/ring.h"


ideal maGetPreimage(ring theImageRing, map theMap, ideal id, const ring dst_r);


#endif // KERNEL_PREIMAGE_H

map
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from  to  such that  is mapped onto
Definition: cf_map_ext.cc:504

maGetPreimage
ideal maGetPreimage(ring theImageRing, map theMap, ideal id, const ring dst_r)
Definition: preimage.cc:57

ring.h