Frobby  0.9.5
Static Public Member Functions | List of all members
IdealFactory Class Reference

This class has static methods that return various ideals. More...

#include <IdealFactory.h>

Static Public Member Functions

static VarNames ring_xyzt ()
 Returns the ring in the four variables $x$, $y$, $z$ and $t$. More...
 
static BigIdeal xx_yy_xz_yz ()
 Returns $\ideal{x^2, y^2, x*z, y*z}$. More...
 
static BigIdeal x_y ()
 Returns $\ideal{x, y}$. More...
 
static BigIdeal x_y_z ()
 Returns $\ideal{x, y, z}$. More...
 
static BigIdeal xyzzz_xxyy ()
 Returns $\ideal{x*y*z^3, x^2y^2}$. More...
 
static BigIdeal xyz_xxyy ()
 Returns $\ideal{x*y*z, x^2, y^2}$. More...
 
static BigIdeal xx_yy_z ()
 Returns $\ideal{x^2, y^2, z}$. More...
 
static BigIdeal xy_xxyyz ()
 Returns $\ideal{x*y, x^2*y^2*z}$. More...
 
static BigIdeal xx_yy_zz_t_xz_yz ()
 Returns $\ideal{x^2, y^2, z^2, t, x*z, y*z}$. More...
 
static BigIdeal xy_z ()
 Returns $\ideal{x*y, z}$. More...
 
static BigIdeal xy_xz ()
 Returns $\ideal{x*y, x*z}$. More...
 
static BigIdeal xy ()
 Returns $\ideal{x*y}$. More...
 
static BigIdeal z ()
 Returns $\ideal{z}$. More...
 
static BigIdeal wholeRing (size_t varCount)
 Returns $\ideal{1}$ in the ring VarNames(varCount). More...
 
static BigIdeal zeroIdeal (size_t varCount)
 Returns the ideal $\ideal{0}$ in the ring VarNames(varCount). More...
 
static vector< BigIdeal > irrdecom_xx_yy_xz_yz ()
 Returns the irreducible decomposition of $\ideal{x^2, y^2, x*z, y*z}$. More...
 
static vector< BigIdeal > assoprimes_xx_yy_xz_yz ()
 Returns the associated primes of $\ideal{x^2, y^2, x*z, y*z}$. More...
 
static vector< mpz_class > makeTerm (int a, int b, int c, int d)
 Returns a vector representing $x^(a,b,c,d)$. More...
 
static vector< mpz_class > makeTerm (int a)
 Returns a vector representing $x^(a)$. More...
 

Detailed Description

This class has static methods that return various ideals.

This provides a convenient way to obtain ideals for tests. The data returned by this class is all in a canonical form suitable for comparison using operator==().

Definition at line 30 of file IdealFactory.h.

Member Function Documentation

◆ assoprimes_xx_yy_xz_yz()

vector< BigIdeal > IdealFactory::assoprimes_xx_yy_xz_yz ( )
static

Returns the associated primes of $\ideal{x^2, y^2, x*z, y*z}$.

Definition at line 141 of file IdealFactory.cpp.

◆ irrdecom_xx_yy_xz_yz()

vector< BigIdeal > IdealFactory::irrdecom_xx_yy_xz_yz ( )
static

Returns the irreducible decomposition of $\ideal{x^2, y^2, x*z, y*z}$.

Definition at line 133 of file IdealFactory.cpp.

◆ makeTerm() [1/2]

vector< mpz_class > IdealFactory::makeTerm ( int  a)
static

Returns a vector representing $x^(a)$.

Definition at line 168 of file IdealFactory.cpp.

◆ makeTerm() [2/2]

vector< mpz_class > IdealFactory::makeTerm ( int  a,
int  b,
int  c,
int  d 
)
static

Returns a vector representing $x^(a,b,c,d)$.

Definition at line 159 of file IdealFactory.cpp.

◆ ring_xyzt()

VarNames IdealFactory::ring_xyzt ( )
static

Returns the ring in the four variables $x$, $y$, $z$ and $t$.

This ring is used for the ideals returned by the methods of this class unless otherwise noted.

Definition at line 22 of file IdealFactory.cpp.

◆ wholeRing()

BigIdeal IdealFactory::wholeRing ( size_t  varCount)
static

Returns $\ideal{1}$ in the ring VarNames(varCount).

Definition at line 149 of file IdealFactory.cpp.

◆ x_y()

BigIdeal IdealFactory::x_y ( )
static

Returns $\ideal{x, y}$.

Definition at line 41 of file IdealFactory.cpp.

◆ x_y_z()

BigIdeal IdealFactory::x_y_z ( )
static

Returns $\ideal{x, y, z}$.

Definition at line 49 of file IdealFactory.cpp.

◆ xx_yy_xz_yz()

BigIdeal IdealFactory::xx_yy_xz_yz ( )
static

Returns $\ideal{x^2, y^2, x*z, y*z}$.

Definition at line 31 of file IdealFactory.cpp.

◆ xx_yy_z()

BigIdeal IdealFactory::xx_yy_z ( )
static

Returns $\ideal{x^2, y^2, z}$.

Definition at line 74 of file IdealFactory.cpp.

◆ xx_yy_zz_t_xz_yz()

BigIdeal IdealFactory::xx_yy_zz_t_xz_yz ( )
static

Returns $\ideal{x^2, y^2, z^2, t, x*z, y*z}$.

Definition at line 91 of file IdealFactory.cpp.

◆ xy()

BigIdeal IdealFactory::xy ( )
static

Returns $\ideal{x*y}$.

Definition at line 119 of file IdealFactory.cpp.

◆ xy_xxyyz()

BigIdeal IdealFactory::xy_xxyyz ( )
static

Returns $\ideal{x*y, x^2*y^2*z}$.

Definition at line 83 of file IdealFactory.cpp.

◆ xy_xz()

BigIdeal IdealFactory::xy_xz ( )
static

Returns $\ideal{x*y, x*z}$.

Definition at line 111 of file IdealFactory.cpp.

◆ xy_z()

BigIdeal IdealFactory::xy_z ( )
static

Returns $\ideal{x*y, z}$.

Definition at line 103 of file IdealFactory.cpp.

◆ xyz_xxyy()

BigIdeal IdealFactory::xyz_xxyy ( )
static

Returns $\ideal{x*y*z, x^2, y^2}$.

Definition at line 66 of file IdealFactory.cpp.

◆ xyzzz_xxyy()

BigIdeal IdealFactory::xyzzz_xxyy ( )
static

Returns $\ideal{x*y*z^3, x^2y^2}$.

Definition at line 58 of file IdealFactory.cpp.

◆ z()

BigIdeal IdealFactory::z ( )
static

Returns $\ideal{z}$.

Definition at line 126 of file IdealFactory.cpp.

◆ zeroIdeal()

BigIdeal IdealFactory::zeroIdeal ( size_t  varCount)
static

Returns the ideal $\ideal{0}$ in the ring VarNames(varCount).

Definition at line 155 of file IdealFactory.cpp.

The documentation for this class was generated from the following files:
Generated by doxygen 1.9.1