Changeset 183688 in git for factory/variable.h

Timestamp:

Aug 1, 2012, 9:26:50 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

2d71dd455de206f556c8c2200d3bc739a4a48ebb

Parents:

21263cf68eb94ca94f4b65c4464312b7892f411e

git-author:

Martin Lee <martinlee84@web.de>2012-08-01 21:26:50+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-08-03 10:03:18+02:00

Message:

chg: if variable has level LEVELBASE it has no minpoly

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 );
@@ -94 +95 @@
 InternalPoly * getInternalMipo ( const Variable & alpha );
 bool getReduce( const Variable & alpha );
-void setReduce( const Variable & alpha, bool reduce );
 
 #endif /* ! INCL_VARIABLE_H */