RingMap::var Struct Reference

Per-source-variable image record: a factored representation of the target-ring element that variable maps to. More...

Inheritance diagram for RingMap::var:

Public Attributes
bool	is_zero
bool	coeff_is_one
bool	monom_is_one
bool	bigelem_is_one
ring_elem	coeff
int *	monom
ring_elem	bigelem

Additional Inherited Members
Static Public Member Functions inherited from our_new_delete
static void *	operator new (size_t size)
static void *	operator new[] (size_t size)
static void	operator delete (void *obj)
static void	operator delete[] (void *obj)
static void *	operator new (size_t size, void *existing_memory)
static void *	operator new[] (size_t size, void *existing_memory)
static void	operator delete (void *obj, void *existing_memory)
static void	operator delete[] (void *obj, void *existing_memory)

Detailed Description

Per-source-variable image record: a factored representation of the target-ring element that variable maps to.

Note

AI-generated documentation. Verify against the source before relying on it.

The image is coeff * monom * bigelem. Three independent is_one flags let the evaluator skip whichever factors are trivially 1, and is_zero short-circuits the whole multiplication when the variable maps to 0.

Definition at line 72 of file ringmap.hpp.

---

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

• Macaulay2/e/ringmap.hpp