Changeset 8d8fef in git for factory/facAlgFuncUtil.cc


Ignore:
Timestamp:
Jul 29, 2019, 11:36:09 PM (5 years ago)
Author:
Murray Heymann <heymann.murray@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
feed60bef09898f675e0f8605ed0ac0eaa8bed5a
Parents:
da1ec3de158a4f05384b9a83be86fc4c1942ec5fc1b9ababa50e8059dd847da0957f50aea901e6a8
Message:
Merge branch 'machine_learning' of github.com:MHeymann/Sources into machine_learning
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facAlgFuncUtil.cc

    rda1ec3 r8d8fef  
    372372  if (f.inBaseDomain())
    373373    return 0;
    374   if (f.inCoeffDomain())
    375   {
    376     if (f.level() != 0)
    377       return 1;
    378     return hasAlgVar(f.LC());
     374  if (f.inExtension())
     375  {
     376    return 1;
    379377  }
    380378  if (f.inPolyDomain())
    381379  {
    382     if (hasAlgVar(f.LC()))
    383       return 1;
    384380    for (CFIterator i= f; i.hasTerms(); i++)
    385381    {
Note: See TracChangeset for help on using the changeset viewer.