Changeset 0b55585 in git


Ignore:
Timestamp:
Aug 26, 2013, 5:50:31 PM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
60d63da305a83ef95e9f72767dab47d13016ace4
Parents:
9f8c05a875ee27eb1bad4fbba07a54f8b840bdee
git-author:
Martin Lee <martinlee84@web.de>2013-08-26 17:50:31+02:00
git-committer:
Martin Lee <martinlee84@web.de>2013-08-29 17:23:52+02:00
Message:
fix: wrong assertions
Location:
factory
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • factory/cf_gcd_smallp.cc

    r9f8c05 r0b55585  
    21242124  if (F == G) return F/Lc(F);
    21252125
     2126  ASSERT (degree (A, 1) == 0, "expected degree (F, 1) == 0");
     2127  ASSERT (degree (B, 1) == 0, "expected degree (G, 1) == 0");
     2128
    21262129  CFMap M,N;
    21272130  int best_level= myCompress (A, B, M, N, false);
     
    21342137
    21352138  Variable x= Variable (1);
    2136   ASSERT (degree (A, x) == 0, "expected degree (F, 1) == 0");
    2137   ASSERT (degree (B, x) == 0, "expected degree (G, 1) == 0");
    21382139
    21392140  //univariate case
     
    23822383  if (F == G) return F/Lc(F);
    23832384
     2385  ASSERT (degree (A, 1) == 0, "expected degree (F, 1) == 0");
     2386  ASSERT (degree (B, 1) == 0, "expected degree (G, 1) == 0");
     2387
    23842388  CFMap M,N;
    23852389  int best_level= myCompress (A, B, M, N, false);
     
    23922396
    23932397  Variable x= Variable (1);
    2394   ASSERT (degree (A, x) == 0, "expected degree (F, 1) == 0");
    2395   ASSERT (degree (B, x) == 0, "expected degree (G, 1) == 0");
    23962398
    23972399  //univariate case
  • factory/cf_gcd_smallp.h

    r9f8c05 r0b55585  
    7979CanonicalForm sparseGCDFp (const CanonicalForm& A, const CanonicalForm& B)
    8080{
    81   ASSERT (CFFactory::gettype() == GaloisFieldDomain,
    82           "GF as base field expected");
     81  ASSERT (CFFactory::gettype() == FiniteFieldDomain,
     82          "Fp as base field expected");
    8383  CFList list;
    8484  bool topLevel= true;
  • factory/variable.cc

    r9f8c05 r0b55585  
    5252Variable::Variable( int l ) : _level(l)
    5353{
    54     ASSERT( l > 0 && l != LEVELQUOT, "illegal level" );
     54    //ASSERT( l > 0 && l != LEVELQUOT, "illegal level" );
    5555}
    5656
Note: See TracChangeset for help on using the changeset viewer.