16#ifndef FAST_MAPS_HEADER
17#define FAST_MAPS_HEADER
70 if (monomial->ref <= 0)
86void maPoly_Eval(
mapoly mpoly, ring src_r, ideal dest_id, ring dest_r,
int total_cost);
90 ring src_r, ring dest_r,
95 ideal image_id, ring image_r,
96 ring &src_r, ring &dest_r,
BOOLEAN &no_sort);
class macoeff_s * macoeff
void maMonomial_Out(mapoly monomial, ring src_r, ring dest_r=NULL)
ideal fast_map_common_subexp(const ideal map_id, const ring map_r, const ideal image_id, const ring image_r)
class maideal_s * maideal
void maPoly_Out(mapoly mpoly, ring src_ring, ring dest_r=NULL)
void maMap_CreateRings(ideal map_id, ring map_r, ideal image_id, ring image_r, ring &src_r, ring &dest_r, BOOLEAN &no_sort)
void maMonomial_Destroy(mapoly monomial, ring src_r, ring dest_r=NULL)
void maMap_CreatePolyIdeal(ideal map_id, ring map_r, ring src_r, ring dest_r, mapoly &mp, maideal &mideal)
mapoly maPoly_InsertMonomial(mapoly &into, mapoly what, ring src_r)
ideal maIdeal_2_Ideal(maideal ideal, ring dest_r)
mapoly maMonomial_Create(poly p, ring, sBucket_pt bucket=NULL)
void maPoly_Eval(mapoly mpoly, ring src_r, ideal dest_id, ring dest_r, int total_cost)
mapoly maMonomial_Free(mapoly monomial, ring src_r, ring dest_r=NULL)
void maPoly_Optimize(mapoly mpoly, ring src_r)