Changeset f51a5b in git for factory/canonicalform.h

Timestamp:

Dec 13, 2012, 5:17:07 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1d6ec35f323c22dad6c849d92fd276b63460f494801d2b82d26cf116224a17169c6379c454c018e7ea25bc7eab91185a4ce3010da5a5cdc016da2dbf

Parents:

3bfbc700f63b02c4fb904a3529c77a545645d94756f59bd95ce7b9e7cdb716d136dfc40ed593d87f

Message:

Merge pull request #234 from mmklee/sw_fix

Sw fix

File:

• factory/canonicalform.h (modified) (2 diffs)

factory/canonicalform.h

@@ -20 +20 @@
 #include "cf_defs.h"
 #include "variable.h"
+#include <factory/cf_gmp.h>
 #include <factory/templates/ftmpl_list.h>
 #include <factory/templates/ftmpl_array.h>
@@ -80 +81 @@
     CanonicalForm deepCopy() const;
 
+    void mpzval(mpz_t val) const;
     // predicates
     CF_NO_INLINE bool isOne() const;