Changeset bf6475e in git for factory/int_pp.cc

Timestamp:

Dec 12, 1997, 10:21:16 AM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

398652325b3eb99d2fcc790b849c3455979f33a0

Parents:

56f184514833117b524b2901e59c43bd79a85eda

Message:

	* int_pp.cc (comparesame): assertion added


git-svn-id: file:///usr/local/Singular/svn/trunk@967 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/int_pp.cc (modified) (4 diffs)

factory/int_pp.cc

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: int_pp.cc,v 1.6 1997-10-10 10:57:48 schmidt Exp $ */
+/* $Id: int_pp.cc,v 1.7 1997-12-12 09:21:16 schmidt Exp $ */
 
 #include <config.h>
@@ -10 +10 @@
 #include "canonicalform.h"
 #include "cf_factory.h"
+#include "imm.h"
 
 MP_INT InternalPrimePower::primepow;
@@ -170 +171 @@
 }
 
-
-int InternalPrimePower::comparesame( InternalCF * c )
-{
-    return mpz_cmp( &thempi, &MPI( c ) );
-}
 
 InternalCF* InternalPrimePower::addsame( InternalCF * c )
@@ -312 +308 @@
 }
 
+//{{{ int InternalPrimePower::comparesame, comparecoeff ( InternalCF * c )
+// docu: see CanonicalForm::operator <(), CanonicalForm::operator ==()
+int
+InternalPrimePower::comparesame ( InternalCF * c )
+{
+    ASSERT( ! ::is_imm( c ) && c->levelcoeff() == PrimePowerDomain, "incompatible base coefficients" );
+    return mpz_cmp( &thempi, &MPI( c ) );
+}
+
 int
 InternalPrimePower::comparecoeff ( InternalCF * )
 {
-    ASSERT( 0, "this function should never be called" );
+    ASSERT1( 0, "not implemented for class %s", this->classname() );
     return 0;
 }
+//}}}
 
 InternalCF *