Changeset 52778d in git for kernel/maps


Ignore:
Timestamp:
Dec 28, 2020, 5:49:03 PM (3 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
15fc5f19a9a19e268ea1f86d8e7d35f229908025
Parents:
78b67a17e5bfe82cf2ac09b5905063584987049b
Message:
Enable map for Letterplace
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/maps/gen_maps.cc

    r78b67a1 r52778d  
    8787ideal maMapIdeal(const ideal map_id, const ring preimage_r,const ideal image_id, const ring image_r, const nMapFunc nMap)
    8888{
    89   if(!rIsPluralRing(image_r))
     89  if(!rIsNCRing(image_r))
    9090  {
    9191    // heuristic:
Note: See TracChangeset for help on using the changeset viewer.