Changeset c5175d6 in git


Ignore:
Timestamp:
Jul 29, 2014, 5:18:03 PM (10 years ago)
Author:
Jakob Kroeker <kroeker@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '8a337797cc4177aa8747d661d5c4214ea2095dac')
Children:
e6f4c664f288908426da693a1f2d3efceebb7cbc
Parents:
eac87101bae1390271d2f945606aea217a76d5d0
Message:
removed unnecessary and unwanted ASSUME (shadows error msg)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/primdec.lib

    reac8710 rc5175d6  
    375375proc idealsEqual( ideal k, ideal j)
    376376{
    377   ASSUME(0, hasFieldCoefficient(basering) );
    378377  return(stdIdealsEqual(std(k),std(j)));
    379378}
     
    383382  int j;
    384383
    385   ASSUME(1, hasFieldCoefficient(basering) );
    386384  if(size(k1)==size(k2))
    387385  {
     
    401399{
    402400  int j;
    403   ASSUME(1, hasFieldCoefficient(basering) );
    404401  if(size(k1)==size(k2))
    405402  {
     
    24092406      );
    24102407  }
    2411   ASSUME(0, hasGlobalOrdering(basering) ) ;
    24122408
    24132409  intvec op ;
     
    25192515      );
    25202516  }
    2521   ASSUME(0, hasGlobalOrdering(basering) ) ;
    25222517
    25232518  def  P = basering;
     
    39663961      );
    39673962   }
    3968    ASSUME(0, hasGlobalOrdering(basering) ) ;
    39693963
    39703964   if((char(basering)<100)&&(char(basering)!=0))
     
    52615255static proc special_ideals_equal( ideal k1, ideal k2)
    52625256{
    5263    ASSUME(1, hasFieldCoefficient(basering) );
    5264    ASSUME(1, not isQuotientRing(basering) ) ;
    5265    ASSUME(1, hasGlobalOrdering(basering) ) ;
    5266 
    52675257   int j;
    52685258   if(size(k1)==size(k2))
     
    58265816     );
    58275817  }
    5828   ASSUME(0, hasGlobalOrdering(basering) ) ;
    58295818
    58305819  return(radical(i, 1));
     
    66686657      );
    66696658  }
    6670   ASSUME(0, hasGlobalOrdering(basering) ) ;
    66716659
    66726660  ideal j=std(i);
     
    67206708      );
    67216709  }
    6722   ASSUME(0, hasGlobalOrdering(basering) ) ;
    67236710
    67246711  ideal j=groebner(i);
     
    67966783    );
    67976784  }
    6798   ASSUME(0, hasGlobalOrdering(basering) ) ;
    67996785
    68006786  def R=basering;
Note: See TracChangeset for help on using the changeset viewer.