Changeset e915737 in git


Ignore:
Timestamp:
Mar 22, 2011, 7:00:20 PM (13 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')
Children:
998a5d9ffc135eac4eab34a05455bd0eddf47902
Parents:
3dc79f5be96137afb3180f6e28f682a770b75f47
Message:
FIX: wrong assumes

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

git-svn-id: file:///usr/local/Singular/svn/trunk@14038 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
kernel
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • kernel/gring.cc

    r3dc79f5 re915737  
    16201620#ifdef PDEBUG
    16211621    Werror("gnc_CreateSpolyNew: different non-zero components!");
     1622    assume(0);
    16221623#endif
    16231624    return(NULL);

  • kernel/sca.cc

    r3dc79f5 re915737  
    599599  p_Test(pMonom, rRing);
    600600#endif
     601
     602  if ((pPoly==NULL) || (pMonom==NULL)) return NULL;
    601603
    602604  assume( (pPoly != NULL) && (pMonom !=NULL));

  • kernel/structs.h

    r3dc79f5 re915737  
    464464
    465465    inline CGlobalMultiplier* GetGlobalMultiplier() const
    466         { assume(ncRingType() != nc_exterior); return (m_Multiplier); };
     466        { return (m_Multiplier); };
    467467
    468468    inline CGlobalMultiplier*& GetGlobalMultiplier()
    469         { assume(ncRingType() != nc_exterior); return (m_Multiplier); };
     469        { return (m_Multiplier); };
    470470
    471471
    472472    inline CFormulaPowerMultiplier* GetFormulaPowerMultiplier() const
    473         { assume(ncRingType() != nc_exterior); return (m_PowerMultiplier); };
     473        { return (m_PowerMultiplier); };
    474474
    475475    inline CFormulaPowerMultiplier*& GetFormulaPowerMultiplier()
    476         { assume(ncRingType() != nc_exterior); return (m_PowerMultiplier); };
     476        { return (m_PowerMultiplier); };
    477477   
    478478  public:
Note: See TracChangeset for help on using the changeset viewer.