Definition at line 293 of file monomial-ordering.cpp.
294{
295 std::ostringstream o;
296 o << "MonomialOrder => {";
297 for (
int i = 0; i < mo->
len; i++)
298 {
299 mon_part
p = mo->
array[i];
300 bool p_ones = false;
301 if (i == 0)
302 o << "\n ";
303 else
304 o << ",\n ";
306 {
308 o <<
"Lex => " <<
p->nvars;
309 break;
311 o <<
"LexSmall => " <<
p->nvars;
312 break;
314 o <<
"LexTiny => " <<
p->nvars;
315 break;
317 o << "GRevLex => ";
318 p_ones = true;
319 break;
321 o << "GRevLexSmall => ";
322 p_ones = true;
323 break;
325 o << "GRevLexTiny => ";
326 p_ones = true;
327 break;
329 o << "GRevLex => ";
330 break;
332 o << "GRevLexSmall => ";
333 break;
335 o << "GRevLexTiny => ";
336 break;
338 o <<
"RevLex => " <<
p->nvars;
339 break;
341 o << "Weights => ";
342 break;
344 o <<
"GroupLex => " <<
p->nvars;
345 break;
347 o <<
"GroupRevLex => " <<
p->nvars;
348 break;
350 o <<
"NCLex => " <<
p->nvars;
351 break;
353 o << "Position => Up";
354 break;
356 o << "Position => Down";
357 break;
358 default:
359 o << "UNKNOWN";
360 break;
361 }
363 else if (p_ones)
364 {
366 }
367 }
368 o << "\n }";
369 return o.str();
370}
static std::string toString(const MonomialOrdering *mo)
std::ostringstream & ones(std::ostringstream &o, int len)
References MonomialOrdering::array, MonomialOrdering::len, MO_GREVLEX, MO_GREVLEX2, MO_GREVLEX2_WTS, MO_GREVLEX4, MO_GREVLEX4_WTS, MO_GREVLEX_WTS, MO_LAURENT, MO_LAURENT_REVLEX, MO_LEX, MO_LEX2, MO_LEX4, MO_NC_LEX, MO_POSITION_DOWN, MO_POSITION_UP, MO_REVLEX, MO_WEIGHTS, ones(), p, and toString().
Referenced by TEST(), and toString().