IdealFactory.h
Go to the documentation of this file.
/* Frobby: Software for monomial ideal computations.
Copyright (C) 2009 Bjarke Hammersholt Roune (www.broune.com)
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.
*/
#ifndef MY_IDEAL_FACTORY
#define MY_IDEAL_FACTORY
#include "BigIdeal.h"
#include "VarNames.h"
#include <vector>
class IdealFactory {
public:
static VarNames ring_xyzt();
static BigIdeal xx_yy_xz_yz();
static BigIdeal x_y();
static BigIdeal x_y_z();
static BigIdeal xyzzz_xxyy();
static BigIdeal xyz_xxyy();
static BigIdeal xx_yy_z();
static BigIdeal xy_xxyyz();
static BigIdeal xx_yy_zz_t_xz_yz();
static BigIdeal xy_z();
static BigIdeal xy_xz();
static BigIdeal xy();
static BigIdeal z();
static BigIdeal wholeRing(size_t varCount);
static BigIdeal zeroIdeal(size_t varCount);
static vector<BigIdeal> irrdecom_xx_yy_xz_yz();
static vector<BigIdeal> assoprimes_xx_yy_xz_yz();
static vector<mpz_class> makeTerm(int a, int b, int c, int d);
static vector<mpz_class> makeTerm(int a);
};
#endif
BigIdeal.h
VarNames.h
BigIdeal
Definition BigIdeal.h:27
IdealFactory
This class has static methods that return various ideals.
Definition IdealFactory.h:30
IdealFactory::xy_xxyyz
static BigIdeal xy_xxyyz()
Returns .
Definition IdealFactory.cpp:83
IdealFactory::xyz_xxyy
static BigIdeal xyz_xxyy()
Returns .
Definition IdealFactory.cpp:66
IdealFactory::xyzzz_xxyy
static BigIdeal xyzzz_xxyy()
Returns .
Definition IdealFactory.cpp:58
IdealFactory::xy_xz
static BigIdeal xy_xz()
Returns .
Definition IdealFactory.cpp:111
IdealFactory::z
static BigIdeal z()
Returns .
Definition IdealFactory.cpp:126
IdealFactory::xx_yy_xz_yz
static BigIdeal xx_yy_xz_yz()
Returns .
Definition IdealFactory.cpp:31
IdealFactory::ring_xyzt
static VarNames ring_xyzt()
Returns the ring in the four variables , , and .
Definition IdealFactory.cpp:22
IdealFactory::assoprimes_xx_yy_xz_yz
static vector< BigIdeal > assoprimes_xx_yy_xz_yz()
Returns the associated primes of .
Definition IdealFactory.cpp:141
IdealFactory::irrdecom_xx_yy_xz_yz
static vector< BigIdeal > irrdecom_xx_yy_xz_yz()
Returns the irreducible decomposition of .
Definition IdealFactory.cpp:133
IdealFactory::xy
static BigIdeal xy()
Returns .
Definition IdealFactory.cpp:119
IdealFactory::xy_z
static BigIdeal xy_z()
Returns .
Definition IdealFactory.cpp:103
IdealFactory::xx_yy_z
static BigIdeal xx_yy_z()
Returns .
Definition IdealFactory.cpp:74
IdealFactory::xx_yy_zz_t_xz_yz
static BigIdeal xx_yy_zz_t_xz_yz()
Returns .
Definition IdealFactory.cpp:91
IdealFactory::x_y_z
static BigIdeal x_y_z()
Returns .
Definition IdealFactory.cpp:49
IdealFactory::x_y
static BigIdeal x_y()
Returns .
Definition IdealFactory.cpp:41
IdealFactory::zeroIdeal
static BigIdeal zeroIdeal(size_t varCount)
Returns the ideal in the ring VarNames(varCount).
Definition IdealFactory.cpp:155
IdealFactory::wholeRing
static BigIdeal wholeRing(size_t varCount)
Returns in the ring VarNames(varCount).
Definition IdealFactory.cpp:149
IdealFactory::makeTerm
static vector< mpz_class > makeTerm(int a, int b, int c, int d)
Returns a vector representing .
Definition IdealFactory.cpp:159
VarNames
Defines the variables of a polynomial ring and facilities IO involving them.
Definition VarNames.h:40