Changeset b86107 in git for factory/variable.h

Timestamp:

Aug 3, 2012, 1:00:23 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c10f46e6c7991d296a0430998c801a958c5f4036

Parents:

4093f96acfcc6419c56ee983c447099c3b87a36e2d71dd455de206f556c8c2200d3bc739a4a48ebb

Message:

Merge pull request #163 from mmklee/libfac_fix_sw

Libfac fix sw

File:

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

factory/variable.h

@@ -78 +78 @@
 inline char name( const Variable & v ) { return v.name(); }
 
+void setReduce( const Variable & alpha, bool reduce );
+void setMipo ( const Variable & alpha, const CanonicalForm & mipo);
 CanonicalForm getMipo( const Variable & alpha, const Variable & x );
 bool hasMipo( const Variable & alpha );
@@ -93 +95 @@
 InternalPoly * getInternalMipo ( const Variable & alpha );
 bool getReduce( const Variable & alpha );
-void setReduce( const Variable & alpha, bool reduce );
 
 #endif /* ! INCL_VARIABLE_H */