Changeset e552b7 in git for kernel/maps

Timestamp:

Oct 23, 2018, 3:59:53 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

9fe6c3daa5d3f2f1d32882c2a883ff08668041a8

Parents:

e87bcd2cfbc77cb7e1e68007b759cc1c5425f136

Message:

naMapPoly

Location:

kernel/maps

Files:

• gen_maps.cc (modified) (1 diff)
• gen_maps.h (modified) (1 diff)

kernel/maps/gen_maps.cc

@@ -157 +157 @@
 }
 
-
-
+poly maMapPoly(const poly map_p, const ring map_r,const ideal image_id, const ring image_r, const nMapFunc nMap)
+{
+  matrix s=mpNew(map_r->N,maMaxDeg_P(map_p, map_r));
+  poly p=maEval((map)image_id, map_p, map_r, nMap, (ideal)s, image_r);
+  id_Delete((ideal*)&s,image_r);
+  return p;
+}

kernel/maps/gen_maps.h

@@ -12 +12 @@
 ideal maMapIdeal(const ideal map_id, const ring map_r,const ideal image_id, const ring image_r, const nMapFunc nMap);
 
+/// polynomial map for poly (vector)
+/// map_p: the poly (vector) to map
+/// map_r: the base ring for map_p
+/// image_id: the image of the variables
+/// image_r: the base ring for image_id
+/// nMap: map for coeffcients
+poly maMapPoly(const poly map_p, const ring map_r,const ideal image_id, const ring image_r, const nMapFunc nMap);
+
 poly p_SubstPoly (poly p, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap, matrix cache=NULL);
 ideal id_SubstPoly (ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap);