ExponentList< E, L > Class Template Reference

#include <ExponentList.hpp>

Public Types
typedef E	Exponent
typedef Exponent *	Exponents
typedef const Exponent *	ConstExponents
typedef std::make_unsigned< Exponent >::type	HashExponent
typedef gc_vector< Exponent >	Vector

Static Public Member Functions
static HashExponent	computeHashValue (ConstExponents vp)
static void	elem_text_out (buffer &o, ConstExponents m, bool p_one=true)
static const Exponent	length (ConstExponents m)
static const Exponent	npairs (ConstExponents m)
static void	one (Vector &result)
static bool	is_one (ConstExponents a)
static bool	is_equal (ConstExponents a, ConstExponents b)
static Exponent	topvar (ConstExponents a)
static void	var (Exponent v, Exponent e, Vector &result)
static void	copy (ConstExponents vp, Vector &result)
static int	compare (ConstExponents a, ConstExponents b)
static void	to_expvector (int n, ConstExponents a, exponents::Exponents result)
static void	from_expvector (int n, exponents::ConstExponents a, Vector &result)
static M2_arrayint	to_arrayint (ConstExponents vp)
static void	from_arrayint (M2_arrayint m, Vector &result)
template<typename T>
static Exponent	weight (ConstExponents m, const std::vector< T > &wts)
static Exponent	simple_degree (ConstExponents m)
static void	mult (ConstExponents a, ConstExponents b, Vector &result)
static void	quotient (ConstExponents a, ConstExponents b, Vector &result)
static void	power (ConstExponents a, Exponent n, Vector &result)
static void	monsyz (ConstExponents a, ConstExponents b, Vector &sa, Vector &sb)
static bool	divides (ConstExponents a, ConstExponents b)
static void	lcm (ConstExponents a, ConstExponents b, Vector &result)
static void	gcd (ConstExponents a, ConstExponents b, Vector &result)
static void	erase (ConstExponents a, ConstExponents b, Vector &result)
static void	radical (ConstExponents a, Vector &result)
static bool	is_pure_power (ConstExponents a, Exponent &v, Exponent &e)
static Exponent	buchberger_moeller_keep (ConstExponents m, ConstExponents p, ConstExponents q, ConstExponents pq)

Private Types
using	Iterator = ExponentListIterator<E, L>

Friends
class	ExponentListIterator< E, L >

Detailed Description

template<class E, bool L>
class ExponentList< E, L >

Implements operations on monomials represented as a list of (var, pow)'s

This class implements monomial operations on lists of variable and exponent pairs. No allocation is done by any of these routines.

The format for is an array [length, v1, e1, ..., vr, er] with v1 > v2 > ... > vr >= 0, and all exponents ei > 0 and length is 2r+1.

Definition at line 63 of file ExponentList.hpp.

---

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

• Macaulay2/e/ExponentList.hpp