34 static const char* m_Typenames[2] = {
"lookup",
"store"};
49 Print(
"History: GlobalPair, Action: %s", m_Typenames[(
int)(t)]);
64 Print(
"History: SpecialPair, Action: %s", m_Typenames[(
int)(t)]);
66 Print(
"Left : %d, Right: %d", a,
b);
virtual void History(const EHistoryType t, const CExponent a, const CExponent b, const poly p=NULL)
virtual void History(const EHistoryType t, const CExponent a, const CExponent b, const poly p=NULL)
void p_Write(poly p, ring lmRing, ring tailRing)
void PrintS(const char *s)