Changeset 99fd48 in git


Ignore:
Timestamp:
Sep 14, 2017, 2:44:39 PM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
7cf3139bdf08fe6340e8e6f9c9bff8776001a04f
Parents:
da64b7886a544deac25141ec0f382168702abed7
Message:
add: alg: "modstd" for syz/lift/intersect/etc.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/ideals.cc

    rda64b7 r99fd48  
    301301    }
    302302  }
     303  else if (alg==GbModstd)
     304  {
     305    if (TEST_OPT_PROT) { PrintS("modStd:"); mflush(); }
     306    BOOLEAN err;
     307    void *args[]={temp,(void*)1,NULL};
     308    int arg_t[]={MODUL_CMD,INT_CMD,0};
     309    temp1=(ideal)iiCallLibProcM("modStd",args,arg_t,err);
     310    if (err)
     311    {
     312      Werror("error %d in >>modStd<<",err);
     313      temp1=idInit(1,1);
     314    }
     315  }
    303316
    304317  if(syz_ring!=orig_ring)
     
    27652778    return GbGroebner;
    27662779  }
    2767 //  else if(alg==GbModstd)  // cond for modstd: requires ideal, not module
    2768 //  {
    2769 //    if(ggetid("modStd")==NULL)
    2770 //    {
    2771 //      WarnS(">>modStd<< not found");
    2772 //    }
    2773 //    else if(rField_is_Q(r)
    2774 //    &&(!rIsPluralRing(r))
    2775 //    &&(rHasGlobalOrdering(r)))
    2776 //    {
    2777 //      return GbModstd;
    2778 //    }
    2779 //  }
     2780  else if(alg==GbModstd)  // cond for modstd: Q or Q(a)
     2781  {
     2782    if(ggetid("modStd")==NULL)
     2783    {
     2784      WarnS(">>modStd<< not found");
     2785    }
     2786    else if(rField_is_Q(r)
     2787    &&(!rIsPluralRing(r))
     2788    &&(rHasGlobalOrdering(r)))
     2789    {
     2790      return GbModstd;
     2791    }
     2792  }
    27802793
    27812794  return GbStd; // no conditions for std
Note: See TracChangeset for help on using the changeset viewer.