GiNaC::ex_is_under_the_staircase Struct Reference

Relation determining whether the given expression is a monomial under the staircase, which is determined by computing the remainders dividing by the corners of a staircase. More...

#include <constants.h>

Inheritance diagram for GiNaC::ex_is_under_the_staircase:

Collaboration diagram for GiNaC::ex_is_under_the_staircase:

Public Member Functions
	ex_is_under_the_staircase (const list< ex > corners)
bool	operator() (const ex &monomial) const
	Tests whether the given expression is a monomial under the staircase.
Data Fields
list< ex >	corners

---

Detailed Description

Relation determining whether the given expression is a monomial under the staircase, which is determined by computing the remainders dividing by the corners of a staircase.

Parameters:

corners

corners of the staircase of a Groebner basis (unverified input)

Definition at line 218 of file constants.h.

---

Constructor & Destructor Documentation

GiNaC::ex_is_under_the_staircase::ex_is_under_the_staircase

(

const list< ex >

corners

)

[inline]

Definition at line 223 of file constants.h.

---

Member Function Documentation

bool GiNaC::ex_is_under_the_staircase::operator()

(

const ex &

monomial

)

const [inline]

Tests whether the given expression is a monomial under the staircase.

Parameters:

monomial

(unverified input)

Returns:

true if the given expression is a monomial under the staircase, false otherwise

Definition at line 232 of file constants.h.

References corners.

---

Field Documentation

list<ex> GiNaC::ex_is_under_the_staircase::corners

Definition at line 221 of file constants.h.

Referenced by operator()().

---

The documentation for this struct was generated from the following file:

• constants.h